http://www.faz.net/-gqe-90sxa

Norbert Blum : Hat ein Deutscher das Verschlüsselungs-Superproblem gelöst?

Hinter der Verschlüsselung von Daten steckt ein anspruchsvolles mathematisches Problem. Bild: dpa

Es gibt sieben sogenannte Millenium-Probleme, dahinter stecken anspruchsvollste mathematische Rätsel. Nun glaubt ein deutscher Informatiker, ein besonders brisantes gelöst zu haben.

          Es ist ein gewaltiges Problem, gelegentlich gilt es sogar als bedeutendstes Rätsel der gegenwärtigen Informatik – und ein Deutscher hat es nun womöglich gelöst. Die sogenannte P-NP-Vermutung gehört zu jenen insgesamt sieben Millenium-Problemen, auf deren Lösung  das amerikanische Clay Mathematics Institute schon vor 17 Jahren eine Millionenprämie ausgelobt hat. Seither gab es mehr als 100 Beweisversuche, sie alle waren schlussendlich gescheiterten .

          Alexander     Armbruster

          Redakteur in der Wirtschaft.

          Nun hat der an der Universität Bonn lehrende Informatiker Norbert Blum einen Beweis vorgelegt und veröffentlicht, der das Rätsel endgültig lösen soll. Er ist 38 Seiten lang, voll mit anspruchsvoller Mathematik, und trägt den schlichten Titel „A Solution of the P versus NP Problem“ (hier geht es zum Beitrag).

          Wie schnell können Computer ein Problem lösen?

          Seine Veröffentlichung hat schnell die Runde gemacht. Der in Stanford lehrende Professor für Künstliche Intelligenz und KI-Unternehmer Reza Zadeh fragte etwa über den Kurznachrichtendienst Twitter: „Hat irgendjemand bis jetzt einen Fehler in dem P !=NP-Beweis gefunden, den Norbert Blum beansprucht? Norberts vorherige Arbeit ist großartig gewesen.“

          Hinter dem Rätsel steckt, vereinfacht zusammengefasst, die Frage, wie schnell oder effizient Computer ein Problem eines bestimmten Schwierigkeitsgrades (Komplexität) lösen können. Informatiker unterscheiden dabei sogenannte P-Probleme (P steht dabei für den Ausdruck polynomiell) und NP-Probleme, die einfach gesagt schwieriger bis unlösbar sind – und die ein Computer nicht effizient lösen kann. Dabei steht die Spekulation im Raum, dass vielleicht beides letztendlich ineinander übergeht: NP-Probleme schlussendlich also doch in eine Reihe von P-Problemen aufgliedert werden können - und damit effizient lösbar sind.

          Die Frage ist gegenwärtig hochbrisant. Mit ihr steht und fällt im Grunde die Hoffnung auf moderne Verschlüsselung (Kryptographie). Auch derzeit verwendete Verschlüsselungscodes gelten teils schon als NP-Problem, also als nicht effizient lösbar. Wären sie P-Probleme, würde das wohl grundsätzlich bedeuten, dass es nur eine Frage der Zeit ist, bis Computer in der Lage sind, sie alle effizient zu knacken. So schätzt das beispielsweise der amerikanische Physiker Scott Aaronsen ein.

          Blum kommt in seiner Beweisführung nun zu einem Ergebnis, das viele Informatiker erleichtern dürfte – dass P nämlich nicht gleich NP ist, also nicht die grundsätzliche Aushebelung wichtiger Verschlüsselungsverfahren bevorsteht. Dieses Ergebnis hatten Fachleute bislang tendenziell vermutet, alleine der Beweis ist ihnen nicht gelungen.

          Ob das nun der Fall ist, wird sich zeigen. Denn schon vor Blum haben viele Experten so einen Anlauf unternommen. Physiker Aaronson hat einen Anreiz gesetzt, um Blums Beweis genau zu untersuchen. Er hat in seinem Blog angekündigt, 200.000 Dollar darauf zu wetten, dass auch Blums Beweis einen Fehler enthält. Mal sehen.

          Weitere Themen

          O’Sullivan zieht den Kopf aus der Schlinge

          Snooker : O’Sullivan zieht den Kopf aus der Schlinge

          Die Snooker-Weltmeisterschaft in Sheffield hätte beinahe schon die beiden Top-Spieler verloren. Nach Titelverteidiger Mark Selby stand auch Ronnie O’Sullivan vor dem Aus. Der exzentrische Superstar drehte seine Partie aber noch zu seinen Gunsten.

          Neueste Raumfahrttechnologien Video-Seite öffnen

          Innovationsmesse in Berlin : Neueste Raumfahrttechnologien

          Ob Drohnen, Flugzeuge oder Militärmaschinen: Die Luft- und Raumfahrtmesse zeigt auch in diesem Jahr wieder die neuesten internationalen Technologien. 200 Fluggeräte sollen am Boden und in der Luft zu sehen sein.

          Topmeldungen

          Neuer außenpolitischer Kurs : Ostpolitik ohne Maas?

          Mit seinem härteren Kurs gegenüber Russland unterscheidet sich Außenminister Heiko Maas von seinem Vorgänger Sigmar Gabriel. In der SPD stößt er damit viele vor dem Kopf.

          Newsletter

          Immer auf dem Laufenden Sie haben Post! Abonnieren Sie unsere FAZ.NET-Newsletter und wir liefern die wichtigsten Nachrichten direkt in Ihre Mailbox. Es ist ein Fehler aufgetreten. Bitte versuchen Sie es erneut.
          Vielen Dank für Ihr Interesse an den F.A.Z.-Newslettern. Sie erhalten in wenigen Minuten eine E-Mail, um Ihre Newsletterbestellung zu bestätigen.