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
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.