властивості закриття IP (2pfa) та AM (2pfa)

IP (2pfa) та AM (2pfa) - це класи мов, розпізнаваних з обмеженою помилкою приватними та публічними версіями монет, відповідно, інтерактивних систем доказів з верифікаторами, які є ймовірнісними кінцевими автоматизаторами з двостороннім вводом головою.

Чи відомі якісь властивості закриття цих класів?

cc.complexity-theory interactive-proofs

— Джем скажи
джерело

Ви можете подивитися на наступний документ:

Dwork, C. and Stockmeyer, L. 1992. Перевірячі кінцевих станів I: сила взаємодії. J. ACM 39, 4 (жовт. 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

або відповідний папір:

Dwork, C. and Stockmeyer, L. 1992. Перевірячі кінцевих станів II: нульові знання. J. ACM 39, 4 (жовт. 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

— М. С. Дусті
джерело

Я вже переглянув ці документи та інші роботи від Condon, Lipton та ін., Але про властивості закриття цих класів немає нічого.

— Cem Say

@Cem: Чи можете ви уточнити визначення поняття "закриття"? Зокрема, в рамках якої операції ви прагнете закриття?

— MS Dousti