Als «interactive-proof-systems» getaggte Fragen

1
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" Problem für AM gut definiert ist. Da AM = BP.NP, …
2
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 C.E.IP=PSPACEIP=PSPACEP.H.PHPH Ein interaktives für ist trivial, …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.