{"id":1206,"date":"2010-09-07T10:29:03","date_gmt":"2010-09-07T14:29:03","guid":{"rendered":"http:\/\/mat.tepper.cmu.edu\/blog\/?p=1206"},"modified":"2010-09-07T10:29:03","modified_gmt":"2010-09-07T14:29:03","slug":"definitive-word-on-pnp-paper","status":"publish","type":"post","link":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/2010\/09\/07\/definitive-word-on-pnp-paper\/","title":{"rendered":"Definitive Word on P!=NP Paper"},"content":{"rendered":"<p>Lance Fortnow of the blog <a href=\"http:\/\/blog.computationalcomplexity.org\/\">Computational Complexity<\/a> has, I believe, the <a href=\"http:\/\/blog.computationalcomplexity.org\/2010\/09\/how-to-write-up-major-results.html\">definitive word on the P!=NP<\/a> paper by Deolalikar (saying in a sentence what <a href=\"http:\/\/mat.tepper.cmu.edu\/blog\/?p=1193\">I couldn&#8217;t quite manage in two pages<\/a>):<\/p>\n<blockquote><p>Proving P\u00a0\u00a0\u2260 NP will require pure genius but you shouldn&#8217;t need a Fields medalist to verify the proof.<\/p><\/blockquote>\n<p>Secondary message:\u00a0 a good way to determine if a proof will work is to count the &#8220;clearly&#8221;s and &#8220;should be able to&#8221;s:\u00a0 more than one or two and the proof likely will fall apart at the slightest breath.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Lance Fortnow of the blog Computational Complexity has, I believe, the definitive word on the P!=NP paper by Deolalikar (saying in a sentence what I couldn&#8217;t quite manage in two pages): Proving P\u00a0\u00a0\u2260 NP will require pure genius but you shouldn&#8217;t need a Fields medalist to verify the proof. Secondary message:\u00a0 a good way to &hellip; <a href=\"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/2010\/09\/07\/definitive-word-on-pnp-paper\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Definitive Word on P!=NP Paper&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6,46],"tags":[],"class_list":["post-1206","post","type-post","status-publish","format-standard","hentry","category-blogs-and-web","category-research"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1206","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/comments?post=1206"}],"version-history":[{"count":0,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1206\/revisions"}],"wp:attachment":[{"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/media?parent=1206"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/categories?post=1206"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mat.tepper.cmu.edu\/blog\/index.php\/wp-json\/wp\/v2\/tags?post=1206"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}