Meine erste Frage ist, ob für alle klassischen Komplexitätsklassen eine interaktive Proofsystemcharakterisierung bekannt ist. Ich würde unter anderem P, NP, PSPACE, EXP, NEXP, EXPSPACE, rekursive und rekursiv aufzählbare Funktionen als klassisch bezeichnen. Speziell, ist eine interaktive Beweissystemcharakterisierung für rekursive und rekursiv aufzählbare Funktionen bekannt?
Ich weiß nur, dass IP = PSPACE und MIP = NEXPTIME. Unter "wissen" verstehe ich die Definitionen von Objekten auf beiden Seiten der Gleichheit und verstehe möglicherweise die Gleichheit.
Meine zweite Frage ist, ob es eine grafische Zusammenfassung der verschiedenen Arten interaktiver Beweissysteme und der von ihnen charakterisierten Komplexitätsklassen gibt.
Insbesondere möchte ich auf eine Abbildung verweisen, die Immermans Bild der Beschreibung von Komplexitätscharakterisierungen ähnelt .