不少数学家甚至能够感受到在空气中飘荡的巨大叹息,很多人内心都在叹息,叹息自己的智慧不足以解决这个最顶级的数学问题。
林燃并没有停留太久,他推下一块新黑板。
「刚才的比喻是为了让大家在直觉上理解。
现在,我们需要更精确的数学语言来定义这个问题。」
「我们回到图灵机。
这是阿兰·图灵留给我们的遗产,也是我们理解计算本质的基石。
如果你问我,什幺是p?」
林燃在黑板上飞快地写下一串公式:「6
..如果我们能找到一种多项式时间的变换函数,把问题a转化为问题b。
那幺只要我们能解出b,我们就一定能解出a。
这意味着,问题b至少比a难,或者一样难。
顺着这个逻辑,如果我们把全天下所有的np问题,从逻辑布尔满足性,到哈密顿回路,到旅行商问题全部进行归约...
「数学告诉我们,必然存在这样一类终极问题。
它是np中最难的问题。
全天下所有的np问题,都可以在多项式时间内转化为它。
我把它命名为np—完全问题...
」
林燃的讲座持续了一下午,在座的数学家们两极分化很严重,有的如痴如醉,有的昏昏欲睡。
反而华国来的数学家代表团,更有代入感一些,他们更能理解图灵机、算法复杂度这些。
因为在华国,哪怕数学家也不是纯粹做数学研究,他们是要参与到生产环节。
像华罗庚提倡的统筹法就广泛运用在生产中。
在这条时间线,数学家们要利用计算机大量介入到生产过程中。
其中他们最常面对的问题就是天气预报算法优化问题,各个地区的优化各不相同,然后设计的算法还要适配计算机,能在计算机上跑,能跑出好的结果,能和现实匹配上。
所以华国数学家们反而能捕捉到林燃想要表达的意思。
林燃最后说道:「如果各位关于围棋计算有什幺好的想法,也欢迎来信到nasa。
对抗外星文明,需要全人类的帮助。」
林燃鞠躬,时间正好,不耽误晚上的晚宴。
到了晚宴环节,就不仅仅是数学家了,几乎纽约的名流都来了。
香槟、灯光和音乐交织在一起,《了不起的