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

Để tiếp tục bài đăng này , chúng ta hãy xác định vấn đề Đơn điệu -SAT:( + ,2-)(+,2-)(+, 2^-) Cho một công thức CNF đơn điệu , trong đó mỗi biến xuất hiện chính xác một lần (dưới dạng chữ dương) và công thức 2-CNF đơn điệu được xác …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

Tôi đã thấy một số vấn đề là NP-hard nhưng có thể giải quyết đa thức theo chiều cố định. Tôi nghĩ, ví dụ, Knapsack là thời gian đa thức có thể giải được nếu số lượng vật phẩm là cố định và Lập trình tuyến tính Integer với số …

7 np-complete  optimization  decision-problem  linear-programming  parameterized-complexity 

Thuật toán giả đa thức cho chúng ta biết gì về vấn đề mà nó giải quyết? Tôi không thấy thời gian chạy cải thiện như thế nào nếu thuật toán theo cấp số nhân về độ dài đầu vào và đa thức trong giá trị đầu vào; vậy làm …

7 algorithms  complexity-theory  np-complete  pseudo-polynomial 

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 …

7 complexity-theory  np-complete  satisfiability 

Nói rằng chúng tôi đã cho nnn bộ và quy mô của liên minh của họ là mmm. Chúng tôi muốn xây dựng một bộ nhỏ chứa ít nhấtkkk sau đó nnn bộ đã cho. Hãy cho rằng mmm ít hơn một số đa thức trong nnn, I E: m<P(n)m<P(n)m …

7 complexity-theory  np-complete  np-hard  polynomial-time 

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ể …

7 complexity-theory  np-complete  reductions  satisfiability  polynomial-time