10.5 关于P/NP问题的结束语
证明P≠NP并非易事。你需要证明不存在有效的算法能解决团问题或任何其他的NP完全问题,这些算法既包括现有的也包括将来发明的。如何证明每一个潜在的算法都必将失败?
人们相信这样的证明总有一天会出现,但有可能需要过上20年,200年,甚至2000年。总有一天,当人们发展出的新技术最终能证实P≠NP的时候,数学家们会兴高采烈,为一个伟大的问题得到一个伟大的解答而欢呼。而求解P/NP问题过程中产生的技术将让我们深刻认识高效能计算的威力,这种东西会渗透到社会生活的方方面面。
P/NP问题远远不只是一个数学谜题那么简单。它是一种思考的方法,一种根据问题的内在难度对其进行分类和认识的方法。虽然尚没有P≠NP的确凿证据,我们起码知道了:当面临一个NP完全问题时,不可能找到一个在所有情况下都能解决该问题的算法。这时就需要借助于其他的工具,如近似计算、启发式方法、暴力破解等方法的组合,然后尽我们所能地争取最好的结果。NP完全性理论给了我们一个通用的思考框架,允许我们建立一套由很多技术组成的工具体系,向那些难以计算的问题发起有效的攻击。
P/NP问题让学术界团结在一起。物理学、生物学、经济学以及其他许多领域中都有NP完全问题的身影。虽然物理学家和经济学家所关注的问题有很大的差异,但这两类问题也存在着共性。所以分享各自的工具和技术将为双方都带来巨大的好处。例如,物理学中为了寻找物理系统的基态而开发的工具,对于经济学中寻找复杂经济环境中可能出现的均衡行为也是有帮助的。
P/NP问题内在的难度同样促进了新技术的发展。当代密码学家从P/NP问题受到启发,把密码学操作过程从一门艺术变成了科学。对于解决P/NP问题的强烈需求也在激励人们建造更快、更强的计算系统,催生了诸如量子计算这样的新技术。
计算是一种和过程有关的活动,而过程不仅仅出现在计算机上。P/NP问题归根到底与自然本身的极限有关,与生物和物理系统进化的极限有关,甚至可以说与人类思想所能达到的极限有关。只要P/NP问题还是一个未解之谜,人类就无法确切地知道自己所能取得的成就的极限在哪里。这不由得让人感到精神一振。