第510章惊喜还是惊吓
第510章惊喜还是惊吓(第4/5页)
3年被苏俄科学家独立发现，此时还没有。）
但对计算机不了解的数学家，则感觉自己云里雾里，连问题都听不太懂，哪怕林燃用了很浅显的比喻。
「这就是我请求各位协助的原因。
nasa发起围棋比赛，是筛选人类中直觉最好的大脑，试图用直接去对抗。
而在座的各位，你们的大脑更重要。
nasa需要你们从数学的角度，去思考这个博弈系统的本质。
去思考算法的复杂度，去思考是否存在一种数学结构，可以简化围棋的搜索空间。
如果在座的哪位，能够证明p=np，或者证明p不等于np，那么你对人类文明的贡献，将超越阿波罗登月，超越核武器。
我认为这是最顶级的数学问题。」
台下绝大部分数学家内心都是一个想法：我？你都想不明白让我想明白？这是不是太高看我了，我几斤几两还是很清楚的，我从来没想过自己能去思考最顶级的数学问题。
不少数学家甚至能够感受到在空气中飘荡的巨大叹息，很多人内心都在叹息，叹息自己的智慧不足以解决这个最顶级的数学问题。
林燃并没有停留太久，他推下一块新黑板。
「刚才的比喻是为了让大家在直觉上理解。
现在，我们需要更精确的数学语言来定义这个问题。」
「我们回到图灵机。
这是阿兰·图灵留给我们的遗产，也是我们理解计算本质的基石。
如果你问我，什么是p？」
林燃在黑板上飞快地写下一串公式：「6
..如果我们能找到一种多项式时间的变换函数，把问题a转化为问题b。
那么只要我们能解出b，我们就一定能解出a。
这意味著，问题b至少比a难，或者一样难。
顺著这个逻辑，如果我们把全天下所有的np问题，从逻辑布尔满足性，到哈密顿回路，到旅行商问题全部进行归约...
「数学告诉我们，必然存在这样一类终极问题。
它是np中最难的问题。
全天下所有的np问题，都可以在多项式时间内转化为它。
我把它命名为np—完全问题...
」
林燃的讲座持续了一下午，在座的数学家们两极分化很严重，有的如痴如醉，有的昏昏欲睡。
反而华国来的数学家代表团，更有代入感一些，他们更能理解图灵机、算法复杂度这些。
因为在华国，哪怕数学家也不是纯粹做数学研究，他们是要参与到生产环节。
像华罗庚提倡的统筹法就广泛运用在生产中。
在这条时间线，数学家们要利用计算机大量介入到生产过程中。
其中他们最常面对的问题就是天气预报算法优化问题，各个地区的优化各不相同，然后设计的算法还要
（本章未完，请点击下一页继续阅读）