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

Định lý PCP nêu rõ rằng mọi vấn đề quyết định trong NP đều có bằng chứng có thể kiểm tra được về mặt xác suất (hoặc tương đương, rằng có tồn tại một hệ thống chứng minh hoàn chỉnh và gần đúng cho các định lý trong NP sử …

9 lo.logic  pcp  polynomial-hierarchy 

Trong bước giảm mức độ bằng chứng Dinur của, đồ thị đầu vào được chuyển thành một đồ thị G ' bằng cách thay thế mỗi đỉnh v ∈ V ( G ) bởi một tập hợp các đỉnh, c l o u d ( v ) , sao cho …

8 cc.complexity-theory  pcp 

Tôi có một vài câu hỏi về phỏng đoán của Quantum PCP: Tuyên bố của phỏng đoán PCP lượng tử là gì? Định lý PCP lượng tử có ý nghĩa gì đối với việc mô phỏng người Hamilton? Có phải người ta tin rằng việc áp dụng bằng chứng của …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

Được biết, nếu thì . Ngoài ra, người ta biết rằng . Dường như PCP không thể cho chúng tôi biết những vấn đề tự nhiên nào không có trong . Tôi tự hỏi nếu có thể sử dụng đặc tính của PCP để tách khỏi .C o N P …

8 cc.complexity-theory  pcp  proof-complexity