黑科技孵化系统_作者:周九衣(250)

2020-01-04 周九衣

    在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岁。

    正是之前顾行一和文森特教授聊到的赫尔辛教授。

    “我不相信他的证明没有漏洞。”赫尔辛基教授揉了揉太阳穴,咬牙说道。

    他的学生有几分担心的看着他。

    这位教授来之前做了精心准备,配上了笔挺的西服,准备好了得体的获奖词还有在媒体面前的发言,他甚至把之前量子力场的那篇论文反反复复演讲了三次,就为了这一次青数奖的荣誉而来。

    然而人算不如天算。

    在颁奖仪式上第二位获奖者的名字被爆出来的时候。

    学生眼睁睁见着赫尔辛教授的脸变得铁青,僵在那里许久,才艰难地从鼻孔里喷出一个哼字。

    之后的晚宴上,这位教授一改往日热爱交际的形象,端着酒杯躲在阴影之中,一声不吭的灌酒。

    这种阴郁的场景早已使学生胆战心惊,谁知道接下来还有艾斯教授凑过来。

    “赫尔辛教授,很高兴在这里见到你,”艾斯教授明显兴致很高,“我在晚会里找了一圈,终于见到了你,正有一个好消息要告诉你。”

    “有什么好消息?青数奖今年要颁给第三个人吗?”赫尔辛教授微微抬眼,冷嘲道。

    这下子艾斯教授也注意到了他的情绪失控,叹了口气,脸上带出几分怜悯之色来:“都是上帝的旨意,总有一些人力不可为的事情。但是波达教授觉得你在量子力场上的发现还有进步的空间,想要跟你交流一下。”