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 previous 1-2021-4041-6061-68 next last
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]


Navigation: use the links below to view more comments.
first previous 1-2021-4041-6061-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