Erweiterte Church-Turing These Laufzeit-Notationen P-Time NP-Time NP-schwere Probleme Exp-Time FP-Time FExp-Time Polynomialzeitreduktionen Satz von Cook und Levin Satz Beweis
