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

Tôi quan tâm đến việc khái quát hóa tự nhiên của 15 câu đố nổi tiếng , trong đó bạn phải trượt các khối cho đến khi bạn sắp xếp tất cả các số đã cho (thông thường có khoảng cách là 1 khối). Bây giờ việc khái quát hóa …

35 cc.complexity-theory  np  np-complete 

Câu hỏi về cstheory " NP bị hạn chế đối với các nhân chứng kích thước tuyến tính là gì? " Hỏi về NP lớp bị giới hạn ở các nhân chứng kích thước tuyến tính , nhưngÔ ( n )O(n)O(n) Có các vấn đề hoàn thành NP tự nhiên …

28 cc.complexity-theory  np  proof-complexity 

Chỉnh sửa : Như Ravi Boppana đã chỉ ra một cách chính xác trong câu trả lời của anh ấy và Scott Aaronson cũng đã thêm một ví dụ khác trong câu trả lời của anh ấy , câu trả lời cho câu hỏi này hóa ra là vâng vâng …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Dường như nhiều người tin rằng , một phần vì họ tin rằng bao thanh toán không thể giải quyết được nhiều thời gian. (Shiva Kintali đã liệt kê một vài vấn đề ứng cử viên khác ở đây ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Mặt khác, …

27 cc.complexity-theory  np  conditional-results 

Có một ví dụ về ngôn ngữ trong , nhưng chúng ta không thể chứng minh trực tiếp thực tế này bằng cách chứng minh rằng có tồn tại một nhân chứng đa thức cho tư cách thành viên của ngôn ngữ này?NPNPNP Thay vào đó, thực tế là ngôn …

27 reductions  np 

Peter Shor đã chỉ ra rằng hai trong số các vấn đề trung gian NP quan trọng nhất, bao thanh toán và vấn đề nhật ký rời rạc, nằm trong BQP. Ngược lại, thuật toán lượng tử được biết đến nhiều nhất cho SAT (tìm kiếm của Grover) chỉ mang …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Có bất kỳ vấn đề tự nhiên nào trong không (được biết là / được cho là) ​​trong không?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Rõ ràng cái lớn mà mọi người đều biết trong là phiên bản quyết định của bao thanh toán (n có yếu tố kích thước tối đa …

26 cc.complexity-theory  complexity-classes  np 

Có ngôn ngữ hoàn chỉnh NP (tốt nhất là tự nhiên) , sao cho với mọi giữ? Nói cách khác, chứa chính xác một nửa của tất cả các trường hợp -bit. n ≥ 1 | L ∩ { 0 , 1 } n | = 2 nL⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 …

25 cc.complexity-theory  np  np-complete 

Câu trả lời này cho các vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết? câu hỏi nói rằng nó mở nếu một vấn đề cụ thể trong NP yêu cầu thời gian Ω(n2)Ω(n2)\Omega(n^2) . Nhìn vào các ý kiến ​​dưới câu trả lời làm …

25 cc.complexity-theory  np  p-vs-np 

Điều này có liên quan đến câu hỏi Kích thước thành viên chứng kiến ​​cho mọi ngôn ngữ NP đã được biết đến chưa? Một số vấn đề (-complete) tự nhiên có các nhân chứng độ dài tuyến tính: một phép gán thỏa mãn cho S A T , một …

24 cc.complexity-theory  complexity-classes  np 

Truy cập vào một nhà tiên tri sẽ cung cấp một tốc độ siêu đa cực lớn cho mọi thứ trong N P - P (giả sử tập hợp không trống). Tuy nhiên, điều chưa rõ ràng là P sẽ được hưởng lợi bao nhiêu từ quyền truy cập tiên …

23 cc.complexity-theory  np  np-complete 

Theo Karp, Lipton Theoem nói rằng nếu , thì sụp đổ thành . Do đó, giả sử khoảng cách giữa và , không có vấn đề nào về sẽ thuộc về .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Tôi quan tâm đến câu hỏi sau đây: Giả sử rằng không sụp đổ hoặc giả …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Trong bài báo của họ (trang 503) nhận xét của Garey và Johnson: ... có thể tồn tại một vấn đề hoàn thành NP mà không phải là NP hoàn chỉnh theo nghĩa mạnh hay không thể giải quyết được bằng thuật toán thời gian giả đa thức ... Có …

19 ds.algorithms  np-hardness  np 

Vấn đề quyết định CNF-SAT có thể được mô tả như sau: Input: Một công thức boolean ở dạng chuẩn hội.ϕϕ\phi Câu hỏi: Có tồn tại một phép gán biến thỏa mãn không?ϕϕ\phi Tôi đang xem xét một số cách tiếp cận khác nhau để giải quyết CNF-SAT với máy …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Có một ví dụ rõ ràng về thuật toán có thuộc tính sao cho nếu P≠ NPP≠NPP\neq NP thì thuật toán này không chạy trong thời gian đa thức và nếu P= NPP=NPP=NP thì nó chạy trong thời gian đa thức?

18 ds.algorithms  np  p-vs-np