因为脱不开身啊。顾行一眼神漂移了一瞬, 目光落在文森特教授的杯子里:“这是枸杞?”
“嗯, 一位来自朝国的架构师天天喝这个,据说很, ”他试探着发出一个中文词, “养生。总之比可乐健康, 可惜味道不太好。”
“或许您可以试试可乐泡枸杞。”顾行一笑了笑, 眼见着文森特教授露出了沉思的神色。
“这也是来自东方的养生智慧吗?”
“不, 只是年轻人开的玩笑罢了。”顾行一干咳一声, 然而文森特教授露出了失望的神色,明显对此操作蠢蠢欲动。
顾行一赶紧转移话题:“晚宴上有什么新鲜事吗?”
“日光底下无新事, ”文森特教授晃了晃杯子, “你知道的,每次有这种大奖之后,都是几家欢喜几家愁。”
“如果没记错的话,如果我这一次我没有获得青数奖,那么,普林的赫尔辛教授极有可能会成为这一次青数奖的获得人。”顾行一迅速领会了他的意思。
“赫尔辛教授是一位相当优秀的学者,他在代数几何方面有所建树, 又与戴维教授,就是那一位和波达教授共同获得迪拉克奖章的教授,他的大弟子共同在量子力场上做出了一些亮眼的结果。”文森特教授平平淡淡介绍道,“唯一可惜的是,这一位运气不是太好,屡屡与青数奖,如今刚好在37岁,若是此次无法获得青数奖,则终身与此奖无缘。”
顾行一叹了口气:“理论上,这一次的青数奖的另一位获得者应该是他。”
“理论而已,实际上的胜利者是你。”文森特敬了他一杯,“无论是用数论领域的成就和他在代数几何领域方面的件数相比,还是看一看你们两个在物理的数学工具使用上的能力,顾教授都是当之无愧的获奖者。”
顾行一搅拌了一下杯子里加了奶的红茶,开口说道:“但是对方不一定这样想。”
“其实青数奖在颁奖之前,就应该对于谁获奖有所争论。”文森特没有继续多提那一位可怜的教授,只是眨了眨他的右眼,压低了声音说道,“我有秘密消息,直到为了确认青数奖的获得人,委员会召开了三次会议,每一次都从清晨开到黄昏,直到最后一场,一直懒得参加这种会议的波达教授参与了。”
顾行一眼睛一亮,眼底有一点点动容:“看来我得亲自登门拜谢波达教授的厚爱。”
“也不用,”文森特教授笑了笑,拿出几张纸来,“老先生面子薄,你要登门道谢的话,非得被赶出来不可,还不如好好解一些难题。朝国不是有一句话说得好吗,朝闻道……”
“夕死可矣,”顾行一接过了纸,转动了笔尖,轻声说道,“但我可没有把握能够把每一个难题都给解决。”
“至少目前看起来,你把每一个问题都解决了,不是吗?”文森特教授显然很熟悉他的履历,调笑道,“奇迹。的同事们都这样称呼你啊,而且,分布式计算系统做的很漂亮。”
“那只是一个小小的把戏而已,谈不上奇迹。”顾行一谦虚道,眼睛已经落在了文森特教授递过来的纸上。
首先,P类问题必将属于NP问题,因为一个可以在多项式时间复杂度内求解的问题自然可以在多项式时间复杂度内验证。为了证明P=NP,这需要证明NP问题必将属于P类问题。
在NP问题之中,又有一类最为艰难的NPC问题(所有NP问题都可以转化成NPC问题),其的解法可以推动整个问题的解决。
毕竟,如果证明NPC问题,可以归属为P类问题,那么显而易见,NP=P。
类似于b是a,只要a拥有一杯奶茶,那么b就拥有一杯奶茶。
区别只在于证明a有一杯奶茶是件简化了的事情,而证明b有没那么容易。
所以在接下去的部分,文森特教授列出了21个NPC问题,不过最重点圈红的却还是SAT问题。
“库克教授的证明,”顾行一在有一段证明上画好横线,“非确定性图灵机的设计相当精妙,或许我们也需要设计一个计算机,用以模拟人们计算选择的过程。”
“那或许能够叫文—顾机。”文森特教授笑着回答,凑过去看他写下的备注。
两人聊到夜深,顾行一的手机屏幕亮了又暗。
估摸着再不回去估计又要no zuo no die,顾行一和文森特教授告别。
“这么快就结束了吗?”文森特教授喝了口枸杞水,四顾茫然,在这小小的休息厅里,已经有不少人来来回回。不过即使在夜深时刻,也依旧有一半的桌子上坐了正在工作的人。
“也该回去休息了,”顾行一扫了一眼文森特教授稀疏的前额,“就对头发的养护而言,好好休息可能比枸杞水更重要。”
文森特教授一声不吭开始收拾东西。
“你觉得np最后等于p吗?”顾行一整理了一下两人今天的成果,突然开口问道。
“也许吧,”文森特教授耸了耸肩,“没有证明之前,没有一个数学家会对一个问题下论断。但是就我个人而言,我不希望他们相等。”