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

Mức độ hài lòng (SAT) là vấn đề xác định liệu có một phép gán biến nào đáp ứng công thức Boolean nhất định hay không.

1
NP-XOR-SAT có trọng số không?
Được nnn biến boolean x1,…,xnx1,…,xnx_1,\ldots,x_n mỗi trong số đó được chỉ định một chi phí tích cực c1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0} và một hàm boolean fff trên các biến được đưa ra trong mẫu f(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}} (⊕⊕\oplus biểu thị XOR) với k∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}, số nguyên 1≤li≤n1≤li≤n1\leq l_i\leq n và 1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq n cho tất cả …
2
3-SAT trong đó các biến xảy ra nhiều lần như một nghĩa đen tích cực và như một nghĩa đen tiêu cực
Đặt là công thức 3-CNF trên các biến . Mỗi biến , , xảy ra nhiều lần như một nghĩa đen và một nghĩa đen trong .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Là NP-đầy đủ để quyết định sự thỏa mãn của một công thức như vậy? Giả sử nó là, tôi sẽ …
2
NAE-HORN-SAT ở P hay NP-hard?
Tôi muốn biết sự phức tạp của vấn đề NAE-HORN-SAT (không phải tất cả đều bằng nhau). Chúng tôi biết rằng HORNSAT là , nhưng mặt khác, NAE-SAT là . Tôi muốn biết những gì chúng ta có thể nói về vấn đề NAE-HORN-SAT. Hãy để tôi xác định vấn …
2
Là SAT trong P nếu có nhiều mệnh đề theo số mũ?
Tôi xác định một CNF dài để chứa ít nhất2n22n22^\frac{n}{2} mệnh đề, ở đâu nnnlà số lượng biến của nó. Đặt là một công thức CNF dài thỏa đáng .Long-SAT={ϕ:ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Tôi muốn biết tại sao . Đầu tiên tôi nghĩ đó là \ text {NPC} vì tôi có thể …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.