Запитання з тегом «complexity-theory»

Я читав у багатьох місцях, що деякі проблеми важко визначити (їх важко наблизити ). Але наближення не є проблемою рішення: відповідь - це дійсне число, а не Так чи Ні. Також на кожен бажаний коефіцієнт наближення є багато відповідей, які є правильними, і багато неправильних, і це змінюється з бажаним …

36 complexity-theory  time-complexity  np-hard  approximation 

Лінійне програмування (LP) знаходиться в P, а цілочисельне програмування (IP) - NP-жорстке. Але оскільки комп'ютери можуть керувати числами лише з обмеженою точністю, на практиці комп'ютер використовує цілі числа для лінійного програмування. Через це не повинні LP та IP бути в одному класі складності?

35 complexity-theory  polynomial-time 

Мій колега і я щойно потрапили до записок одного з наших професорів. У примітках зазначається, що існують завдання, які можна вирішити в поліноміальний час (знаходяться в класі PF), але які НЕ перевіряються в поліноміальний час (НЕ є в класі NPF). Щоб детальніше розповісти про ці класи: Ми отримуємо деякий вхід …

34 complexity-theory  np 

Чи є відомі проблеми в NPNP\mathsf{NP} (а не в PP\mathsf{P} ), які не є NPNP\mathsf{NP} Повними? Я розумію, що в даний час немає відомих проблем, але це не виключено як можливість. Якщо є проблема, яка є NPNP\mathsf{NP} (а не PP\mathsf{P} ), але не NP-completeNP-complete\mathsf{NP\text{-}complete} , це буде наслідком відсутності ізоморфізму …

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

Існує бункерів і тип куль. й бін має ЕТИКЕТКИ для , тобто очікуване число куль типу .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Ви починаєте з кульок типу . Кожна куля типу має вагу , і хочемо покласти кульки в бункери таким чином, щоб бін мав вагу . Розподіл куль, таким, що виконується попередня …

33 complexity-theory  np-hard  integer-programming 

Мені цікаво, чи є хороший приклад для легкої для розуміння проблеми NP-Hard, яка не є NP-Complete і не може бути невирішеною? Наприклад, проблема зупинки - NP-Hard, не NP-Complete, але є невирішеною. Я вважаю, що це означає, що проблема полягає в тому, що рішення для рішення може бути перевірено, але не …

31 complexity-theory  computability  np-hard 

У мене виникають труднощі інтуїтивно зрозуміти, чому, як правило, вважають, що PSPACE відрізняється від EXPTIME. Якщо PSPACE - це набір задач, розв’язуваних у просторі полінома вхідного розміру , то як може існувати клас проблем, які зазнають більшого експоненціального часу вибуху та не використовують експоненціальний простір?f(n)f(n)f(n) Відповідь Юваля Філімуса вже надзвичайно …

31 complexity-theory  complexity-classes  intuition 

Отже, проблема рішення TSP (Проблема продавця подорожей) не є повною . Але я не розумію, як я можу переконатися, що дане рішення TSP насправді є оптимальним за багаточленного часу, враховуючи, що немає можливості знайти оптимальне рішення в поліноміальний час (це тому, що проблема не в P)? Що-небудь, що може допомогти …

31 complexity-theory  np-complete  traveling-salesman 

Існує простий поліноміальний алгоритм, щоб вирішити, чи є шлях між двома вузлами в спрямованому графіку (просто зробіть звичайний обхід графіка з, скажімо, глибиною першого пошуку). Однак здається, що дивно проблема стає набагато складніше, якщо замість тестування на існування ми хочемо порахувати кількість шляхів. Якщо ми дозволимо шляхам повторно використовувати вершини, …

29 algorithms  complexity-theory  graph-theory 

Коли я пояснював доказ Бейкер-Гілла-Солової про те, що існує оракул, з яким ми можемо мати, , і оракул, з яким ми можемо мати P ≠ N P другові, виникло питання, чому такі методи погано підходять для доведення проблеми P ≠ N P , і я не міг дати задовільної відповіді.P=NPP=NP\mathsf{P} …

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

Проблема 3SUM намагається визначити 3 цілих числа з набору S розміром n таким, що a + b + c = 0 .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Можна припустити, що немає кращого рішення, ніж квадратичний, тобто . Або кажучи інакше: o ( n log ( n ) + n …

29 complexity-theory  combinatorics  complexity-classes 

Нехай - множина натуральних чисел. Ми розглядаємо за частковим порядком подільності, тобто . ДозволяєSSSSSSs1≤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 антіцепь }}\} . Якщо ми розглянемо проблему підмножини підсумків, де є множина чисел у SSS , що можна сказати про …

28 complexity-theory  number-theory  knapsack-problems 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

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 

З огляду на екземпляр SAT, я хотів би мати можливість оцінити, наскільки важко буде вирішити екземпляр. Один із способів - запустити існуючі вирішувачі, але такий вид перемагає мету оцінки складності. Другим способом може бути пошук співвідношення пропозицій до змінних, як це робиться для фазових переходів у випадковому SAT, але я …

28 complexity-theory  satisfiability  heuristics 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

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