092 雷声滚滚，一扫浊世（2/13）

的，事实上当时的学术界一直怀疑是否真的有这种问题存在。

但牛人终究是牛人，在提出了这类问题后，斯蒂芬·库克还真找到了一个问题，并通过图灵机的方式，证明了他提出的这个问题就属于p问题，也就是p完全问题。

其定义为“给出一个含有个逻辑变量的逻辑表达式，判断这个表达式是否可能取值为真，也就是判断这个逻辑表达式是否是可被满足的。”因为这个定义，所以该类问题又被称作为“可满足性问题”。

这里不需要管斯蒂芬·库克开了多大的脑洞，反正他通过这种方式证明了他提出的问题属于p问题之后，数学界著名的库克定理就此诞生“可满足性问题是一个p”问题。

当斯蒂芬·库克完成了这个开创性的工作之后，次年得到启发的数学家便一连找出了个p类问题。比如大名鼎鼎的“哈密顿循环”、“背包问题”、“三位匹配问题”等等。

当然最重要的并不是这些问题被发现，而是根据学术界对p问题的定义二任何其它p类问题都可以归约到这个问题，那么只需要找到任意一个p问题中多项式时间复杂度的算法，也意味着能够证明p=p。

然而几十年过去，没有一个p类问题得到证明，所以主流学术界大都是认为p≠p的。

但如果说到证明这个理论，其实偶尔也会有数学家跳出来声称完全解决了这个问题，但不管是关于p＝p又或者p≠p的证明，从来没得到过数学界跟计算机理论学界的承认。

当然以三月负责任的教导态度，自然不会将这个问题直接抛给宁为就不管了。

即便是更高深的数学内容，依然是循循善诱的解决模式。

这次三月给宁孑出的问题是一个许多玩家都耳熟能详的华容道游戏。

当然，并不是让宁孑玩这个游戏，而是让宁孑通过之前所学习到知识体系，尝试证明或者设计一种算法，让华容道游戏能快速得到结果的最优解，又或者证明根本不存在有一种通用解或者算法能让这个游戏存在最优解决办法。

这显然是个非常让人头疼的问题，涉及到群论等诸多数学领域。

标准的综合性难题。

也让宁孑几乎不需要任何酝酿便陷入深度思索之中。

……

作为这次复现试验当之无愧的主角，当宁孑接受了费米实验室的远程连线出现了在镜头前，几乎全球所有直播的画面都给了宁孑一个固定的分镜头，即便正式的试验过程还没开始。

这个做法起码在华夏