……
“神呐,这是你正在研究的课题?”
宁孑的新住所里,多米尼特正看着他最推崇的年轻数学家递给他的那些稿纸,惊呼出声。
因为巧合的是,他那天来找宁孑时,本就是打算告诉眼前这人,他将用余生来挑战这个命题。
虽然说多米尼特到现在也不过26岁,但用余生来解决这个问题并不过分。因为对于这个难题来说,没人能打包票能够用短短几十年就攻克这个难题。
就好像1900年希尔伯特的23问到现在依然没有完全解答一样。世界上最聪明的人聚在一起总结出的数学难题,本就不一定是一个世纪就能解决的。
更久远的还有哥德巴赫猜想。
虽然人们目前找到的所有数字无一例外全部都遵循着哥德巴赫猜想的描述,但到这个伟大的猜想到目前为止还是没能完全证明却也是不争的事实。
“对,接下来我希望咱们能对这个问题进行一些探讨。也许你的想法可以启发我。”
宁孑很认真的说道。
到也不算谦虚,就好像新闻字越少事儿越大一样,数学难题往往描述越少,难度越大。
“好吧,我的确考虑过这个问题。我的想法是这样的,如果我们能找到至少n个10SAT随机公式令人满意的分配至少需要2^n/10个步骤……好吧,显然这不是让人期待的答案,但如果我们能表面自然系统可能会很快达到其全局最小值,但现实却我们的期待往往跟预测相反。我期待能通过这个思路证明P≠NP。”
“如果我们把现实世界对应为一个常数大小的对象,就无法排除能够通过多项式实时解决世界发展过程来,再来解决NP完全问题。因为NP完全问题是隐藏在大O表示法中的。简单来说,我命令计算机执行X指令,则会发生Y现象,那么反过来就能通过Y现象倒推X指令。但这只是最理想的状态。当解决问题所执行的计算量与问题的范围大小成指数关系,就不存在这种对比了。所以我已经想好了突破点。”
“什么突破点?”多米尼特下意识的问道。
“求解三维辛伊模型构想。”宁孑言简意赅的答道。
“你应该去谷歌。宁,据我所知谷歌实验室里有着最先进的量子计算机。我就知道,一切都要归类到量子计算上去。说实话,就我个人的想法而言,我由衷的希望P≠NP!因为如果真的能证明P=NP,那么未来计算机将成为如同神灵一般的存在。”多米尼特耸了耸肩道。
多米尼特的这番话让宁孑想到了三月,毕竟三月已经展现出了如同神一般的能力。但如果神都是三月这种性格,那么这个世界大概承受不了那种热闹。
下意识的扭头看了眼那张无辜的猫脸,宁孑干脆一伸手将三月揽到了怀里,摩挲着软软的猫头,说道:“不要这么悲观,多米尼特。即便我们能证明P=NP,也不一定能把那个符合要求的算法详细描述出来。即便真有这样一个算法,它的多项式复杂程度也可能很高。”
“事实上我有种直觉,P=NP很可能是正确的,但其对应算法的时间复杂度可能不会低于On的10次方,且n的长度不可能控制到很小。当然这只是我的直觉。”
这句话说完,两个人都沉默了。
毕竟数学直觉这个东西真的不太好说且很不讲道理。
对于一位数学大家而言,很多时候数学直觉提出来就成了猜想。遗憾的是,这些猜想并不能在短时间能得到解决。
“但如果真有这么一个算法存在,也许在未来出现某种特殊的计算机,比如量子计算机成熟了,机器的计算能力变得空前强大后依然会让一切都变得简单。”
“这大概就是为什么我们华夏有句古话叫大道至简吧。”
天被聊死了。
毕竟科学向的问题一旦涉及到哲学,往往就没办法继续了。也代表着其中一方不打算好好聊了。
“对了,今天早上我打电话回去了。已经跟学校说好了,这次交换活动会延长一年。当然如果那位郑教授,觉得两年太长了的话,明年可以换个人过去。”多米尼特将宁孑给他的资料整理好后,开口说道。
宁孑微微愣了愣。
怎么说呢,多了个妹妹这件事对宁孑的影响其实挺大的。
起码内心深处变得柔软了些。
就好像此时看到多米尼特·邓肯轻松的模样心里多少是有些不忍的。
毕竟这家伙已经被三月吃的死死的,别说两年了,就是二十年后也不一定回得去。
具体情况大概得看华夏什么时候能拥有设计并制造常温可控核聚变设施的能力,起码得有那么几个聚变电站才他才可能回去吧?
但这不止是靠理论的突破,还得需要常温超导材料被研制出来,并能量产,这又需要工业在升级几波。当然也可能更快那么一点点,但这不是他所能控制的事情了。
因为真要开始将技术工业化,涉及到的产业链太过庞大,需要解决的问题也太多。只能寄希望于那个时候三月能够强势整合上下游全产业链吧。
心里这么想着,宁孑还是问了句:“多米尼特,你在华夏呆的还习惯吗?”