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

Hãy xác định bài toán SAT : Cho F 3 , công thức 3-CNF thỏa đáng và F 2 , công thức 2-CNF ( F 3 và F 2 được xác định trên cùng một biến). Là F 3 ∧ F 2 satisfiable?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Sự phức tạp của vấn …

8 cc.complexity-theory  reference-request  np-hardness  sat 

Trong bài báo "Mã hóa CNF hiệu quả để chọn 1 từ N Đối tượng", các tác giả giới thiệu kỹ thuật "biến chỉ huy" của họ để mã hóa ràng buộc, và sau đó nói về vấn đề chuồng bồ câu. Vì lỗi của tôi có thể tồn tại …

8 cc.complexity-theory  sat  proof-complexity 

Có thể tìm cách giảm đếm từ #SAT xuống #HornSAT không? Tôi chưa tìm thấy câu hỏi này được đăng ở đây, vì vậy quyết định kiểm tra xem có ai có câu trả lời nào không. Hãy để tôi giải thích những gì tôi có nghĩa là bằng cách …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Cố gắng tìm giải pháp tối ưu cho WEIGHTED-MAX-3SAT, phiên bản có trọng số của vấn đề tối ưu hóa 3-SAT, là NP-hard. Trên thực tế, ngay cả xấp xỉ phiên bản không trọng số của MAX-SAT tùy ý cũng có thể chứng minh NP-hard theo Định lý PCP. Một …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness 

Vấn đề # MONOTONE-2SAT được biết là # P-Complete. Điều này có nghĩa là #SAT có thể được giảm xuống. Câu hỏi của tôi là: đưa ra một ví dụ #SAT , đó là phép biến đổi chuyển đổi F thành ví dụ # MONOTONE-2SAT tương ứng của nó F …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat