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. Folgen: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. 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. Physiker Aaronson hat einen Anreiz gesetzt, um Blums Beweis genau zu untersuchen.

Source: Frankfurter Allgemeine Zeitung August 16, 2017 14:11 UTC