Hier ein angeblicher Beweis dafür, dass P != NP:
http://www.scribd.com/doc/35539144/pnp12pt

Lösung des P-NP-Problems?
-
- Info
-
Adok -
9. August 2010 um 11:02 -
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!
-
-
Das ist nicht das erste Paper zu dem Thema: http://www.win.tue.nl/~gwoegi/P-versus-NP.htm
Und irgendwie sind sich die nicht so ganz einig.
-
andere experten halten die arbeit für stichhaltig => http://www.heise.de/newsticker/mel…en-1052857.html
muss ich algodat 1 jetzt nochmal machen? -
muss ich algodat 1 jetzt nochmal machen?
Nö, was ändert sich denn durch die Gewissheit, dass NP != P gilt?
Was weitreichendere Folgen hätte, wäre die Gleichheit der beiden Komplexitätsklassen. Dann wüsste man, dass man alle Probleme in NP (und höheren Komplexitätsklassen) in deterministisch polynomieller Zeit lösbar sind, wozu man bisher bekanntlich nicht in der Lage ist.
-
nimm halt nicht alles so ernst...es sind ferien, ich bin müde, muss arbeiten und langweilig ist mir obendrauf...
-
nimm halt nicht alles so ernst...es sind ferien, ich bin müde, muss arbeiten und langweilig ist mir obendrauf...
ja dann stell halt ned so beknackte fragen .. -
Bei der gründlichen Überprüfung des Beweises wurden einige Fehler gefunden:
http://www.technologyreview.com/blog/post.aspx?bid=349&bpid=25616 -
Bei der gründlichen Überprüfung des Beweises wurden einige Fehler gefunden:
http://www.technologyreview.com/blog/post.aspx?bid=349&bpid=25616
Beste Diskussion zu diesem Thema findet man mMn auf der Seite von Richard Lipton von der Georgia Tech Uni http://rjlipton.wordpress.com/ (auch wenn ich nicht wirklich was davon verstehe)
Welche LVAs in diese Richtung gibts eigentlich im WS, außer FMINF? Komplexitätstheorie/analyse, Theorie der Berechenbarkeit, SAT-Solving findet sich ja alles nur im SS (bisschen seltsame Einteilung mMn)
-
Maximilian Rupp
27. Dezember 2024 um 00:19