Deolalikar P vs NP paper: Difference between revisions

From Polymath Wiki
Jump to navigationJump to search
Geomblog (talk | contribs)
Line 28: Line 28:


== Online reactions ==
== Online reactions ==
=== Theory blogs ===


* [http://gregbaker.ca/blog/author/greg/ P ≠ NP] Greg Baker, Greg and Kat’s blog, August 7 2010
* [http://gregbaker.ca/blog/author/greg/ P ≠ NP] Greg Baker, Greg and Kat’s blog, August 7 2010
* [http://rjlipton.wordpress.com/2010/08/08/a-proof-that-p-is-not-equal-to-np/ A proof that P is not equal to NP?] Richard Lipton, Godel's lost letter and P=NP, August 8 2010
* [http://rjlipton.wordpress.com/2010/08/08/a-proof-that-p-is-not-equal-to-np/ A proof that P is not equal to NP?] Richard Lipton, Godel's lost letter and P=NP, August 8 2010
* [http://geomblog.blogspot.com/2010/08/on-deolalikar-proof-crowdsourcing.html On the Deolalikar proof: Crowdsourcing the discussion ?] Suresh Venkatasubramanian, The Geomblog, August 9 2010
* [http://scottaaronson.com/blog/?p=456 Putting my money where my mouth isn’t] Scott Aaronson, Shtetl-Optimized, August 9 2010
* [http://blog.computationalcomplexity.org/2010/08/that-p-ne-np-proof-whats-up-with-that.html That P ne NP proof- whats up with that?] Bill Gasarch, Computational Complexity, August 9 2010
* [http://rjlipton.wordpress.com/2010/08/09/issues-in-the-proof-that-p%e2%89%a0np/ Issues In The Proof That P≠NP] Richard Lipton and Ken Regan, Godel's lost letter and P=NP, August 9 2010
* [http://rjlipton.wordpress.com/2010/08/09/issues-in-the-proof-that-p%e2%89%a0np/ Issues In The Proof That P≠NP] Richard Lipton and Ken Regan, Godel's lost letter and P=NP, August 9 2010


=== Other ===
* [http://twitter.com/fortnow/statuses/20673954168 Twitter] Lance Fortnow - August 8 2010
* [http://www.google.com/buzz/114134834346472219368/1vfSCPtRQZf/Vinay-Deolaikar-recently-released-a-102-page Google Buzz] Terence Tao - August 9 2010


== Timeline ==
== Timeline ==

Revision as of 23:45, 9 August 2010

Note: This is currently an UNOFFICIAL page on Deolalikar's P!=NP paper, and is not currently affiliated with a Polymath project.


The paper

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

Other

Timeline

Other links