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

Giảng viên của tôi đã tuyên bố Bất kỳ vấn đề hữu hạn nào cũng không thể là NP-Complete Lúc đó anh ta đang nói về Sudoku khi nói điều gì đó dọc theo câu hỏi đối với Sudoku 8x8 có một bộ giải pháp hữu hạn nhưng tôi không …

13 np-complete  np 

Giả sử P ≠ N PP≠NPP\neq NP . Chúng ta có thể nói gì về giới hạn thời gian chạy của tất cả các vấn đề hoàn thành NP? tức là các hàm chặt nhất L , U : N → NL,U:N→NL,U:\mathbb{N}\to\mathbb{N} mà chúng ta có thể đảm bảo rằng …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Bài toán 3 phân vùng hỏi liệu một bộ số nguyên có thể được phân chia thành bộ ba số nguyên sao cho mỗi bộ tổng hợp với một số nguyên cho trước . Bài toán Phân vùng cân bằng hỏi liệu số nguyên có thể được phân chia thành …

13 complexity-theory  reductions  np-complete 

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 

Tôi đã đọc về NPC và mối quan hệ của nó với PSPACE và tôi muốn biết liệu các vấn đề NPC có thể được giải quyết một cách xác định bằng thuật toán với yêu cầu không gian đa thức tồi tệ nhất hay không, nhưng có khả năng …

12 complexity-theory  np-complete  np 

Giả sử rằng chúng ta có một vấn đề và chúng tôi đã chỉ ra rằng giới hạn dưới để giải quyết là .ppppppΩ ( 2n)Ω(2n)\mathcal{\Omega}(2^n) có thể giới hạn thấp hơn ngụ ý vấn đề trong không?Ω ( 2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity  np-complete 

Đâ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 

Xét về thời gian chạy tiệm cận trong trường hợp xấu nhất, bài toán hoàn thành NP nào có thuật toán (chính xác) được biết đến nhanh nhất và thuật toán là gì? Có cái gì được biết là nhanh hơn không?Ô ( n2* 2n)Ôi(n2*2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

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 

Liệu khó khăn của một vấn đề NP-hard hoặc NP-Complete mạnh mẽ (như được xác định ở đây ) có thay đổi khi đầu vào của nó là đơn nhất thay vì được mã hóa nhị phân không? Có gì khác biệt nếu đầu vào của một vấn đề NP-hard …

12 complexity-theory  time-complexity  np-complete 

Vì vậy, tôi biết rằng thử nghiệm nếu một ngôn ngữ thông thường là một tập hợp con của ngôn ngữ thông thường S là decidable, vì chúng ta có thể chuyển đổi chúng cả hai để DFAs, tính toán R ∩ ˉ S , và sau đó kiểm tra …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

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 

Tôi tự hỏi liệu có bất kỳ vấn đề -hard nào là "đa thức" trong trường hợp trung bình không. Tôi nghĩ có hai cách để giải thích điều này?NPNPNP Nếu , có thể có một thuật toán giải quyết vấn đề -hard với thời gian chạy được khấu hao …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Là vấn đề sau NP-đầy đủ? (Tôi giả sử là có). Đầu vào: một đồ thị vô hướng trong đó bộ cạnh có thể được phân tách thành hai chu kỳ đơn giản tách rời cạnh (đây không phải là một phần của đầu vào).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Câu hỏi: Có …

11 graph-theory  np-complete  decision-problem 

Tôi biết rằng thiết lập độc lập tối đa trên các đồ thị không có hình tam giác khối là NP-hoàn chỉnh. Nó vẫn hoàn thành NP trong trường hợp chúng tôi yêu cầu bộ độc lập có kích thước chính xác ?|V|/2|V|/2|V|/2 Về cơ bản, ví dụ CÓ của …

11 complexity-theory  np-complete