悦途小说网

手机浏览器扫描二维码访问

第428章 惊喜还是惊吓（第3页）

这意味著，在座的各位家，你们不需要再去苦思冥想寻找证明路径。

只要这个定理的证明是可以被检验的，那么计算机就能在瞬间替你写出证明过程。

我们假设，围棋的每一步最优解，是那个外星文明通过某种算法计算出来的o

那么，对於我们人类来说，验证一步棋是否是好棋，相对容易。

这是p类问题。

比如，外星人下了一步，我们事后分析，也能看出它的妙处。

但是，寻找这步最优解，对於我们来说，却难如登天。

我们需要在近乎无穷变化中去碰运气。

外星文明通过围棋向我展示了完美的解。

外星文明之所以能碾压我们，只有两种可能。”

林燃竖起第一根手指：“第一，他们的算力已经达到了暴力穷举10的171次方的地步，那就是物理层面的碾压，我们无可奈何。”

他竖起第二根手指：“第二，他们证明了p=np，或者找到了某种接近p=np的近似算法。

他们掌握了通往数学真理的捷径。

他们不需要穷举，他们是通过逻辑的钥匙直接打开了迷宫的大门。

如果是前者，我们是在和上帝下棋。

如果是后者，我们是在和更高维的数学下棋。”

在座对计算机有所了解的，感觉自己看到了上帝，这概念太牛逼了。

（备註：np=p问题发表於1971年，1973年被苏俄科学家独立发现，此时还没有。）

但对计算机不了解的数学家，则感觉自己云里雾里，连问题都听不太懂，哪怕林燃用了很浅显的比喻。

“这就是我请求各位协助的原因。

nasa发起围棋比赛，是筛选人类中直觉最好的大脑，试图用直接去对抗。

而在座的各位，你们的大脑更重要。

nasa需要你们从数学的角度，去思考这个博弈系统的本质。

去思考算法的复杂度，去思考是否存在一种数学结构，可以简化围棋的搜索空间。

如果在座的哪位，能够证明p=np，或者证明p不等於np，那么你对人类文明的贡献，將超越阿波罗登月，超越核武器。

我认为这是最顶级的数学问题。”

台下绝大部分数学家內心都是一个想法：我？你都想不明白让我想明白？这是不是太高看我了，我几斤几两还是很清楚的，我从来没想过自己能去思考最顶级的数学问题。

不少数学家甚至能够感受到在空气中飘荡的巨大嘆息，很多人內心都在嘆息，嘆息自己的智慧不足以解决这个最顶级的数学问题。

林燃並没有停留太久，他推下一块新黑板。

“刚才的比喻是为了让大家在直觉上理解。

现在，我们需要更精確的数学语言来定义这个问题。”

“我们回到图灵机。

这是阿兰·图灵留给我们的遗產，也是我们理解计算本质的基石。

如果你问我，什么是p？”

林燃在黑板上飞快地写下一串公式：“6

..如果我们能找到一种多项式时间的变换函数，把问题a转化为问题b。

那么只要我们能解出b，我们就一定能解出a。

这意味著，问题b至少比a难，或者一样难。

顺著这个逻辑，如果我们把全天下所有的np问题，从逻辑布尔满足性，到哈密顿迴路，到旅行商问题全部进行归约...

主角俞兴小说  重生开局逮到高冷校花超市偷窃番外最新章节  谁说这顶流癫这顶流太棒了番外最新章节  三年婚姻守空房我独美你发疯番外最新章节  主角陆远秋笔趣阁无弹窗  俞兴多我一个后富怎么了全集免费阅读  爷爷死时龙抬棺鬼哭坟番外最新章节  王猛传奇王猛  慕容桓笔趣阁在线阅读  主角池野小说笔趣阁无弹窗  叶离三年婚姻守空房我独美你发疯全集免费阅读  多我一个后富怎么了番外最新章节  裁员后我成了科技教父番外最新章节  郝成裁员后我成了科技教父全集免费阅读  主角郝成小说  池野谁说这顶流癫这顶流太棒了全集免费阅读  大唐傀儡医慕容桓全集免费阅读  苏霖系统流主角的我加入聊天群全集免费阅读  陆远秋重生开局逮到高冷校花超市偷窃全集免费阅读  大唐傀儡医番外最新章节