在NP问题之中,又有一类最为艰难的NPC问题(所有NP问题都可以转化成NPC问题),其的解法可以推动整个问题的解决。
毕竟,如果证明NPC问题,可以归属为P类问题,那么显而易见,NP=P。
类似于b是a,只要a拥有一杯奶茶,那么b就拥有一杯奶茶。
区别只在于证明a有一杯奶茶是件简化了的事情,而证明b有没那么容易。
所以在接下去的部分,文森特教授列出了21个NPC问题,不过最重点圈红的却还是SAT问题。
“库克教授的证明,”顾行一在有一段证明上画好横线,“非确定性图灵机的设计相当精妙,或许我们也需要设计一个计算机,用以模拟人们计算选择的过程。”
“那或许能够叫文—顾机。”文森特教授笑着回答,凑过去看他写下的备注。
两人聊到夜深,顾行一的手机屏幕亮了又暗。
估摸着再不回去估计又要no zuo no die,顾行一和文森特教授告别。
“这么快就结束了吗?”文森特教授喝了口枸杞水,四顾茫然,在这小小的休息厅里,已经有不少人来来回回。不过即使在夜深时刻,也依旧有一半的桌子上坐了正在工作的人。
“也该回去休息了,”顾行一扫了一眼文森特教授稀疏的前额,“就对头发的养护而言,好好休息可能比枸杞水更重要。”
文森特教授一声不吭开始收拾东西。
“你觉得np最后等于p吗?”顾行一整理了一下两人今天的成果,突然开口问道。
“也许吧,”文森特教授耸了耸肩,“没有证明之前,没有一个数学家会对一个问题下论断。但是就我个人而言,我不希望他们相等。”
“为什么?”顾行一问道,“假如两者相等的话,我们的量子计算机将可以计算出蛋白质的折叠方式,可以计算出生物体的活动方式,这会是在生物学上的巨大突破。”
“cool,”文森特教授吹了个口哨,他挥舞了一下自己的手,“想不到顾还关注了生物学,我对于这门学科没什么了解,我只知道,假如p等于np的话,随便拉条狗过来,都可以把这个世界上的难题一网打尽,那上帝创造这个世界还有什么意思呢?”
两人就此分别,各自回房安睡。
然而在这深夜之中,还是有人无法入睡。
“教授,时间不早了。”学生端了杯红茶进来,轻手轻脚放在教授旁边,开口呼唤。
伏案研究证明的是一位年纪不过40的教授,前额的头发早就犹如秋日的树叶那般一去不返,配上深深的皱纹和黑眼圈,整个人仿佛老了10岁。
正是之前顾行一和文森特教授聊到的赫尔辛教授。
“我不相信他的证明没有漏洞。”赫尔辛基教授揉了揉太阳穴,咬牙说道。
他的学生有几分担心的看着他。
这位教授来之前做了精心准备,配上了笔挺的西服,准备好了得体的获奖词还有在媒体面前的发言,他甚至把之前量子力场的那篇论文反反复复演讲了三次,就为了这一次青数奖的荣誉而来。
然而人算不如天算。
在颁奖仪式上第二位获奖者的名字被爆出来的时候。
学生眼睁睁见着赫尔辛教授的脸变得铁青,僵在那里许久,才艰难地从鼻孔里喷出一个哼字。
之后的晚宴上,这位教授一改往日热爱交际的形象,端着酒杯躲在阴影之中,一声不吭的灌酒。
这种阴郁的场景早已使学生胆战心惊,谁知道接下来还有艾斯教授凑过来。
“赫尔辛教授,很高兴在这里见到你,”艾斯教授明显兴致很高,“我在晚会里找了一圈,终于见到了你,正有一个好消息要告诉你。”
“有什么好消息?青数奖今年要颁给第三个人吗?”赫尔辛教授微微抬眼,冷嘲道。
这下子艾斯教授也注意到了他的情绪失控,叹了口气,脸上带出几分怜悯之色来:“都是上帝的旨意,总有一些人力不可为的事情。但是波达教授觉得你在量子力场上的发现还有进步的空间,想要跟你交流一下。”
“如果我没记错的话,最后一次会议波达教授少有的参加了吧,”微微有些喝醉的赫尔辛教授继续冷笑着说,“在刚来的那日里,我就远远的看到波达教授和这一位青数奖的最新获得人有一段相当愉快的交流。”
“那是因为他是少有的才俊。”艾斯教授读出了他的言外之意,语气也严肃了起来。
赫尔辛教授却摇摇头,不再听他言语,自顾自的嘟囔道:“我不需要任何人的施舍,我自己能行,我倒要看看这一位的证明,是不是像大众所说的那样完美无缺。”
52书库推荐浏览: 周九衣
爽文
系统