Polyzeit-Hierarchie #4 - Vollständige Probleme
Wir sehen uns Probleme an, die vollständig sind für Klassen in der Polynomialzeit-Hierarchie. Für jedes Sigma^p_k und Pi^p_k gibt es ein vollständiges Problem, welches eine Generalisierung von SAT (und Einschränkung von QBF) mit einer entsprechend langen Quantorenalternierung ist.