中国日报网环球在线消息：正在热播的美剧《数字追凶》向观众传达了一种全新的破案理念，那就是数学可以用于生活中的一切，包括破案和缉凶。而在现实生活中，数学家认为他们所研究的抽象理论还有更大的用武之地——反恐。

***除掉恐怖网络“枢纽”

据美国媒体11月28日报道，美国加利福尼亚理工学院数学家乔纳森•法雷认为，他所研究的“格论”（lattice theory）可以用来绘制恐怖分子组织的最佳树形结构图，其中有些分支或者人物是对整个网络的运转起到关键的枢纽作用，只要找出其中的“命门”就能将整个组织彻底摧毁。在数学上，这种除掉后会导致系统崩溃的“最小成员集合”被称为“割集”（cut-set）。

法雷说：“一个恐怖网络就像是任何一个公司的组织结构图，有最上层的领导也有最最下层的小兵。所以要破坏这个网络就要除掉一些重要人物，切断其指挥渠道。简单地说，我们就是要找出这些人，并抓住他们。”

当然，要把恐怖网络和“树形图表”划上等号，至少还要满足几个前提。法雷说：“我们的假设之一是，恐怖袭击的开展由组织头目们制定计划并发布命令。”另外一个假设是，恐怖网络是相互联系的，一个头目所能领导的人是有限的，最多三四个，而在最上层的大头目仅有少数几人。在此基础上，法雷和蒙特利尔州麦基尔大学的研究小组共同建立了最完善的恐怖网络组织结构图及其中的“割集”。

***假设恐怖分子很聪明

在此之前，类似于法雷“树形结构图”的理论已经帮助牙买加的执法机构和军方摧毁了一个贩毒及武器走私网络。当然，法雷所设想的完善恐怖网络是否存在还需要现实的进一步验证。

法雷说，他明白这种用抽象理论来指导实际反恐行动的想法可能会被很多人认为是“异想天开”，但他仍希望当局认真考虑他的提议。“既然我们能找出这种最佳树形组织结构，为什么不能假设你的敌人也足够聪明，可以想出这种方式呢？不管他们是有意的还是偶然的。”

***数学向现实延伸

其实，不只是法雷，还有一些数学家也在思考如何为反恐出力。卡内基-隆大学的加利教授用计算机模拟所有的社会团体和组织，包括恐怖组织和武装组织。他利用从报纸文章和其他公开信息中得到的资料，在数据库中建立“哈马斯”和“基地”的模型，发现其中的弱势和强势人物、权力层的中间人、隐藏的关系以及掌握着关键技术的人物。

以色列于2004年3月暗杀了“哈马斯”组织的创建人亚辛后，这个程序正确地预报了阿卜杜勒•兰蒂斯将接任。三个星期后，以色列又暗杀了兰蒂斯，加利的程序又预测马沙尔将接任，他在因特网上公布了这个预测。虽然“哈马斯”由于害怕暗杀而不再透露谁是新领导人，但后来还是证明了是马沙尔接掌了“哈马斯”领导权。美国联邦调查局官员已经要求加利以后不要再把此类预测结果在因特网上公布了。

关于数学理论在现实中的应用，在一些影视作品中也有所反映，如《数字追凶》、《反恐24小时》等热门美剧。法雷则说，他是看了电影《美丽心灵》后得到启发，想到用数学理论帮助反恐。那部影片讲述了数学家约翰·纳什的故事。在影片中，他在博弈论方面的研究成果被广泛用于冷战时期的军事战略、国际贸易中，还被联邦通信委员会用于电信频道的拍卖等。

法雷说：“我是一个纯粹的数学家，对大多数人来说我没有用处，但如果能把我们所做的研究变成对一些人有用的东西，甚至能挽救生命的话，那就太好了。” （康娟）