Free Republic
Browse · Search
General/Chat
Topics · Post Article

Skip to comments.

Tide turns against million-dollar maths proof
NewScientist ^ | 8/13/10 | Jacob Aron

Posted on 08/14/2010 7:57:39 PM PDT by LibWhacker

Initially hailed as a solution to the biggest question in computer science, the latest attempt to prove P ≠ NP – otherwise known as the "P vs NP" problem – seems to be running into trouble.

Two prominent computer scientists have pointed out potentially "fatal flaws" in the draft proof by Vinay Deolalikar of Hewlett-Packard Labs in Palo Alto, California.

Since the 100-page proof exploded onto the internet a week ago, mathematicians and computer scientists have been racing to make sense of it.

The problem concerns the speed at which a computer can accomplish a task such as factorising a number. Roughly speaking, P is the set of problems that can be computed quickly, while NP contains problems for which the answer can be checked quickly. Serious hole?

It is generally suspected that P ≠ NP. If this is so, it would impose severe limits on what computers can accomplish. Deolalikar claims to have proved this. If he turns out to be correct, he will earn himself a $1 million Millennium prize from the Clay Mathematics Institute in Cambridge, Massachusetts.

(Excerpt) Read more at newscientist.com ...


TOPICS: Computers/Internet; Science
KEYWORDS: computer; factor; factoring; math; numbers; pnenp; proof; pvsnp; science; stringtheory
Navigation: use the links below to view more comments.
first 1-5051-68 next last

1 posted on 08/14/2010 7:57:40 PM PDT by LibWhacker
[ Post Reply | Private Reply | View Replies]

To: LibWhacker

What does this mean in english?


2 posted on 08/14/2010 8:02:51 PM PDT by Mmogamer (I refudiate the lamestream media, leftists and their prevaricutions.)
[ Post Reply | Private Reply | To 1 | View Replies]

To: Mmogamer

In plain english, it means there are weird but smart people who worry about things so I don’t have to...


3 posted on 08/14/2010 8:04:43 PM PDT by Mr Rogers (When the ass brays, don't reply...)
[ Post Reply | Private Reply | To 2 | View Replies]

To: Mmogamer

P is not equal to not-P


4 posted on 08/14/2010 8:05:38 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 2 | View Replies]

To: LibWhacker

Yeah, well, I exploded the proof the first day it came out. Guy forgot to carry the 5.

/obvious bunkum


5 posted on 08/14/2010 8:10:27 PM PDT by Titus Quinctius Cincinnatus (The success of Darwinism was accompanied by a decline in scientific integrity. - Dr. Wm R. Thompson)
[ Post Reply | Private Reply | To 1 | View Replies]

To: Mmogamer
Wikipedia has a pretty interesting article about it. I have no special knowledge about the subject. Never understood it. Never studied it.
6 posted on 08/14/2010 8:10:52 PM PDT by LibWhacker (America awake!)
[ Post Reply | Private Reply | To 2 | View Replies]

To: Mmogamer

This mean theoretical mathematicians have nothing better to do. There is no practical application for any of this, except to build into other proofs that may have some theoretical application. Its the same as the Busy Beaver and Ackerman sequences - sort of. I’m not an egg head, but know some of this stuff. Just pretend you never heard of this story, and the world will continue to move as it always has.


7 posted on 08/14/2010 8:11:52 PM PDT by lefty-lie-spy (Stay metal. For the Horde \m/("_")\m/ - via iPhone from Tokyo.)
[ Post Reply | Private Reply | To 2 | View Replies]

To: LibWhacker
100 pages? Wouldn't 0≠1 do? Where's my million?
8 posted on 08/14/2010 8:25:39 PM PDT by skr (May God confound the enemy)
[ Post Reply | Private Reply | To 1 | View Replies]

To: lefty-lie-spy

HELLO! Previously useless theoretical mathematics is always getting dusted off and being applied to new applications. University mathematics degrees are frequently titled and earned in ‘theoretical and applied mathematics’— b.s. m.s. phd.


9 posted on 08/14/2010 8:37:52 PM PDT by Sporaticus
[ Post Reply | Private Reply | To 7 | View Replies]

Comment #10 Removed by Moderator

To: patton
P is not equal to not-P

NP is nondeterministic polynomial time, not "not P."

11 posted on 08/14/2010 8:39:54 PM PDT by krb (Obama is a miserable failure.)
[ Post Reply | Private Reply | To 4 | View Replies]

To: LibWhacker

