thuộc tính đóng của IP (2pfa) và AM (2pfa)

IP (2pfa) và AM (2pfa) là các lớp ngôn ngữ được nhận biết có lỗi giới hạn bởi các phiên bản đồng xu riêng và công khai, tương ứng, của các hệ thống bằng chứng tương tác với các trình xác minh là tự động hữu hạn xác suất có đầu vào hai chiều.

Có bất kỳ thuộc tính đóng cửa của các lớp này được biết đến?

cc.complexity-theory interactive-proofs

— Cem nói
nguồn

Bạn có thể xem bài báo sau:

Dwork, C. và Stockmeyer, L. 1992. Trình xác minh trạng thái hữu hạn I: sức mạnh của sự tương tác. J. ACM 39, 4 (tháng 10 năm 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

hoặc giấy liên quan:

Dwork, C. và Stockmeyer, L. 1992. Trình xác minh trạng thái hữu hạn II: không có kiến thức. J. ACM 39, 4 (tháng 10 năm 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.14660101

— MS Dousti
nguồn

Tôi đã trải qua những bài báo đó và những bài khác của Condon, Lipton và cộng sự, nhưng không có gì về tính chất đóng của các lớp này.

— Cem Say

@Cem: Bạn có thể làm rõ về định nghĩa của "đóng cửa"? Cụ thể, theo loại hoạt động nào bạn tìm cách đóng cửa?

— MS Dousti