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"
-
- Info
-
Plantschkuh! -
20. Januar 2011 um 18:54 -
Unerledigt
das Informatik-Forum geht in den Archivmodus, genaue Informationen kann man der entsprechenden Ankündigung entnehmen. Als Dankeschön für die Treue bekommt man von uns einen Gutscheincode (informatikforum30) womit man bei netzliving.de 30% auf das erste Jahr sparen kann. (Genaue Infos sind ebenfalls in der Ankündigung)
Vielen Dank für die Treue und das Verständnis!
-
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 -
Maximilian Rupp
27. Dezember 2024 um 00:19
