Das P=NP-Problem ist der heilige Gral der theoretischen Informatik, auf seine Lösung hat das Clay-Institut ein Preisgeld von 1 Million Dollar ausgesetzt. Es fragt, ob jedes von einer nichtdeterministischen Turingmaschine in polynomieller Zeit lösbare Problem auch von einer deterministischen Turingmaschine in polynomieller Zeit gelöst werden kann.
Ein gestern von Norbert Blum, Informatikprofessor an der Universität Bonn, auf dem ArXiv archivierter Preprint “A solution of the P versus NP Problem” will nun beweisen, dass ein gewisses Problem nicht in polynomieller Zeit gelöst werden kann und demzufolge ist.
Auf cstheory.stackexchange (und wahrscheinlich bald auch an anderen Orten) wird der Beweis bereits kontrovers diskutiert.
Nachtrag (2.9.): Herr Blum hat am 30.8. seinen Beweis zurückgezogen. Eine genauere Analyse soll später auf seiner Webseite erscheinen.
Kommentare (61)