第72章 证明数学猜想（3 / 4）

但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。

不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。

它是斯蒂文·考克（StephenCook）于1971年陈述的。

这个，涉及到了计算机的智能程度。

现在的计算机，都是零和一的判断，速度极快。但是这样的判断积累无数次，判断就会变得极其缓慢。而花费大量时间去思考一个结果出来，似乎更是智能。但是，他依然需要“大量的时间”。我们被困扰在这里。不知道该怎么办。

宋易懒洋洋说道：“分量啊，你很快就会看到的。”

陈芳决定不管这些理论的事情了。她对于宋易在没有半点担心，对于易文科技的未来，再没有了一丝疑虑。守护者联盟，到底有多么强大？他们，居然完成了困扰全世界的许多难题。医药如此，计算机如此，数学也是如此。还有什么吗？

不久之后，一篇投稿，飞过大洋彼岸，到了“科学”杂志的收稿邮箱里。

“科学”杂志编辑部成员，被这一个投稿震惊了。立刻加刊，搞出一个专题增刊和主刊一同发布。

增刊的内容，正是十大数学难题之一的：多项式算法问题对非多项式算法问题——宋易详解：

理想中的智能，是既可以有判断的速度，又可以有思考的能力。完美结合！

怎么才能办到？

来自东方华国的宋易先生，给出了完美的解决方案。

“在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。

你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。

然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。

我们得到结论：生成问题的一个解通常比验证一个给定的解时间花费要多得多。例子里，生成一个解，就是在所有人中找到你认识的那个人，这需要很多时间。验证一个解，就是只要看那一个女郎你是否认识。仅需要一秒钟。

这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13717421可以写成两个较小的数的乘积，你可能不知道是否应该相信他。