Polyzeit-Hierarchie #3 - Logische Charakterisierung
Die Komplexitätsklassen in der Polynomialzeit-Hierarchie lassen sich sehr schön mit dem Allquantor und dem Existenzquantor beschreiben. Hier lernen wir diese Charakterisierung kennen, und beweisen, dass sie äquivalent zu der Definition via Orakel-Turingmaschinen ist.