本报讯 (记者陈丹)P≠NP，一个简洁的论文标题，或许预示着七大世界数学难题之一的P问题(多项式算法)对NP问题(非多项式算法)终于有了答案。据英国《新科学家》杂志网站8月11日(北京时间)报道，美国惠普实验室的数学家维奈·迪奥拉里卡已经于6日提交了关于论证该问题的论文草稿，如果此答案被证实无误，那么他将获得由美国克雷数学研究所提供的100万美元奖金。

　　P对NP问题是克雷数学研究所高额悬赏的七个千禧年难题之一，同时也是计算机科学领域的最大难题，关系到计算机完成一项任务的速度到底有多快。有些问题计算起来很容易，利用多项式算法很快能解决，比如求若干个数的乘积，这类问题被称作P问题；另一类问题计算过程比较繁琐，但验证答案却很容易，比如把整数44427进行因数分解，求解过程可能会很费时，但如果告诉你答案是177×251，简单计算即可验证答案是对的，这类问题就被归为NP问题。

　　因此，如果P=NP，那么每个答案很容易得到验证的问题也同样可以轻松求解。这将对计算机安全构成巨大威胁，目前加密系统的破解就相当于要将一个整数分解为几个因数的乘积，正是其求解过程的繁琐，才能杜绝黑客的入侵。

　　而现在，迪奥拉里卡围绕一个众所周知的NP问题进行论证，给出了P≠NP的答案。这就是布尔可满足性问题(Boolean Satisfiability Problem)，即询问一组逻辑陈述是否能同时成立或者互相矛盾。迪奥拉里卡声称，他已经证明，任何程序都无法迅速解答这个问题，因此，它不是一个P问题。

　　如果迪奥拉里卡的答案成立，说明P问题和NP问题是不同的两类问题，这也意味着计算机处理问题的能力有限，很多任务的复杂性从根本上来说也许是无法简化的。

　　对于有些NP问题，包括因数分解，P≠NP的结果并没有明确表示它们是不能被快速解答的；但对于其子集NP完全问题，却注定了其无法很快得到解决。其中一个著名的例子就是旅行商问题(Travelling Salesman Problem)，即寻找从一个城市到另一个城市的最短路线，答案非常容易验证，不过，如果P≠NP，就没有计算机程序可以迅速给出这个答案。

　　迪奥拉里卡的论文草稿已经得到了复杂性理论家的认可，但一周后公布的论文终稿还将接受严格的审查。

　　总编辑圈点

　　较之不久前刚被“拿下”的庞加莱猜想等其他六大数学难题，本文所议者最是“贴近生活，贴近群众，贴近实际”。证明了P与NP的关系意味着数学计算在方法论范畴的一次拨云见日，进而会给整个信息产业带来革命性冲击。每年声称解决了P 与NP问题的中外人士无以计数，可他们大都缺乏基本专业训练，因而其“成果”几乎不具任何价值。我们毫不怀疑迪奥拉里卡是位严肃的科学家，但仍应以谨慎的态度耐心等待最终审查结果，毕竟兹事体大。