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

Các câu hỏi về các vấn đề khó nhất trong NP, tức là những vấn đề có thể được giải quyết trong thời gian đa thức bằng máy Turing không xác định.


1
Là phân biệt ma trận Hadamard _really_ NP-hard?
Ở một vài nơi khác nhau ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf và https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , để đưa ra hai) người ta khẳng định rằng việc xác định "sự tương đương" của hai ma trận Hadamard (theo nghĩa là cho phép lật dấu và hoán vị trên các …

1
Bằng chứng là TAUT đã hoàn thành coNP (hoặc một vấn đề là coNP-Complete nếu phần bổ sung của nó là NP-Complete)
Tôi cần chứng minh rằng TAUT hoàn thành coNP. Tôi đã chỉ ra rằng bằng cách giảm thành . Tuy nhiên, tôi không thể tìm ra cách chứng minh rằng mọi vấn đề trong coNP có thể được giảm xuống thành trong thời gian đa thức. Để làm điều đó, …







1
Bí quyết của việc thêm một số lượng lớn vào việc giảm bớt từ 3-phân vùng là gì?
Vấn đề: Để chứng minhNP-CompletenessNP-Completeness\textsf{NP-Completeness}về vấn đề "Đóng gói hình vuông (với chiều dài cạnh khác nhau) thành hình chữ nhật" ,3-Partition3-Partition\textsf{3-Partition} được giảm xuống, như thể hiện trong hình dưới đây. bên trong 3-Partition3-Partition\textsf{3-Partition} ví dụ, có nnn yếu tố (a1,⋯,ai,⋯,an)(a1,⋯,ai,⋯,an)(a_1, \cdots, a_i, \cdots, a_n). Tổng mục tiêuttt Là …




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


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 cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.