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

Tôi đã đọc ở nhiều nơi rằng một số vấn đề rất khó để ước tính (đó là NP-hard để ước tính chúng). Nhưng xấp xỉ không phải là vấn đề quyết định: câu trả lời là số thực chứ không phải Có hoặc Không. Ngoài ra, đối với mỗi …

36 complexity-theory  time-complexity  np-hard  approximation 

Lập trình tuyến tính (LP) nằm trong P và lập trình số nguyên (IP) là NP-hard. Nhưng vì máy tính chỉ có thể thao tác các số với độ chính xác hữu hạn, nên trên thực tế, một máy tính đang sử dụng các số nguyên cho lập trình tuyến …

35 complexity-theory  polynomial-time 

Một đồng nghiệp của tôi và tôi vừa nhấn một số ghi chú của một trong những giáo sư của chúng tôi. Các ghi chú nêu rõ rằng có những nhiệm vụ có thể giải quyết trong thời gian đa thức (thuộc lớp PF) nhưng KHÔNG thể kiểm chứng được …

34 complexity-theory  np 

Có bất kỳ vấn đề nào được biết đến trong (và không phải trong ) không hoàn thành không? Sự hiểu biết của tôi là không có vấn đề hiện được biết đến trong trường hợp này, nhưng nó đã không được loại trừ như là một khả năng. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} …

34 complexity-theory  np-complete  p-vs-np 

Có thùng và loại bóng. Các th bin có nhãn cho , nó là số kỳ vọng của bóng kiểu .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Bạn bắt đầu với những quả bóng loại . Mỗi quả bóng loại có trọng lượng và muốn đặt các quả bóng vào thùng sao cho bin …

33 complexity-theory  np-hard  integer-programming 

Tôi đang gặp khó khăn khi hiểu trực giác tại sao PSPACE thường được cho là khác với EXPTIME. Nếu PSPACE là tập hợp các vấn đề có thể giải quyết được trong đa thức không gian ở kích thước đầu vào , thì làm thế nào có thể có …

31 complexity-theory  complexity-classes  intuition 

Vì vậy, vấn đề quyết định TSP (vấn đề nhân viên bán hàng du lịch) là NP hoàn tất . Nhưng tôi không hiểu làm thế nào tôi có thể xác minh rằng một giải pháp nhất định cho TSP trên thực tế là tối ưu trong thời gian đa …

31 complexity-theory  np-complete  traveling-salesman 

Tôi đang tự hỏi liệu có một ví dụ hay cho một vấn đề NP-Hard dễ hiểu không phải là NP-Complete và không phải là không thể giải quyết được không? Ví dụ, vấn đề tạm dừng là NP-Hard, không phải NP-Complete, nhưng không thể giải quyết được. Tôi tin …

31 complexity-theory  computability  np-hard 

Bài toán 3SUM cố gắng xác định 3 số nguyên từ một tập S có kích thước n sao cho a + b + c = 0 .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Người ta phỏng đoán rằng không có giải pháp nào tốt hơn phương trình bậc hai, …

29 complexity-theory  combinatorics  complexity-classes 

Có một thuật toán đa thức dễ dàng để quyết định xem có một đường dẫn giữa hai nút trong biểu đồ có hướng hay không (chỉ cần thực hiện một biểu đồ thường xuyên đi qua với, giả sử, tìm kiếm theo chiều sâu). Tuy nhiên, có vẻ như, …

29 algorithms  complexity-theory  graph-theory 

Khi tôi đang giải thích bằng chứng Baker-Gill-Solovay rằng có tồn tại một lời sấm mà chúng ta có thể có, và một lời sấm truyền mà chúng ta có thể đưa P ≠ N P cho một người bạn, một câu hỏi được đặt ra là tại sao những …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Đặt SSS là tập hợp các số tự nhiên. Chúng tôi xem xét SSS theo thứ tự chia một phần, tức là . Để chos1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V một antichain .}}\} Nếu chúng ta xem xét bài …

28 complexity-theory  number-theory  knapsack-problems 

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Đưa ra một ví dụ về SAT, tôi muốn có thể ước tính mức độ khó để giải quyết trường hợp đó. Một cách là chạy các bộ giải hiện có, nhưng loại đó đánh bại mục đích ước tính độ khó. Một cách thứ hai có thể là tìm …

28 complexity-theory  satisfiability  heuristics 

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free