Should business be allowed to patent mathematics? - opinion - 18 March 2013 - New Scien... - 1 views
shared by LeopoldS on 23 Mar 13 - No Cached
shared by LeopoldS on 16 Sep 12 - Cached
shared by Luís F. Simões on 20 Jan 11 - No Cached
"Vladimir Romanov has released what he claims is a polynomial-time algorithm for solving 3-SAT. Because 3-SAT is NP-complete, this would imply that P==NP. While there's still good reason to be skeptical that this is, in fact, true, he's made source code available and appears decidedly more serious than most of the people attempting to prove that P==NP or P!=NP. Even though this is probably wrong, just based on the sheer number of prior failures, it seems more likely to lead to new discoveries than most. Note that there are already algorithms to solve 3-SAT, including one that runs in time (4/3)^n and succeeds with high probability. Incidentally, this wouldn't necessarily imply that encryption is worthless: it may still be too slow to be practical."