Deolalikar P vs NP paper
From Polymath Wiki
Note: This is currently an UNOFFICIAL page on Deolalikar's P!=NP paper, and is not currently affiliated with a Polymath project.
The paper
- Vinay Deolalikar's web page
- First draft (date?)
- Second draft (date?)
Possible issues
Issues with LFP
Issues with d1RSP
Barriers
Any P vs NP proof must deal with the three known barriers described below. The concerns around this paper have not yet reached this stage yet.
Relativization
Natural proofs
Algebraization
Terminology
Online reactions
Theory blogs
- P ≠ NP Greg Baker, Greg and Kat’s blog, August 7 2010
- A proof that P is not equal to NP? Richard Lipton, Godel's lost letter and P=NP, August 8 2010
- On the Deolalikar proof: Crowdsourcing the discussion ? Suresh Venkatasubramanian, The Geomblog, August 9 2010
- Putting my money where my mouth isn’t Scott Aaronson, Shtetl-Optimized, August 9 2010
- That P ne NP proof- whats up with that? Bill Gasarch, Computational Complexity, August 9 2010
- Issues In The Proof That P≠NP Richard Lipton and Ken Regan, Godel's lost letter and P=NP, August 9 2010
Other
- Twitter Lance Fortnow - August 8 2010
- Google Buzz Terence Tao - August 9 2010