第318章 她上台讲，未解之题（2/2）

「……」

当即有人拿出手机，点开浏览器，开始查数据。

江扶月不疾不徐：「1971年Stephen Cook和Leonid Levin相对独立地提出两个复杂度类P和NP是否恒等的问题，即P是否等于NP？」

「简单来说，P指的是用计算机能很快求解的问题，NP指的是我们想找到最优解的问题。如果P=NP，那么我们将很容易找到任意给定问题的解。[1]」

「这意味着我们所了解的社会将发生巨变，医学、科学、娱乐和人类社会一切任务的自动化程度都将立即发生质的飞跃。」

「我举个例子，在如何治疗肺癌这个问题上，我们有P种治疗方案，通过计算机处理，一旦P=NP，那么NP就是我们要找的最优方案。」

江扶月：「以上，就是从题干信息剥离出的本质问题。你们觉得它错，是因为直到现在这个难题还没有被攻破。换句话说，P是否等于NP，这是『未解之题』，却不是『无解之题』，两者有本质上的区别！」

M国克雷数学研究所于千禧年5月24日公布了七个难题。P/NP问题排在了霍奇猜想、庞加莱猜想、黎曼猜想、杨-米尔斯存在性与质量间隙等难题之前。

而这些难题则呼应1900年D国数学家大卫·希尔伯特在巴黎提出的23个历史性数学难题。

「……当然，经过一百年，这23个难题许多已获得解答。而千禧年大奖难题的破解，是承前，也是启后，极有可能为现代密码学以及航天、通信等领域带来突破性进展。」

听完解释，大家好像更懵了。

他们不就是做了道IOI竞赛题吗？怎、怎么就和密码学、航空航天，还有什么人类社会自动化程度搭上关系了？

咕咚——

高兆明咽了咽口水，「突然觉得自己不配。」

黄晖呆呆转头，看了他一眼：「谁不是呢？」

「搞什么鬼？居然拿这种未解之谜给我们当竞赛题来做？是出题人疯了，还是组委会飘了？他们凭什么认为大家能做出来？」

「别断章取义。题目又不是让你证明P=NP，只是有这个复杂度最优解的思维在里面，题目本身设置了具体情景，并且给足了参数条件。」

「难怪试运行这么久，从P里挑选出最优解NP，计算量和复杂程度可想而知。」

「大家怎么了？别被她几句话就误导啊！这道题就算没错，那也超纲了，不应该出现在IOI赛场上。」

但也有人查完数据，慢慢冷静下来，理智占据主导——

「不算超纲。」

「什么？」

「这是理论信息学中计算复杂度理论领域的知识，考纲上有，不信去翻。」

「你是不是傻？！」带头挑事的金发男咬牙切齿，「不超纲咱们通通得零分！什么金牌，想都别想！」

「可事实摆在眼前。」

众人哑口无言。

突然，有人大喊：「出了！出了！试运行结果出来了……」

二更，两千字。

有三更。

参考文献：[1]《可能与不可能的边界：P/NP问题趣史》