properti penutupan IP (2pfa) dan AM (2pfa)

9

IP (2pfa) dan AM (2pfa) adalah kelas bahasa yang dikenali dengan kesalahan terbatas oleh versi koin pribadi dan publik, masing-masing, dari sistem bukti interaktif dengan verifier yang probabilistic automata terbatas dengan kepala input dua arah.

Apakah ada properti penutup dari kelas-kelas ini yang diketahui?

cc.complexity-theory interactive-proofs Cem Say
sumber

Jawaban:

2

Anda dapat melihat kertas berikut:

Dwork, C. dan Stockmeyer, L. 1992. Pembatas status hingga I: kekuatan interaksi. J. ACM 39, 4 (Oktober 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

atau kertas terkait:

Dwork, C. dan Stockmeyer, L. 1992. Penguji status hingga II: nol pengetahuan. J. ACM 39, 4 (Oktober 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

MS Dousti
sumber
Saya sudah membaca makalah-makalah itu dan yang lainnya oleh Condon, Lipton et al., Tetapi tidak ada tentang sifat penutupan kelas-kelas ini.
Cem Say
1
@ Cem: Bisakah Anda mengklarifikasi definisi "penutupan"? Secara khusus, di bawah operasi seperti apa Anda mencari penutupan?
MS Dousti