学过计算机科学理论的人都应该知道，计算机科学中有一个天字第一号问题一直没有解决，引得无数图灵奖得主和顶级计算机科学家竞折腰，这个圣杯就是P/NP问题。事实上，这个问题也位列Clay数学研究所重金征解的[URL=http://zh.wikipedia.org/zh-cn/千禧年大奖难题]七大数学难题[/URL]之首，与我们凡夫俗子也多少知道的黎曼假设和庞加莱猜想并列。解决其中任何一道难题，都可以得到100万美元奖金。其中，庞加莱猜想已被我们时代最伟大的Geek[URL=http://zh.wikipedia.org/zh-cn/格里戈里·佩雷尔曼]格里戈里·佩雷尔曼[/URL]于2002年解决。

简单的说，P问题是指能找到迅速（准确地说是多项式时间内）解决算法的问题，P是Polynomial（多项式）时间的第一个字母。而NP问题，是指这个问题的解能够迅速（准确地说是在多项式的时间里）猜测并验证，但是很难找到，NP是Nondeterministic Polynomial （非确定多项式）的首字母缩写。所以，P=NP？问题实际上是要证明或者推翻，P问题和NP问题不等价。由于NPC（NP-Complete）问题的存在，学术界普遍认为P不等于NP，但始终无法给出令人满意的证明。

现在，Vinay Deolalikar宣布自己摘取了这项桂冠。他已经将论文发给多位各个领域的顶尖专家进行同行评审。目前尚没有得到任何正式的确认。不过，这个问题的提出者、图灵奖得主[URL=http://zh.wikipedia.org/zh-cn/%E5%8F%B2%E6%8F%90%E8%8A%AC%C2%B7%E5%8F%A4%E5%85%8B]Stephen Cook[/URL]评论，（Deolalikar的）“声明看上去比较严肃”。

MIT的助理教授Scott Aaronson（他曾经写过一篇文章《[URL=http://www.scottaaronson.com/blog/?p=304]所谓数学突破的十个错误标志[/URL]》）显然不太相信这个问题能比较容易地解决，他发表博客，表示如果Deolalikar被授予了100万Clay千禧大奖，他愿意个人掏腰包再奖20万美元。

著名的计算理论博客、佐治亚理工学院计算机科学教授Dick Lipton也发表[URL=http://rjlipton.wordpress.com/2010/08/08/a-proof-that-p-is-not-equal-to-np/]文章[/URL]简单解释了论文的思路，认为这项工作是严肃的。Lipton在文中说，Deolalikar是通过有限模型理论搭桥，引出反证，用到了Moshe Vardi (1982) 和Neil Immerman (1986)的结论。

8月9日，Lipton又综合已有的对论文的评论，发表了新的[URL=http://rjlipton.wordpress.com/2010/08/09/issues-in-the-proof-that-p%e2%89%a0np/]文章[/URL]，认为证明肯定存在错误，但他又表示，这是任何突破性研究都无法避免的。该证明的策略是否证明，存在的问题是否能够修正，仍然有待研究。

此外，犹他大学计算机学院的助理教授Suresh Venkatasubramanian通过Google Docs（链接，可能无法访问）来讨论这一证明，充分利用集体智慧，你也可以加入！文档本身应该是LaTeX格式的。

CSDN博客专家[URL=http://blog.csdn.net/g9yuayon]袁泳[/URL]在Twitter上分析了Deolalikar的思路，“是通过编码K-SAT构造某种有序结构。如果NP=P，那根据Vardi的定理，K-SAT能用FO(LFP)，也就是最小不动点的一阶逻辑表达，也就说存在某个多项式时间基于LFP的算法。但是该结论同K-SAT的某些统计性质矛盾。”但他也表示自己的知识不足以评价甚至看懂这篇论文。

Vinay Deolalikar是否真的解决了计算机科学界目前的最大问题呢？让我们拭目以待。如果你看懂了这篇论文，请与我们联系。

【CSDN小百科】

Vinay Deolalikar，1971年出生于印度新德里，1994年在孟买印度理工学院获得电机工程硕士学位，1999年在南加州大学获得电机工程和数学博士学位。他的研究兴趣是数论、代数几何及其在编码理论中的应用，机器学习与数据挖掘及其在信息管理中的应用，数理逻辑，随机过程，统计学，数字通信等。他在惠普研究院网站上的个人网页是：http://www.hpl.hp.com/personal/Vinay_Deolalikar/ 。

转自：http://news.csdn.net/a/20100810/277993.html