每个难题的奖都是一百万美元!
七大千禧难题分别是NP完全问题(P/NP问题)、霍奇猜想、庞加莱猜想、黎曼猜想、杨—米尔斯规范场存在性和质量间隔假设(规范场理论)、NS方程解的存在性与光滑性以及BSD猜想(贝赫和斯维讷通-戴尔猜想)。
目前为止,只有庞加莱猜想被俄罗斯数学家佩雷尔曼所解决。
“对NP完全问题产生启示吗?”
相比较来说,这11件大事中,这件是令陈舟最感兴趣的。
毕竟是和千禧难题产生关系的研究。
虽然对很多人来说,可能11件大事中的最后一件,也就是陈舟的事件,更加吸引人的眼球。
关于NP完全问题,举个简单的例子。
在某个晚上,你去参加了一个宴会。由于宴会过于盛大,你感到了局促不安,这时你会想知道整个宴会厅里,是否有你认识的人。
恰好这时,宴会的主人向你提议说,你一定认识那位正在甜点盘附近吃冰淇淋的女士。
几乎不费多少时间,你就能向那里扫视,并且发现宴会的主人是正确的。
然而,如果没有这样的暗示,你就必须环顾整个宴会厅,一个个地审视每一个人,看是否有你认识的人。
这其实就像一件事,如果一个人告诉你,12717421可以写成两个较小的数的乘积。
你肯定会迟疑,并且猜想他说的对不对。
但是,如果他告诉你,12717421可以分解为3607乘上3803,那你很快就能得到答案,并且验证这是对的。
这就是NP完全问题的简单例子。
至于NP完全问题这个猜想,指的则是既然所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。
这类问题的所有可能答案,都可以在多项式时间内计算,那是否这类问题,存在一个确定性算法,可以在多项式时间内,直接算出或是搜寻出正确的答案呢?
听着很简单,但是验证起来,就完全是另外一回事了。
NP完全问题也是逻辑和计算机科学中最突出的问题之一。
即使现在的计算机科学发展迅速,但是这个问题的答案,依然无解。
轻轻摇了摇头,陈舟把脑海中的杂乱思绪甩出,不管是不是真的能够对NP完全问题产生启示,这位Babai教授的论文,他是必须得看上一看的。
正好他今天也开始学习计算机科学的知识了。
把电脑还给李礼,陈舟发现朱明理这小子居然还没回来,不由得有些哭笑不得,这能是什么秘密,让他宁跑也要保密?
“陈哥,那个,能不能请教你个问题?”李礼接过电脑,支支吾吾的说道。
陈舟看了李礼一眼,旋即拍了拍他的肩膀,笑着说道:“你小子有什么就说?吞吞吐吐的干嘛呢?”
赵琦琦也凑上来说:“就是,陈哥又不是外人,咋滴,两个LI,你还生疏了?”
李礼腼腆一笑:“不是,不是……”
陈舟看着李礼,想说什么,但最终没说,只是问道:“是什么问题?”
李礼拿出自己的笔记本,翻到今天才写的内容,指了指上面的公式:“是关于分布解构法的,这部分内容,我研究了半天,还是看不明白。”
陈舟看了一眼,嘴角露出一丝微笑。