Als «interactive-proof-systems» getaggte Fragen

Gibt es bekannte Probleme mit AM-complete / ist AM-complete gut definiert?

Ich bin gespannt, ob es in der Arthur-Merlin-Komplexitätsklasse vollständige Probleme gibt. Der Graph Non-Isomorphism (GNI) scheint das kanonische Beispiel für ein Problem in AM zu sein, aber es ist wahrscheinlich kein vollständiges. Ich frage mich wahrscheinlich auch, ob ein "vollständiges"...

Interaktive Beweise für coNP

Ich versuche, interaktive Beweissysteme zu verstehen und habe das folgende Problem als Übung ausprobiert. Wir wissen, dass und , also kommen Sie mit (leicht verständlichen) interaktiven Proof-Systemen für ?I P = P S P A C E P H.P.H.⊆ P.S.P.A C.E.PH⊆PSPACEPH \subseteq PSPACEichP.= P.S.P.A...