IP (2pfa) 및 AM (2pfa)의 폐쇄 속성

IP (2pfa) 및 AM (2pfa)는 양방향 입력 헤드가있는 확률 적 유한 오토마타 인 검증기를 갖춘 대화 형 증명 시스템의 프라이빗 및 퍼블릭 코인 버전에서 각각 경계 오류로 인식되는 언어 클래스입니다.

이 클래스의 폐쇄 속성이 알려져 있습니까?

cc.complexity-theory interactive-proofs

— Cem Say
소스

다음 논문을 살펴볼 수 있습니다.

Dwork, C. and Stockmeyer, L. 1992. 유한 상태 검증 자 I : 상호 작용의 힘. J. ACM 39, 4 (1992 년 10 월), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

또는 관련 논문 :

Dwork, C. and Stockmeyer, L. 1992. 유한 상태 검증기 II : 제로 지식. J. ACM 39, 4 (1992 년 10 월), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

— MS 두티
소스

나는 Condon, Lipton 등의 논문과 다른 논문을 이미 살펴 보았지만 이러한 클래스의 폐쇄 속성에 대해서는 아무것도 없습니다.

— Cem Say

@Cem : "클로저"의 정의를 명확히 할 수 있습니까? 특히 어떤 종류의 작업에서 폐쇄를 추구합니까?

— MS Dousti