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

Trong hầu hết các hệ thống chứng minh xác suất (ví dụ định lý PCP), xác suất lỗi thường được xác định ở phía bên dương tính, nghĩa là một định nghĩa điển hình có thể giống như: nếu thì trình xác minh luôn chấp nhận, nhưng trong trường hợp …

10 cc.complexity-theory  pcp  interactive-proofs 

Có cách nào mà một người hoạt ngôn có thể thuyết phục một người xác minh rằng một số biểu hiện HORN-SAT là thỏa đáng không? Tất nhiên điều này có vẻ ngớ ngẩn, vì có các thuật toán thời gian tuyến tính cho HORN-SAT. Mặt khác, HORN-SAT là P-Complete, …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Xác định mô hình tính toán MPostBQP giống hệt với PostBQP ngoại trừ chúng tôi cho phép nhiều phép đo qubit trước khi chọn sau và phép đo cuối cùng. Chúng tôi có thể đưa ra bất kỳ bằng chứng nào cho thấy MPostBQP mạnh hơn PostBQP không? Xác định …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

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ó …

9 cc.complexity-theory  interactive-proofs