Câu hỏi được gắn thẻ «interactive-proof-systems»

Tôi tò mò về việc liệu có bất kỳ vấn đề hoàn chỉnh nào trong lớp phức tạp Arthur-Merlin không. Đồ thị không đẳng cấu (GNI) dường như là ví dụ điển hình cho một vấn đề trong AM, nhưng có lẽ nó không phải là một vấn đề hoàn …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Tôi đang cố gắng để hiểu các hệ thống bằng chứng tương tác và đã thử vấn đề sau đây như là một bài tập. Chúng tôi biết rằng và , vì vậy hãy đưa ra các hệ thống bằng chứng tương tác (dễ hiểu) cho ?PH⊆ PSPA CEPH⊆PSPMộtCEPH \subseteq …

9 complexity-theory  interactive-proof-systems