Reacties op: Bewijs voor P != NP ???

Door: Erik

Erik — Thu, 12 Aug 2010 17:27:56 +0000

Dat wil dan zeggen dat het bewijs niet klopt? Of dat wat het artikel te vertellen had gewoon geen bewijs is van P!=NP?

Door: Ionica

Ionica — Thu, 12 Aug 2010 07:58:33 +0000

Na een paar hectische dagen vol uitgebreide discussies op internet vat Terence Tao de situatie alsvolgt samen (in een reactie bij Dick Lipton).

I think there are several levels to the basic question “Is the proof correct?”:

1. Does Deolalikar’s proof, after only minor changes, give a proof that P != NP?

2. Does Deolalikar’s proof, after major changes, give a proof that P != NP?

3. Does the general proof strategy of Deolalikar (exploiting independence properties in random k-SAT or similar structures) have any hope at all of establishing non-trivial complexity separation results?

After all the collective efforts seen here and elsewhere, it now appears (though it is perhaps still not absolutely definitive) that the answer to #1 is “No” (as seen for instance in the issues documented in the wiki), and the best answer to #2 we currently have is “Probably not, unless substantial new ideas are added”. But I think the question #3 is still not completely resolved, and still worth pursuing (though not at the hectic internet speed of the last few days).

Door: Michel

Michel — Wed, 11 Aug 2010 21:11:28 +0000

Loy: Nee. Het blijft makkelijk te bewijzen dat de oplossing klopt. Alle NP problemen zijn gedefinieerd door de eigenschap dat het verifiëren van een oplossing in P-tijd kan. Het vinden van een oplossing blijft de moeilijkheid, niet het verifiëren.

Door: Geertje

Geertje — Wed, 11 Aug 2010 20:37:10 +0000

Hier nog een reactie, al was het maar om Frans te laten merken dat er toch echt wel meer mensen zijn die dit nieuws geweldig vinden. Inderdaad, spannend!

Door: Frans

Frans — Wed, 11 Aug 2010 12:00:22 +0000

Je kan aan het aantal reacties zien dat er bij deze post NIETS te halen valt (zoals een gratis boek).

Ach het is maar het P=NP probleem. Een van de fundamentele vragen in de wiskunde, informatica, biologie en natuurkunde.

Op IAS is een video (voor beginner) van Avi Wigderson
http://video.ias.edu/P-vs-NP

Zo!

Ik ga vlug naar de andere post zodat ik ook kans kan maken op een gratis boek.

Door: Loy

Loy — Wed, 11 Aug 2010 10:24:02 +0000

Dus, kort samengevat: van een oplossing van een moeilijk probleem (Zie kennislink), dus bijv. een route in het handelsreizigersprobleem, is het dus niet makkelijk te bewijzen dat die oplossing klopt?

Door: Taco

Taco — Tue, 10 Aug 2010 00:22:58 +0000

Spannend!!

Door: Arjan

Arjan — Mon, 09 Aug 2010 12:00:53 +0000

Spannend! Ik hou deze site in de gaten voor nieuws...