That's right, jemand behauptet P == NP und hat Source für einen polynomiellen 3-SAT-Solver veröffentlicht. Wenn das stimmt, ändert sich alles...
http://science.slashdot.org/story/11/01/20…AT-Released-PNP
Slashdot: "Polynomial Time Code For 3-SAT Released, P==NP"
-
Na da wirds für Deolalikar und seinen P!=NP Beweiß aber eng
Das ganze wird schon im 2. Kommentar ziemlich außeinandergenommen, also glaub ich ned wirklich dran...Ich verweiße einfach auch mal auf den 2. Link in meiner Sig, da hat schon jemand 2009 einen polynomiellen Solver für 3-SAT geschrieben
Auch das Paper von Romanov, dass zu dem Slashdot-Post gehört, findet man dort, ist schon aus November 2010
Jetzt mitmachen!
Sie haben noch kein Benutzerkonto auf unserer Seite? Registrieren Sie sich kostenlos und nehmen Sie an unserer Community teil!