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

Tôi tự hỏi liệu có một thuật toán đa thức cho "2-SAT với quan hệ XOR" không. Cả 2-SAT và XOR-SAT đều thuộc P, nhưng sự kết hợp của nó là gì? Ví dụ đầu vào: Phần 2-SAT: (a or !b) and (b or c) and (b or d) Phần …

11 np-complete  satisfiability  xor  2-sat 

Dưới đây là sự đơn giản hóa của tôi về một phần của dự án nghiên cứu lớn hơn về các mạng Bayes không gian: Giả sử một biến là " -local" trong một chuỗikkkC∈3-CNFC∈3-CNFC \in 3\text{-CNF} nếu có ít hơn kkk mệnh đề giữa mệnh đề đầu tiên và …

7 np-hard  satisfiability  polynomial-time  3-sat  2-sat