12 posted on 08/14/2010 8:40:18 PM PDT by JRios1968 (The real first rule of Fight Club: don't invite Chuck Norris...EVER)
[ Post Reply | Private Reply | To 1 | View Replies]

To: krb

LOL - Ok. I wondered why is wasn’t “7P”


13 posted on 08/14/2010 8:43:22 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 11 | View Replies]

To: JRios1968

Apropos, I have actually seen mathematicians come to blows over a proof.

“Ok, 15-minute break - everybody go outside!”


14 posted on 08/14/2010 8:46:03 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 12 | View Replies]

To: skr
"Wouldn't 0≠1 do?" The proof is about SETS of numbers, e.g. The set of Odd numbers ≠ The set of Even numbers For this to be true, there cannot be any overlap between the 2 sets, which we know is true in the case of odd and even numbers simply because of how they are defined. But in the case at hand, if there were even one known counterexample where P=NP, no proof would be needed. But since no known counterexamples exist, the challenge is to prove rigorously that there cannot be any such examples. That may well require 100 pages. I trust that if any Freeper sent you $1 million on the basis of your "proof", you will return it...
15 posted on 08/14/2010 8:46:37 PM PDT by DrC
[ Post Reply | Private Reply | To 8 | View Replies]

To: skr

Let A=B=1
Then, it follows that AA=AB
Hence, AA-BB=AB-BB
Thus, (A+B)(A-B)=B(A-B)
Therefore, it should be obvious to the casual observer, that A+B=B
And so A=0

QED, 1=0


16 posted on 08/14/2010 8:51:41 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 8 | View Replies]

To: LibWhacker
*ahem* I suggest they look really carefully at page 37.

That's all I'm sayin'.

17 posted on 08/14/2010 8:52:54 PM PDT by ClearCase_guy
[ Post Reply | Private Reply | To 1 | View Replies]

To: DrC

Is 0 odd or even?


18 posted on 08/14/2010 8:53:38 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 15 | View Replies]

To: Mmogamer; lefty-lie-spy

I’ve been snooping around looking for applications. It’s considered very important for AI, quantum computing, cryptography, airline scheduling, etc. So it’s way up there in importance and not just some abstract intellectual exercise for pure mathematicians.


19 posted on 08/14/2010 9:03:01 PM PDT by LibWhacker (America awake!)
[ Post Reply | Private Reply | To 2 | View Replies]

To: patton

Yes!... :-)

Seriously, it’s even...


20 posted on 08/14/2010 9:05:53 PM PDT by Freeport (The proper application of high explosives will remove all obstacles.)
[ Post Reply | Private Reply | To 18 | View Replies]

To: Freeport

No, by definition, it is not. Even Numbers are defined as numbers >1, and divisible by 2.

By extension, that now includes the numeri ficti - {-2,-4,-6...}

0 is excluded.


21 posted on 08/14/2010 9:09:13 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 20 | View Replies]

To: Sporaticus

Isn’t that what I just said...?!


22 posted on 08/14/2010 9:18:05 PM PDT by lefty-lie-spy (Stay metal. For the Horde \m/("_")\m/ - via iPhone from Tokyo.)
[ Post Reply | Private Reply | To 9 | View Replies]

To: patton

That’s a different equation to my literal mind. If P is 0 and NP is any other number than 0, then P can only equal NP if other equations are applied, which is more than the stated equation asks for. Then again, I’m not even a math amateur.

If you’re right, where’s your million plus a bonus for your less than a page answer?!


23 posted on 08/14/2010 9:19:27 PM PDT by skr (May God confound the enemy)
[ Post Reply | Private Reply | To 16 | View Replies]

To: patton

Dr. Math says 0 is even.
http://mathforum.org/library/drmath/view/57132.html

Who am I to argue with this?


24 posted on 08/14/2010 9:21:29 PM PDT by DrC
[ Post Reply | Private Reply | To 18 | View Replies]

To: patton

I forgot to thank you for the brain exercise!


25 posted on 08/14/2010 9:23:34 PM PDT by skr (May God confound the enemy)
[ Post Reply | Private Reply | To 16 | View Replies]

To: patton

Now, now... Stop that! You’ll confuse people. Zero is even. Negative numbers aren’t fictional. And you can’t divide by zero. lol


26 posted on 08/14/2010 9:23:42 PM PDT by LibWhacker (America awake!)
[ Post Reply | Private Reply | To 21 | View Replies]

To: skr

I am not right - clearly, 0<>1.

The proof is a trick. Meant to be a joke.


27 posted on 08/14/2010 9:24:35 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 23 | View Replies]

To: LibWhacker

LOL - what, nobody gets my humor, today...

Did you know that pie are not square? But 2 pie are.


28 posted on 08/14/2010 9:26:32 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 26 | View Replies]

To: patton

“Thus, (A+B)(A-B)=B(A-B)
Therefore, it should be obvious to the casual observer, that A+B=B”

You’d be right if division by zero were permitted. Unfortunately it’s not, QED, you’re wrong.


29 posted on 08/14/2010 9:27:14 PM PDT by DrC
[ Post Reply | Private Reply | To 16 | View Replies]

To: LibWhacker
"prove P ≠ NP – otherwise known as the "P vs NP" problem – seems to be running into trouble. " They just need to change P to lower case; and it will balance.
30 posted on 08/14/2010 9:27:14 PM PDT by HereInTheHeartland (I aspire to a large carbon footprint; just like Al Gore's)
[ Post Reply | Private Reply | To 1 | View Replies]

To: patton

LOL! I never was all that good at math!


31 posted on 08/14/2010 9:27:27 PM PDT by skr (May God confound the enemy)
[ Post Reply | Private Reply | To 27 | View Replies]

To: DrC

Dunno who you are, but the good Dr’s are wrong. See the Peano Axioms, and go from there.


32 posted on 08/14/2010 9:29:30 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 24 | View Replies]

To: DrC

I meant to be wrong.

Apropos, one of my favorite HS teachers - Rocky, aka MR. Rockwell, aka the math guy - died last week.

He was a vet, a pilot, and a really good influence on my life. Looked at me funny when I enlisted during the Iranian Hostage Crises, but was really supportive.

I kept meaning to go show him my degree in Math - it would have made him laugh.

But I never did.

Sigh.


33 posted on 08/14/2010 9:35:44 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 29 | View Replies]

To: patton

Dunno who you are, but Dr. Penner isn’t buying your story:

^ Lemma B.2.2, The integer 0 is even and is not odd, in Penner, Robert C. (1999). Discrete Mathematics: Proof Techniques and Mathematical Structures. World Scientific. pp. 34. ISBN 9810240880.


34 posted on 08/14/2010 9:38:45 PM PDT by DrC
[ Post Reply | Private Reply | To 32 | View Replies]

To: patton

“I meant to be wrong.”

I assumed so. One of my favorite HS teachers taught us the fallacy underlying this “proof.” But until he did so, it had us all baffled.


35 posted on 08/14/2010 9:40:36 PM PDT by DrC
[ Post Reply | Private Reply | To 33 | View Replies]

To: DrC

Okay, now I’m worried; I understand at least part of the concept.

Nothing yet, but if someone does send me a million dollars that I didn’t earn, all refunds are subject to a 99% service fee. : )


36 posted on 08/14/2010 9:43:45 PM PDT by skr (May God confound the enemy)
[ Post Reply | Private Reply | To 15 | View Replies]

To: DrC

Well, clearly, Dr. Penner wrote his discrete maths text after I graduated. LOL.

And yes, Rocky was the one who showed my the silly 1=0 trick.

Divergence, divergence, hmmm...


37 posted on 08/14/2010 9:45:43 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 34 | View Replies]

To: DrC

Or, as Rocky used to put it, 1=2, but only for very large values of 1!


38 posted on 08/14/2010 9:53:55 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 35 | View Replies]

To: patton

“Did you know that pie are not square? But 2 pie are.”

OK... that I got. LOL


39 posted on 08/14/2010 9:54:47 PM PDT by Brucifer (Proud member of the Double Secret Reloading Underground.)
[ Post Reply | Private Reply | To 28 | View Replies]

To: Brucifer

;)

Silly wabbit, math is for twicks!


40 posted on 08/14/2010 10:04:40 PM PDT by patton (Obama has replaced "Res Publica" with "Quod licet Jovi non licet bovi.")
[ Post Reply | Private Reply | To 39 | View Replies]

To: LibWhacker

Math U Philosophy = Bi polar dude.

I had a room mate just after college that was just about to finish a MS in math at Texas Tech. He disappeared one day. The finally called and said he checked himself into a mental hospital.


41 posted on 08/14/2010 10:15:53 PM PDT by ThomasThomas (Isn't enough always enough?)
[ Post Reply | Private Reply | To 1 | View Replies]

To: Mmogamer

Next weeks lotto number will be....


42 posted on 08/15/2010 6:11:14 AM PDT by Vaduz
[ Post Reply | Private Reply | To 2 | View Replies]

To: LibWhacker; Lonesome in Massachussets; decimon; neverdem; Ernest_at_the_Beach; AdmSmith; ...
There's an important alternative to Clarke's Third Law -- any mathematical proof sufficiently complicated is indistinguishable from magic." ;')
...the latest attempt to prove P ≠ NP -- otherwise known as the "P vs NP" problem -- seems to be running into trouble... The problem concerns the speed at which a computer can accomplish a task such as factorising a number. Roughly speaking, P is the set of problems that can be computed quickly, while NP contains problems for which the answer can be checked quickly... It is generally suspected that P ≠ NP. If this is so, it would impose severe limits on what computers can accomplish.

43 posted on 08/15/2010 6:46:24 AM PDT by SunkenCiv ("Fools learn from experience. I prefer to learn from the experience of others." -- Otto von Bismarck)
[ Post Reply | Private Reply | To 1 | View Replies]

To: SunkenCiv

To P or not to P: ay, there is the rub.


44 posted on 08/15/2010 7:08:45 AM PDT by decimon
[ Post Reply | Private Reply | To 43 | View Replies]

To: LibWhacker

I don’t understand why this is so hard P requires one operation.

NP requires at least two


45 posted on 08/15/2010 7:19:58 AM PDT by downwdims (It does not take a majority to prevail... but rather an irate, tireless minority)
[ Post Reply | Private Reply | To 1 | View Replies]

To: decimon; AdmSmith; bvw; callisto; ckilmer; dandelion; ganeshpuri89; gobucks; KevinDavis; ...
LOL! That reminds me...

· String Theory Ping List ·
Silly String Ordinance
· Join · Bookmark · Topics · Google ·
· View or Post in 'blog · post a topic · subscribe ·


46 posted on 08/15/2010 7:48:04 AM PDT by SunkenCiv ("Fools learn from experience. I prefer to learn from the experience of others." -- Otto von Bismarck)
[ Post Reply | Private Reply | To 44 | View Replies]

To: LibWhacker; Mmogamer; lefty-lie-spy
If P = NP then we can not trust that bank transactions are safe or trust cryptography, but we might find efficient algorithms for solving several computational problems. I hope that P is not equal to NP.

In order to even check a proposed solution it takes time to learn the technicalities, that is why there might be a correct proof at this page http://www.win.tue.nl/~gwoegi/P-versus-NP.htm but it is more likely that all are wrong.
47 posted on 08/15/2010 9:15:42 AM PDT by AdmSmith (GCTGATATGTCTATGATTACTCAT)
[ Post Reply | Private Reply | To 19 | View Replies]

http://www.win.tue.nl/~gwoegi/P-versus-NP.htm


48 posted on 08/15/2010 9:16:38 AM PDT by AdmSmith (GCTGATATGTCTATGATTACTCAT)
[ Post Reply | Private Reply | To 47 | View Replies]

To: LibWhacker

As an engineer (not a scientist) I can’t help but feel more than a little sad every time I think of how the USA in 1984 literally threw away the pre-eminent institution of private basic research in the world....Bell Telephone Laboratories.

Had this institution and its corporate relationships and basic research been permitted to flourish as it had for decades, I have no doubt that this particular problem would have been solved years ago along with many others.

Candidly speaking I see a US government that has worked very hard and deliberative to destroy the once preeminent standing of the USA in research and manufacturing and exchange that capability so that a few crooks on Wall Street could make far too much money, and frankly I’m very ticked about it.

Today Bell Labs is just another typical corporate lab and it is owned by the French and Alcatel.

http://www.linfo.org/bell_labs.html


49 posted on 08/15/2010 9:39:45 AM PDT by apoliticalone
[ Post Reply | Private Reply | To 1 | View Replies]

To: patton

You just divided by zero.


50 posted on 08/15/2010 9:45:51 AM PDT by TheOldLady (Tagline left home again. Door hit it in the azz on the way out.)
[ Post Reply | Private Reply | To 16 | View Replies]


Navigation: use the links below to view more comments.
first 1-5051-68 next last

Disclaimer: Opinions posted on Free Republic are those of the individual posters and do not necessarily represent the opinion of Free Republic or its management. All materials posted herein are protected by copyright law and the exemption for fair use of copyrighted works.

Free Republic
Browse · Search
General/Chat
Topics · Post Article

FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson