PRIMES in P

Abstract

Im Jahr 2002 erschreckte die “Entdeckung”von Manindra Agrawal, Neeraj Kayal und Nitin Saxena die Welt der Theoretischen Informatik: Die Entscheidung, ob eine Zahl eine Primzahl ist oder nicht, ist in polynomieller Zeit zu finden. Bisher war man davon ausgegangen, dass ein Algorithmus die Entscheidung zwar in polynomieller Zeit treffen kann, aber u.U. sehr lange dafür braucht. Randomisierte Algorithmen sind zwar schneller, haben aber eine gewisse Fehlerquote beim Ergebnis. Der deterministische Algorithmus von Agrawal, Kayal und Saxena kann die Lösung in polynomieller Zeit finden, ohne auf bisher unbewiesene mathematische Theoreme zurückgreifen zu müssen.