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

Planar 3SAT là NP-đầy đủ. Một thể hiện 3SAT phẳng là một thể hiện 3SAT mà đồ thị được xây dựng bằng các quy tắc sau là phẳng: thêm một đỉnh cho mọi và ¯ x ixTôixTôix_ixTôi¯xTôi¯\bar{x_i} thêm một đỉnh cho mọi mệnh đềCjCjC_j thêm một cạnh cho mỗi cặp( …

14 np-complete  reductions  satisfiability  3-sat 

Vì vậy, như đã biết, vấn đề quyết định 0-1 của ILP là hoàn thành NP. Hiển thị nó trong NP rất dễ dàng và mức giảm ban đầu là từ SAT; kể từ đó, nhiều vấn đề NP-Complete khác đã được chứng minh là có các công thức ILP …

14 np-complete  reductions  satisfiability  integer-programming 

Vấn đề SAT nổi tiếng được định nghĩa ở đây để tham khảo. Vấn đề NHÂN ĐÔI-SAT được định nghĩa là DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Làm thế nào để …

13 complexity-theory  np-complete  satisfiability 

Độ phức tạp của và gì? Họ ở P à? Họ có khó NP không?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Để chính thức hóa điều này chính xác hơn, hãy để Φ ( x ) = ∧nTôiCTôi,Φ(x)= =∧TôinCTôi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, trong đó và mỗi mệnh đề có dạng hoặc .x =( x1, Lọ , xm)x= =(x1,Giáo …

13 complexity-theory  optimization  np-hard  satisfiability 

Tôi đã thấy XOR-3-SAT có thể giải quyết một cách hiệu quả như thế nào (ví dụ, xem phần "Mức độ thỏa mãn XOR" trong mục Wikipedia về vấn đề thỏa mãn Boolean ). Tôi đang tự hỏi một câu hỏi cơ bản: XOR-k-SAT có thể giải quyết một cách …

12 complexity-theory  satisfiability 

Đây có lẽ là một câu hỏi ngu ngốc, nhưng tôi không hiểu. Trong một câu hỏi khác, họ đã đưa ra định lý phân đôi của Schaefer . Đối với tôi có vẻ như nó chứng minh rằng mọi vấn đề CSP đều ở P hoặc hoàn thành NP, …

12 np-complete  satisfiability  p-vs-np 

Tôi đang cố gắng giải quyết vấn đề này và tôi thực sự đang vật lộn. Một công thức boolean đơn điệu là một công thức trong logic mệnh đề trong đó tất cả các nghĩa đen là tích cực. Ví dụ, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) …

12 complexity-theory  np-complete  satisfiability 

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 

Vấn đề quyết định Đưa ra một công thức Boolean , có chính xác một nhiệm vụ thỏa mãn không?ϕϕ\phiϕϕ\phi có thể được nhìn thấy ở , và -hard. Có bất cứ điều gì được biết nhiều hơn về sự phức tạp của nó?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Những người giải SAT hiện đại rất giỏi trong việc giải quyết nhiều ví dụ thực tế về các trường hợp SAT. Tuy nhiên, chúng tôi biết cách tạo ra các phần cứng: ví dụ: sử dụng giảm từ bao thanh toán đến SAT và đưa ra các số RSA …

11 complexity-theory  satisfiability  sat-solvers  factoring 

Là vấn đề xác định xem một biểu thức Boolean đã cho có khác biệt về mặt tính toán với việc thực sự tìm ra giải pháp cho biểu thức không? Nói cách khác, có cách nào khác để thấy rằng một biểu thức đã cho là thỏa đáng mà …

11 complexity-theory  satisfiability 

Liên quan đến luồng Chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard (và một luồng toán học có liên quan ): Làm thế nào về hướng khác, từ DNF đến CNF? Nó dễ hay khó? Trên trang 2 của bài báo này , họ dường như …

10 complexity-theory  logic  satisfiability  normal-forms 

Tôi đang cố gắng thực hiện một bài tập (lấy từ cuốn sách Thuật toán - của S. Dasgupta, CH Papadimitriou, và UV Vazirani , Chap 8, vấn đề 8.6a), và tôi đang diễn giải những gì nó nói: Cho rằng 3SAT vẫn hoàn thành NP ngay cả khi bị …

10 complexity-theory  satisfiability  3-sat 

Trên trang wikipedia ở đây, nó mô tả khá tốt thuật toán CDCL (và có vẻ như các bức ảnh được chụp từ các slide được tạo bởi Sharad Malik tại Princeton). Tuy nhiên, khi mô tả làm thế nào để quay lại tất cả, nó nói là "đến điểm …

9 machine-learning  satisfiability  sat-solvers  backtracking