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

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

Известны ли какие-либо свойства замыкания этих классов?

cc.complexity-theory interactive-proofs

— Cem Say
источник

Вы можете взглянуть на следующую статью:

Дворк, С. и Стокмейер, Л. 1992. Конечные верификаторы состояния I: сила взаимодействия. J. ACM 39, 4 (октябрь 1992 г.), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

или соответствующий документ:

Дворк, С. и Стокмейер, Л. 1992. Конечные верификаторы состояния II: нулевые знания. J. ACM 39, 4 (октябрь 1992 г.), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

— М.С. Дусти
источник

Я уже просмотрел эти и другие статьи Кондона, Липтона и др., Но там ничего не говорится о свойствах замыкания этих классов.

— Cem Say

@Cem: Можете ли вы уточнить определение "закрытие"? В частности, при какой операции вы ищете закрытие?

— MS Dousti