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

Chúng ta nói rằng ngôn ngữ là dày đặc , nếu có tồn tại một đa thức như vậy cho tất cảNói cách khác, đối với bất kỳ chiều dài cho có chỉ tồn tại đa thức nhiều từ có độ dài mà không phải là trongJ⊆ Σ*J⊆Σ*J \subseteq \Sigma^{*}| …

16 complexity-theory  time-complexity  np-complete  satisfiability 

Tôi có ấn tượng rằng đối với mọi vấn đề hoàn thành NP, với vô số kích cỡ đầu vào , số lượng trường hợp có trên tất cả các đầu vào có thể có kích thước , (ít nhất là) theo cấp số nhân theo .nnnnnnnnn Điều này có …

15 complexity-theory  np-complete  np-intermediate 

Chúng tôi có lưới . Chúng tôi có một bộ sưu tập các hình chữ nhật trên lưới này, mỗi hình chữ nhật có thể được biểu diễn như một -by- nhị phân ma trận . Chúng tôi muốn phủ lưới với những hình chữ nhật đó.N 1 N 2 …

15 complexity-theory  np-complete  set-cover 

Chúng tôi có một DAG. Chúng tôi có một chức năng trên các nút (nói một cách lỏng lẻo, chúng tôi đánh số các nút). Chúng tôi muốn tạo một biểu đồ có hướng mới với các quy tắc sau:F:V→NF:V→NF\colon V\to \mathbb N Chỉ các nút có cùng số có …

15 algorithms  graphs  np-complete  reductions 

Rõ ràng, nếu , tất cả các ngôn ngữ trong ngoại trừ và sẽ là -complete.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Tại sao hai ngôn ngữ nói riêng? Chúng ta không thể giảm bất kỳ ngôn ngữ nào khác trong cho họ bằng cách xuất chúng khi chấp nhận hay không …

15 complexity-theory  np-complete  reductions 

Giả sử A có thể rút gọn đến B, tức là, . Do đó, máy Turing chấp nhận Một có quyền truy cập vào một oracle cho B . Hãy để cho Turing máy chấp nhận Một là M Một và nhà tiên tri cho B là O B . …

15 complexity-theory  np-complete  reductions  complexity-classes 

Có phải đã chứng minh rằng tính toán lượng tử không tốt hơn trong việc giải quyết các vấn đề hoàn chỉnh NP so với tính toán cổ điển hay nó chỉ được tin?

14 np-complete  quantum-computing 

Tôi chắc chắn ai đó đã nghĩ về điều này trước đây hoặc ngay lập tức bác bỏ nó, nhưng tại sao lý thuyết phân đôi của Schaefer cùng với định lý của Mahaney về các tập thưa thớt không ngụ ý P = NP? Đây là lý do của …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Tôi đang tự hỏi, thuật toán nổi tiếng nhất, theo thuật ngữ Big- , để giải quyết Lập trình tuyến tính Integer là gì?OOO Tôi biết rằng vấn đề là -complete, vì vậy tôi không mong đợi bất cứ điều gì đa thức. Và tôi biết có rất nhiều phương …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Nếu trên thực tế bằng , làm thế nào điều này sẽ tăng cường thuật toán của chúng tôi để các số nguyên nhân nhanh hơn. Nói cách khác, loại hiểu biết nào thực tế này sẽ cho chúng ta hiểu được yếu tố số nguyên tốt hơn?N PPP{\sf P}NPNP{\sf …

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

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ì Lập trình tuyến tính Integer là NP hoàn chỉnh, nên có sự giảm Karp từ bất kỳ vấn đề nào trong NP sang nó. Tôi nghĩ điều này ngụ ý rằng luôn có một công thức ILP có kích thước đa thức cho bất kỳ vấn đề nào trong …

14 complexity-theory  np-complete  reductions  linear-programming 

Vấn đề băng thông tối thiểu là tìm một thứ tự các nút đồ thị trên dòng số nguyên để giảm thiểu khoảng cách lớn nhất giữa hai nút liền kề. Vấn đề quyết định là NP-đầy đủ ngay cả đối với cây nhị phân. Kết quả phức tạp cho …

14 complexity-theory  np-complete  reference-request  approximation 

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 

Giả sử có một buổi hướng dẫn tại một trường đại học. Chúng tôi có một bộ câu hỏi và một bộ học sinh . Mỗi học sinh có một nghi ngờ trong một tập hợp câu hỏi nhất định, tức là đối với mỗi học sinh , hãy để …

13 algorithms  complexity-theory  np-complete  np-hard