【Csdn 综合报道】(文/刘江)这几天惠普新闻不断。其实技术人员更应该关心的,不是那个CEO的绯闻女郎是否漂亮,CEO是否因公司政治蒙冤下台,而是另一件可能会名垂青史的大事:一位名为Vinay Deolalikar的70后印度籍惠普研究员8月6日在自己的网站发布了一篇名为“P is not equal to NP”的论文(点击下载),也就是说,他认为自己证明了P不等于NP!
Vinay Deolalikar. P is not equal to NP. 6th August, 2010 (66 pages 10pt, 102 pages 12pt). Manuscript sent on 6th August to several leading researchers in various areas. You can find an older version here. Many researchers advised me to prepare a concise synopsis of the proof. I have done so, you may obtain it here. The 3 issues that were raised were (a) the use of locality and the techniques used to deal with complex fixed points (b) the difference between 9-SAT and XORSAT/2-SAT and (c) clarification on the method of parametrization. I will address all these in the version being prepared, which will be sent for peer and journal review.