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

Chúng tôi biết rằng nếu bạn có máy PSPACE, nó đủ mạnh để đưa ra bằng chứng tương tác về bất kỳ cấp bậc đa thức nào. (Và nếu tôi nhớ đúng, tất cả những gì bạn cần là #P.) Nhưng giả sử bạn muốn đưa ra bằng chứng tương …

33 cc.complexity-theory  interactive-proofs 

Tôi đã (và vẫn còn) thực sự quan tâm đến câu trả lời cho câu hỏi này, bởi vì đây là một biến thể thú vị về sự phức tạp của các trò chơi chưa được giải quyết, vì vậy tôi đã đưa ra một khoản tiền thưởng. Tôi nghĩ …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO Tuy nhiên, tôi chỉ thấy một vài người đưa ra lời giải thích "trực tiếp" cho lý do tại sao kết quả không tương đối hóa và câu trả lời thông thường là "tính toán". Khi kiểm tra bằng chứng về …

18 cc.complexity-theory  interactive-proofs  relativization 

Gần đây, Watrous et al đã chứng minh rằng QIP (3) = PSPACE là một kết quả đáng chú ý. Đây là một kết quả đáng ngạc nhiên với bản thân tôi để nói ít nhất và nó làm tôi suy nghĩ ... Tôi tự hỏi điều gì sẽ xảy …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

Điều nổi tiếng là tập hợp các ngôn ngữ có hệ thống bằng chứng tương tác hai trình duyệt, trong đó trình xác minh chạy trong thời gian đa thức (MIP), là NEXP. Nhưng có giới hạn nào được biết về sức mạnh của bằng chứng tương tác như vậy …

17 cc.complexity-theory  interactive-proofs 

Hệ thống bằng chứng xác suất thường được gọi là hạn chế của , trong đó Arthur chỉ có thể sử dụngPCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n) các bit ngẫu nhiên và chỉ có thể kiểm tra bit của chứng chỉ bằng chứng được gửi bởi Merlin (xem, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).g(n)g(n)g(n) Tuy nhiên, vào năm 1990 …

15 cc.complexity-theory  pcp  interactive-proofs 

Lời mở đầu. Lớp phức tạp AM là những vấn đề có thể được giải quyết bằng hệ thống chứng minh tương tác hai vòng giữa một người hoạt ngôn "Merlin" và người xác minh "Arthur". Một vấn đề - kiểm tra một số thuộc tính của đối tượng X …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Câu hỏi đầu tiên của tôi là liệu một đặc tính hệ thống bằng chứng tương tác được biết đến với tất cả các lớp phức tạp cổ điển. Tôi sẽ gọi P, NP, PSPACE, EXP, NEXP, EXPSPACE, đệ quy và đệ quy các hàm cổ điển (trong số các …

14 cc.complexity-theory  big-picture  interactive-proofs 

Beigi, Shor và Watrous có một bài viết rất hay về sức mạnh của bằng chứng tương tác lượng tử với các thông điệp ngắn. Họ xem xét ba biến thể của 'tin nhắn ngắn' và biến thể cụ thể mà tôi quan tâm là biến thể thứ hai của …

14 cc.complexity-theory  quantum-computing  interactive-proofs 

Làm thế nào tôi có thể thuyết phục Coq rằng hàm đệ quy được đưa ra dưới đây chấm dứt? Hàm này có hai đối số quy nạp. Theo trực giác, đệ quy chấm dứt vì một trong hai đối số bị phân rã. Cụ thể, hàm lấy hai cây …

14 interactive-proofs  proof-assistants  coq 

Định lý giả định song song của Raz là một kết quả quan trọng trong PCP, không gần đúng, v.v ... Định lý này được định hình như sau. Một trò chơi , trong đó S , T , A , B là các tập hữu hạn, π là phân …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Tôi đọc trong SP Jordan, D. Gosset, PJ Love " vấn đề -complete cho Hamilton stoquastic và ma trận MarkovQ MMộtQMMộtQMA " mà nó không chắc rằng .Q MMột ⊆ A MQMMột⊆MộtMQMA \subseteq AM Tôi đã ngạc nhiên về khẳng định này. Vậy mối quan hệ đúng đắn giữa và …

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Tính đầy đủ và âm thanh trong các hệ thống bằng chứng tương tác được định nghĩa không chính thức là: Đầy đủ: Nếu một tuyên bố là đúng, trung thực Prover có thể thuyết phục thành thật xác minh thực tế này WHP . Tính đúng đắn: Nếu một …

11 cc.complexity-theory  interactive-proofs 

Merlin, người có tài nguyên tính toán không giới hạn, muốn thuyết phục Arthur rằng m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k cho (N,m,k)(N,m,k)(N,m,k) với k=O(logN)k=O(log⁡N)k=O(\log N) và m=O(N).m=O(N).m=O(N). Việc tính tổng này theo cách đơn giản (lũy thừa mô đun và cộng) mất thời gian N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} với …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Gần đây tôi đã tìm hiểu về bằng chứng tương tác và tôi đã tự hỏi liệu toàn bộ điều này có gì khác hơn là sự tò mò về lý thuyết hay liệu nó có bất kỳ ứng dụng thực tế nào không. Tôi nghĩ tôi sẽ bắt đầu …

11 proofs  puzzles  interactive-proofs