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

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Có bất kỳ thuật toán đã biết nào đưa ra chính xác "có" cho một vấn đề hoàn thành NP mà không tạo ra chứng chỉ không? Tôi hiểu rằng thật đơn giản để biến một nhà tiên tri thỏa mãn thành một công cụ tìm sự phân công thỏa …

11 algorithms  complexity-theory  np-complete 

Xem xét các báo cáo vấn đề sau: Cho một số ban đầu, bạn và bạn của bạn lần lượt trừ đi một hình vuông hoàn hảo từ nó. Người đầu tiên có được chiến thắng bằng không. Ví dụ: Trạng thái ban đầu: 37 Người chơi1 trừ 16. Bang: …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Có một trò chơi giải đố cổ điển rất giống với trò chơi ô chữ, ngoại trừ một danh sách các từ được đưa ra và sau đó một bảng vuông được tạo thành từ các ô vuông đơn vị được đưa ra, với một số ô vuông được bôi …

10 complexity-theory  np-complete  board-games 

Chúng tôi đã có một số câu hỏi về mối quan hệ của việc giảm Cook và Karp . Rõ ràng là giảm Cook (giảm Turing theo thời gian đa thức) không định nghĩa cùng một khái niệm về tính đầy đủ của NP như giảm Karp (giảm nhiều lần …

10 complexity-theory  reference-request  np-complete  reductions 

Cho số sao cho có sự phân công các số là hoán vị của sao choMột 1 ≤ A 2 ≤ . . . ≤ Một k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete  decision-problem 

Sỏi là một trò chơi solitaire được chơi trên đồ thị vô hướng , trong đó mỗi đỉnh có 0 hoặc nhiều viên sỏi. Một động tác cuội đơn bao gồm loại bỏ hai viên sỏi từ một đỉnh v và thêm một viên sỏi vào một hàng xóm tùy …

10 algorithms  graph-theory  np-complete 

Hãy xem xét vấn đề sau có thể hiện đầu vào là đồ thị đơn giản và số nguyên tự nhiên k .GGGkkk Có tập hợp sao cho G - S là lưỡng cực và | S | ≤ k ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Tôi muốn chỉ …

10 complexity-theory  np-complete  reductions 

Tôi tham gia khóa học về độ phức tạp tính toán. Vấn đề của tôi là tôi không hiểu phương pháp tương đối hóa . Tôi đã cố gắng tìm một chút trực giác trong nhiều sách giáo khoa, thật không may, cho đến nay không có thành công. Tôi …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Công thức thay thế Tôi đã đưa ra một công thức thay thế cho vấn đề dưới đây. Công thức thay thế thực sự là một trường hợp đặc biệt của vấn đề dưới đây và sử dụng các biểu đồ lưỡng cực để mô tả vấn đề. Tuy nhiên, …

10 complexity-theory  graphs  graph-theory  np-complete 

Tôi có một vấn đề trong tâm trí của tôi, tôi nghĩ đó là một vấn đề NPC nhưng tôi không biết làm thế nào để chứng minh nó. Đây là vấn đề: Có k đảo trong một hồ rất lớn, và có n pontoons hình quạt. Những con pontoons …

10 complexity-theory  np-complete  np-hard 

Cuốn sách của tôi nói điều này Nếu một vấn đề quyết định B nằm trong P và A giảm xuống B, thì vấn đề quyết định A nằm ở P. Một vấn đề quyết định B là NP hoàn thành nếu B ở NP và với mọi vấn đề …

10 complexity-theory  np-complete  decision-problem 

Trên thực tế tôi thấy rằng tập hợp các Ngôn ngữ nhạy cảm theo ngữ cảnh, ( ngôn ngữ được chấp nhận) không được thảo luận rộng rãi như (ngôn ngữ thông thường) hoặc (ngôn ngữ không ngữ cảnh). Và cũng là vấn đề mở không nổi tiếng như vấn …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Cho một chương trình số nguyên (nhị phân) có dạng:0 , 10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Lưu ý rằng kích thước của không …

9 complexity-theory  np-complete  approximation  integer-programming 

Hãy để chúng tôi nói rằng chúng tôi biết rằng vấn đề A là khó khăn, sau đó chúng tôi giảm A thành vấn đề B chưa biết để chứng minh B cũng khó khăn. Một ví dụ: chúng ta biết 3 màu là khó. Sau đó, chúng tôi giảm …

9 complexity-theory  np-complete  reductions