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

Tôi quen thuộc với rất nhiều kết quả sử dụng định lý PCP (chủ yếu là các thuật toán gần đúng), nhưng tôi chưa bao giờ bắt gặp một lời giải thích rõ ràng về định lý PCP (nghĩa là ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Những giấy tờ / sách tốt để …

64 cc.complexity-theory  reference-request  pcp 

Giả sử và G 2 là hai đồ thị vô hướng trên đỉnh thiết lập { 1 , ... , n } . Các đồ thị là đẳng cấu khi và chỉ khi có một hoán vị Π mà G 1 = Π ( G 2 ) , hay chính …

53 cc.complexity-theory  graph-isomorphism  pcp 

Một ứng dụng quan trọng của định lý PCP là nó mang lại kết quả loại "độ cứng gần đúng". Trong một số trường hợp tương đối đơn giản hơn, người ta có thể chứng minh độ cứng như vậy mà không cần PCP. Tuy nhiên, có trường hợp nào …

36 cc.complexity-theory  approximation-hardness  pcp 

Định lý PCP nói rằng không có thuật toán thời gian đa thức cho MAX 3SAT để tìm một phép gán thỏa mãn các mệnh đề 7/8 của công thức 3SAT thỏa đáng trừ khi .P = N P7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Có một thuật …

20 cc.complexity-theory  pcp 

làm thế nào người ta có thể chỉ ra rằng mối quan hệ giữa "phỏng đoán trò chơi độc đáo" và "định lý PCP" là gì? làm thế nào để giải thích "phỏng đoán trò chơi độc đáo" là dạng "định lý PCP" mạnh hơn?

17 cc.complexity-theory  pcp  unique-games-conjecture 

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 

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Đị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 

Một công thức tương đương của định lý PCP là: Đối với Max 3-SAT nó là -Hard để phân biệt giữa công thức satisfiable và công thức mà nhiều nhất là -fraction của các mệnh đề satisfiable (đối với một số ).NPNPNPrrrr<1r<1r\lt 1 Có bất kỳ định lý phân đôi …

12 cc.complexity-theory  pcp  csp 

Tôi đang đọc bằng chứng từ đây và tôi vấp phải một vấn đề kỹ thuật (nhưng rất quan trọng). Tôi biết điều này khá cụ thể và bối cảnh có vấn đề, nhưng tôi không thể tự mình tìm ra. Trong trang 51 và 55, sau khi trình bày …

12 cc.complexity-theory  pcp 

Những gì tiếp theo có vẻ ngu ngốc (và điều đó có thể phản ánh sự hiểu biết kém của tôi - vì vậy xin vui lòng chịu đựng với tôi) Tôi đã có một truy vấn về định lý PCP. Chúng tôi biết rằng sau ba bước đầu tiên …

11 cc.complexity-theory  pcp 

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 giới hạn trên không triệu chứng được biết đến nhiều nhất về kích thước của bằng chứng kiểm tra xác suất là gì? Lý tưởng nhất, tôi đang tìm kiếm một cuộc khảo sát đương đại về câu hỏi rộng này, nhưng nếu không có, tôi đặc biệt quan …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Tôi đang nghiên cứu phỏng đoán trò chơi độc đáo và bản rút gọn nổi tiếng của Max-Cut of Khot et al. Từ bài báo của họ và các nơi khác trên internet, hầu hết các tác giả sử dụng (đối với tôi là gì) một sự tương đương ngầm …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

Cuốn sách của Arora và Barak có trong các ghi chú của chương về PCP Chúng tôi lưu ý rằng chiến lược chung của Dinur phần nào gợi nhớ đến việc xây dựng các đồ thị mở rộng ngoằn ngoèo và thuật toán không gian xác định của Reingold cho …

9 cc.complexity-theory  pcp