proprietà di chiusura di IP (2pfa) e AM (2pfa)

9

IP (2pfa) e AM (2pfa) sono le classi di lingue riconosciute con errori limitati dalle versioni di monete pubbliche e private, rispettivamente, dei sistemi di prova interattivi con verificatori che sono automi finiti probabilistici con una testa di input a due vie.

Sono note proprietà di chiusura di queste classi?

cc.complexity-theory  interactive-proofs 
— Cem Say
fonte

Risposte:

2

Puoi dare un'occhiata al seguente documento:

Dwork, C. e Stockmeyer, L. 1992. Verificatori dello stato finito I: il potere dell'interazione. J. ACM 39, 4 (ottobre 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

o il documento correlato:

Dwork, C. e Stockmeyer, L. 1992. Verificatori di stato finito II: conoscenza zero. J. ACM 39, 4 (ottobre 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

— MS Dousti
fonte
Ho già esaminato quei documenti e altri di Condon, Lipton et al., Ma non c'è nulla riguardo alle proprietà di chiusura di queste classi.
— Cem Say,
1
@Cem: puoi chiarire la definizione di "chiusura"? In particolare, sotto quale tipo di operazione cerchi la chiusura?
— MS Dousti,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.