这么说没错——因为新的突破与网络之间的比较有关,正可以应用于人与人之间的互联网联结。芝加哥大学的数学家与计算机科学家拉斯 洛•鲍鲍伊(László Babai)发现了一种数学方法,可以用比之前少得多的步骤来判断两个网络是不是完全相同的,不管这些网络有多复杂或缠结。计算机科学界已经炸开了锅,因 为很多难以解决的问题最终都可以归结到比较两个网络是否相同这一任务上。
而另一方面,如果你想要把一个数,如21112331分解质因数,即分解成质数相乘的形式,到现在为止还没有人找到一个可以在多项式时间内解决 该问题的算法。因此,分解质因数被认为是一个更难的问题,被归类到更宽范围内的“NP”问题之列,即“不确定性多项式” (nondeterministic polynomial)问题。简单来说,对于NP问题,随着输入数据位数的增加,所需步骤会呈指数式增长,如2^n,它增长得比n^2快得多(举个例 子,100^2只等于10000,而2^100则超过了10的24次方)。
而现在,鲍鲍伊找出了一个新算法,将一个原本被认为属于NP的问题变得更接近较为容易的P问题。问题是这样的:无论是传染流感的人群,还是与生物体发生相 互作用的蛋白质,都可以抽象为一系列的点(计算机专业术语称为“节点”,node),它们之间的相互关系则用连接点的直线(称为“边”,edge)来表 示。由于节点可以被任意地拖来拖去,所以即使是两个看起来完全不同的图,其连接方式也可能是完全相同的(见下图)。所谓的“图同构问题”(graph isomorphism problem),其主要任务就是确定两个图究竟是相同的,还是不同的,而鲍鲍伊宣称已经找到一种新的算法来解决这个问题。
图同构问题中的任务,就是判定两个看起来明显不同的图能否经过重组变得完全相同——就像图中的两个图一样。图片来源:WIKIPEDIA COMMONS
当然,他的工作还得经过其他研究者的检验。他于11月11日在芝加哥大学做了一次报告展示他的算法,在24日还将再做一次。阿伦森说:“我们还 得看看他的算法中的细节。要知道,即使是鲍鲍伊这样的科学家,也是可能犯错的。”
(本文转载自环球科学网http://www.huanqiukexue.com,撰文:阿德里安•丘(Adrian Cho) 翻译:丁家琦)
如若转载,请注明e科网。
如果你有好文章想发表or科研成果想展示推广,可以联系我们或免费注册拥有自己的主页
- 复杂性理论
- 互联网领域