How the Web Rallied To Review the P != NP Claim
An anonymous reader writes "Remember, about a month ago, when a researcher claimed he had a proof that P != NP? Well, the proof hasn't held up. But blogs and news sites helped spur a massive, open, collaborative effort on the Internet to understand the paper and to see if its ideas could be extended. This article explains what happened, how the proof was supposed to work, and why it failed."
I guess I will never profit from my proof I posted a while ago since his didn't hold up:
Step #1: Wait for him to prove and confirm P!=NP
Step #2: Solve for N:
So P!=NP,
therefore P!/P=N,
thus the Ps cancel and we are left with N=!.
Step #3: ???
Step #4: Profit!
Tired of my customary (Score:1)
I think Mr. Venkatasubramanian is just overgeneralizing from his personal experience. No one interacts with him at conferences because they can't pronounce his name.
People replying to my sig annoy me. That's why I change it all the time.
Time to change again.
It is unwise to ascribe motive
Yeah. It'd be easier and cooler if he shortened it to Venkman.
You can hold down the "B" button for continuous firing.
It is the greatest question in computer science. A negative answer would likely give a fundamentally deeper understanding of the nature of computation. And a positive answer would transform our world: Computers would acquire mind-boggling powers such as near-perfect translation, speech recognition and object identification; the hardest questions in mathematics would melt like butter under computation’s power; and current computer security methods would be as easy to crack as a TSA-approved suitcase lock.
Proof that P!=NP: We haven't made any really hard problems really easy. If P=NP, then computers automatically acquire mind-boggling powers and the ability to crack encryption. Presumably that would have already happened if P=NP, therefor P!=NP. QED.
Support my political activism on Patreon.
Yeah, but nobody scored...
how long until
P!=NP
(P-1)! * P=NP
N=(P-1)!
But... the future refused to change.
I love peanots. Great source of protein.
Down with the career politician! SUPPORT TERM LIMITS
Can I get a summary of the summary please
Due to circumstances beyond my control, I am master of my fate and captain of my soul.
You will pay a million bucks for code that doesn't work correctly? shit, if I work for you I would have all the money in the world!
The Kruger Dunning explains most post on
So for example if one was looking at 3-SAT "(A v B v ~ C) ^ (A v A v ~D)" would be a valid example. Now, it happens that for k>2, k-SAT is NP-complete.
Oh, that explains it.
-David
Math is hard, but some types of math are really hard.
God invented whiskey so the Irish would not rule the world.
But how do we prove that MP != MNP, where MP = {p | p = Math proof that is understandable in polynomial time}?
cpghost at Cordula's Web.
There's an extraneous word in your post.
“It was like the Nerd Superbowl."
Yeah, nobody scored.
QED
If it had held up, someone would have already set about producing a computing system that was capable of constructing all proofs and all complex structures of everything, and formatting and submitting them as patents.
Many of these would be business models and means of winning elections regardless of public opinion.
Within a few years, our legislative and economic systems would be taken over by the people operating the machine, and they would change the law and, legally, make us their slaves.
You might say I'm rather relieved that P != NP.
Or just think of the computing power, resources, and your time that has been wasted to allow you to post on Slashdot. Or playing Starcraft. Or watching porn. In fact, strictly speaking, there is nothing you can do that is not a waste of time, since you'll end up dead, along with all evidence that you ever existed. It's all about what you want to do. These people wanted to calculate pi, so why not? I've thought of having a go at it myself.
Qxe4