Verschlusseigenschaften von IP (2pfa) und AM (2pfa)

9

IP (2pfa) und AM (2pfa) sind die Klassen von Sprachen, die von privaten und öffentlichen Münzversionen mit begrenztem Fehler erkannt werden, von interaktiven Proofsystemen mit Verifizierern, die probabilistische endliche Automaten mit einem Zweiwege-Eingabekopf sind.

Sind Verschlusseigenschaften dieser Klassen bekannt?

cc.complexity-theory interactive-proofs Cem Say
quelle

Antworten:

2

Sie können sich das folgende Papier ansehen:

Dwork, C. und Stockmeyer, L. 1992. Finite-State-Verifizierer I: die Kraft der Interaktion. J. ACM 39, 4 (Oktober 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

oder das dazugehörige Papier:

Dwork, C. und Stockmeyer, L. 1992. Finite-State-Verifizierer II: Null Wissen. J. ACM 39, 4 (Oktober 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

MS Dousti
quelle
Ich habe diese und andere Arbeiten von Condon, Lipton et al. Bereits durchgesehen, aber es gibt nichts über die Verschlusseigenschaften dieser Klassen.
Cem Say
1
@Cem: Können Sie die Definition von "Schließung" klarstellen? Unter welcher Art von Operation streben Sie insbesondere eine Schließung an?
MS Dousti