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

Lớp phức tạp bao gồm các biểu tượng có thể được quyết định bởi một máy Turing không điều kiện thời gian đa thức có nhiều nhất một con đường tính toán chấp nhận. Đó là, giải pháp, nếu có, là duy nhất theo nghĩa này. Người ta cho rằng …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Các Valiant-Vazirani lý nói rằng nếu có một thuật toán thời gian đa thức (xác định hoặc ngẫu nhiên) để phân biệt giữa một công thức SAT có đúng một nhiệm vụ đáp ứng, và một công thức không thể thoả mãn - sau đó NP = RP . Định …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

Hãy xem xét vấn đề sau: đưa ra một công thức CNF và một bài tập thỏa mãn công thức này, có một bài tập thỏa mãn nào khác cho công thức này không? Sự phức tạp của vấn đề này là gì? (Nó chắc chắn là trong NP, nhưng …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

EDIT lúc 2011/02/08: Sau khi một số tài liệu tham khảo tìm và đọc, tôi quyết định tách câu hỏi ban đầu thành hai câu hỏi riêng biệt. Đây là phần liên quan đến UP so với NP, đối với phần cú pháp và ngữ nghĩa, vui lòng xem Lợi …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Theo đề nghị của Josh Grochow, tôi chuyển đổi nhận xét của mình từ câu hỏi trước sang câu hỏi mới. Chúng ta có bằng chứng gì cho ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Ở đây là lớp ngôn ngữ có thể nhận biết được bằng các máy Turing không xác định thời …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Tôi đang tìm hiểu xem có bất kỳ kết quả chung nào về hoặc các ví dụ liên quan đến tính đầy đủ của NP trong vấn đề tìm giải pháp thứ hai cho vấn đề hoàn thành NP hay không. Chính xác hơn, tôi quan tâm đến bất kỳ …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

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 

Gần đây tôi đã đọc một bài báo rất hay của Valiant và Vazirani cho thấy rằng nếu , thì không thể có một thuật toán hiệu quả để giải SAT ngay cả theo lời hứa rằng nó không thỏa mãn hoặc có một giải pháp duy nhất . Do …

14 np-hardness  np-complete  unique-solution  promise-problems 

Vấn đề "Thứ hai " là vấn đề quyết định sự tồn tại của một giải pháp khác khác với một số giải pháp cụ thể cho trường hợp vấn đề.XXX Đối với một số vấn đề -complete, phiên bản giải pháp thứ hai là -complete (quyết định sự tồn …

11 cc.complexity-theory  unique-solution