tag:blogger.com,1999:blog-6555947.post1916600671297462913..comments2024-03-14T01:32:43.610-06:00Comments on The Geomblog: On the Deolalikar proof: Crowdsourcing the discussion ?Suresh Venkatasubramanianhttp://www.blogger.com/profile/15898357513326041822noreply@blogger.comBlogger10125tag:blogger.com,1999:blog-6555947.post-53938431975698610022010-08-13T04:20:08.978-06:002010-08-13T04:20:08.978-06:00Such proof would have to cover all classes of appr...Such proof would have to cover all classes of approaches ... like continuous global optimization.<br />For example in 3SAT problem we have to valuate variables to fulfill all alternatives of triples of these variables or their negations – look that<br />(x OR y) can be changed into optimizing<br /><br />((x-1)^2+y^2)((x-1)^2+(y-1)^2)(x^2+(y-1)^2)<br /><br />and analogously seven terms for alternative of three variables. Finding global minimum of sum of such polynomials for all terms, would solve our problem. (from www .scienceforums.net/topic/49246-four-dimensional-understanding-of-quantum-computers/ )<br /><br />It's going out of standard combinatorial techniques to continuous world using gradient methods, local minims removing methods, evolutionary algorithms ... it's completely different realm: numerical analysis.<br />Such proof could work on concrete valuations, but here we work between them.<br />Does/can it cover also continuous approaches?skepticnoreply@blogger.comtag:blogger.com,1999:blog-6555947.post-61926822478323272362010-08-10T01:38:56.622-06:002010-08-10T01:38:56.622-06:00wait about 1 minute :)wait about 1 minute :)Suresh Venkatasubramanianhttps://www.blogger.com/profile/15898357513326041822noreply@blogger.comtag:blogger.com,1999:blog-6555947.post-30669627524550111352010-08-10T01:38:15.175-06:002010-08-10T01:38:15.175-06:00I wish it could be hosted somewhere other than goo...I wish it could be hosted somewhere other than google docs. For various reasons I don't wish to open a google account. Why not just use a blog post with a comment section? That's worked for the actual polymath projects.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6555947.post-59368925770559729142010-08-09T23:58:24.611-06:002010-08-09T23:58:24.611-06:00Wow ! that's bizarre. I never thought that wou...Wow ! that's bizarre. I never thought that would happen. Let me see if I can do it elsewhere.Suresh Venkatasubramanianhttps://www.blogger.com/profile/15898357513326041822noreply@blogger.comtag:blogger.com,1999:blog-6555947.post-47160149076694124822010-08-09T23:56:59.229-06:002010-08-09T23:56:59.229-06:00I can't access the document. Error message: &q...I can't access the document. Error message: "There are currently too many people viewing this document. Please try again later."<br /><br />Maybe there is a better venue than Google Docs.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6555947.post-50966672055736100672010-08-09T22:57:03.521-06:002010-08-09T22:57:03.521-06:00And now, the super simplified version, to keep the...And now, the super simplified version, to keep the "bachelors in CS with vague remembrances of something involving capitals letters in an algorithms course" set interested:<br /><br />http://doespequalnp.com/<br />(and also http://ispequaltonp.com)<br /><br />While the proof is being studied, I'm going to keep a one sentence update on there (the content reduction feels like an insult, but, well, that's the web these days), plus latest paper and discussion links.Kyle Machulishttps://www.blogger.com/profile/15857039627449333772noreply@blogger.comtag:blogger.com,1999:blog-6555947.post-50358893709718520662010-08-09T22:14:56.747-06:002010-08-09T22:14:56.747-06:00With the new thread
http://rjlipton.wordpress.com...With the new thread<br /><br />http://rjlipton.wordpress.com/2010/08/09/issues-in-the-proof-that-p≠np<br /><br />on Lipton's blog, I'd say that you already have the basic polymath structure: a research thread (Lipton's post), a discussion thread (this post), a wiki (the Google Doc), and (last, but definitely not least) a suitable group of participants and moderators. It will be interesting to see how this experiment evolves.Terryhttps://www.blogger.com/profile/10186436058521523236noreply@blogger.comtag:blogger.com,1999:blog-6555947.post-45932914554025683422010-08-09T19:42:06.173-06:002010-08-09T19:42:06.173-06:00Great idea. Hope that it works.Great idea. Hope that it works.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6555947.post-52903149880342096282010-08-09T15:29:42.179-06:002010-08-09T15:29:42.179-06:00Click on it as if to edit it. This will enter it i...Click on it as if to edit it. This will enter it into your docs folder on google docs. Now switch over to docs.latexlab.org. It will open a default document. Go to File -> Open, and ask to view ALL documents (not just starred ones), and then you will see this document in the drop down list. <br /><br />In google docs, you can look at revision history of a document.Suresh Venkatasubramanianhttps://www.blogger.com/profile/15898357513326041822noreply@blogger.comtag:blogger.com,1999:blog-6555947.post-46866366659391276202010-08-09T15:26:45.532-06:002010-08-09T15:26:45.532-06:00Colour me stupid, but how do you add the document ...Colour me stupid, but how do you add the document (so you can use the latex editor mentioned in it)?<br /><br />Also, is there any "latest changes" mechanism?Anonymousnoreply@blogger.com