分卷阅读153 (第1/3页)

    出几张纸来，“老先生面子薄，你要登门道谢的话，非得被赶出来不可，还不如好好解一些难题。朝国不是有一句话说得好吗，朝闻道……”

“夕死可矣，”顾行一接过了纸，转动了笔尖，轻声说道，“但我可没有把握能够把每一个难题都给解决。”

“至少目前看起来，你把每一个问题都解决了，不是吗？”文森特教授显然很熟悉他的履历，调笑道，“奇迹。的同事们都这样称呼你啊，而且，分布式计算系统做的很漂亮。”

“那只是一个小小的把戏而已，谈不上奇迹。”顾行一谦虚道，眼睛已经落在了文森特教授递过来的纸上。

首先，P类问题必将属于NP问题，因为一个可以在多项式时间复杂度内求解的问题自然可以在多项式时间复杂度内验证。为了证明P=NP，这需要证明NP问题必将属于P类问题。

在NP问题之中，又有一类最为艰难的NPC问题（所有NP问题都可以转化成NPC问题），其的解法可以推动整个问题的解决。

毕竟，如果证明NPC问题，可以归属为P类问题，那么显而易见，NP=P。

类似于b是a，只要a拥有一杯奶茶，那么b就拥有一杯奶茶。

区别只在于证明a有一杯奶茶是件简化了的事情，而证明b有没那么容易。

所以在接下去的部分，文森特教授列出了21个NPC问题，不过最重点圈红的却还是SAT问题。

“库克教授的证明，”顾行一在有一段证明上画好横线，“非确定性图灵机的设计相当精妙，或许我们也需要设计一个计算机，用以模拟人们计算选择的过程。”

“那或许能够叫文—顾机。”文森特教授笑着回答，凑过去看他写下的备注。

两人聊到夜深，顾行一的手机屏幕亮了又暗。

估摸着再不回去估计又要nozuonodie，顾行一和文森特教授告别。

“这么快就结束了吗？”文森特教授喝了口枸杞水，四顾茫然，在这小小的休息厅里，已经有不少人来来回回。不过即使在夜深时刻，也依旧有一半的桌子上坐了正在工作的人。

“也该回去休息了，”顾行一扫了一眼文森特教授稀疏的前额，“就对头发的