Запитання з тегом «np-complete»

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені letвирази, як-от так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

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 

Чи є якісь відомі алгоритми, які правильно виводять "так" проблемі, повній NP, без неявного генерування сертифіката? Я розумію, що просто перетворити оракул задоволеності в пошук, що задовольняє: просто перегляньте змінні, кожен раз попросивши оракул задоволеності вирішити зв'язок цієї змінної з початковою задачею. Але чи була б така обгортка корисною? Чи …

11 algorithms  complexity-theory  np-complete 

Розглянемо наступне твердження проблеми: Давши початкове число, ви з вашим другом по черзі віднімаєте з нього ідеальний квадрат. Перший, який потрапив до нуля, виграє. Наприклад: Початковий стан: 37 Гравець1 віднімає 16. Стан: 21 Гравець2 віднімає 8. Стан: 13 Гравець1 віднімає 4. Стан: 9 Гравець2 віднімає 9. Стан: 0 Player2 перемагає! …

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

Існує класична гра-головоломка, дуже схожа на кросворд, за винятком переліку слів, а потім надається квадратний дошка що складається з одиниць квадратів, при цьому деякі квадрати затьмарені так само, як перехресне слово, і на деяких квадратах є буква, яка в них уже була записана. Мета полягає в тому, щоб записати кожне …

10 complexity-theory  np-complete  board-games 

У нас було кілька питань щодо співвідношення скорочень Кука та Карпа . Зрозуміло, що скорочення Кука (скорочення Тюрінга в поліномічному часі) не визначають таке ж поняття NP-повноти, як скорочення Карпа (скорочення багаточленного часу багато-один), яке зазвичай використовується. Зокрема, скорочення Кука не можуть відокремити NP від ​​ко-NP, навіть якщо P NP. …

10 complexity-theory  reference-request  np-complete  reductions 

Дані числа такі, що є присвоєння чисел що є перестановкою такою, щоA 1 ≤ A 2 ≤ . . . ≤ до до Σ я = 1 А я = K ( 2 K + 1 ) я 1 , я 2 , . . . , Я 2 до …

10 np-complete  decision-problem 

Галька - це пасьянс, що грається на непрямому графіку , де кожна вершина має нуль або більше камінчиків. Один крок гальки складається з видалення двох камінчиків з вершини та додавання одного камінчика до довільного сусіда . (Очевидно, що вершина v повинна мати щонайменше дві камінчики перед переміщенням.) Проблема PebbleDestruction задає …

10 algorithms  graph-theory  np-complete 

Розглянемо наступну проблему, вхідним екземпляром якої є простий графік та натуральне ціле число k .ГГGккk Чи є такий набір такий, що G - S двосторонній і | S | ≤ k ?S⊆V( G )S⊆V(Г)S \subseteq V(G)G - SГ-SG - S|S| ≤k|S|≤к|S| \leq k Я хотів би показати, що ця проблема …

10 complexity-theory  np-complete  reductions 

Я беру курс на Комп'ютерна складність. Моя проблема полягає в тому, що я не розумію метод релятивізації . Я намагався знайти трохи інтуїції у багатьох підручниках, на жаль, поки що не мав успіху. Я буду вдячний, якщо хтось міг би пролити світло на цю тему, щоб я міг продовжувати самостійно. …

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

У мене є проблема в думці, я думаю, що це проблема NPC, але я не знаю, як це довести. Ось проблема: У дуже великому озері є k островів, і є п вентиляторних понтонів. Ці понтони мають однаковий розмір, але мають різні початкові напрямки і знаходяться в різних оригінальних положеннях в …

10 complexity-theory  np-complete  np-hard 

Альтернативна рецептура Я придумав альтернативну формулювання нижчезазначеної проблеми. Альтернативна формулювання насправді є окремим випадком задачі нижче та використовує двосторонні графіки для опису проблеми. Однак я вважаю, що альтернативна форма все ще є важкою для NP. Альтернативна рецептура використовує роз'єднаний набір вхідних та вихідних вузлів, що спрощує визначення проблеми. Враховуючи вихідних …

10 complexity-theory  graphs  graph-theory  np-complete 

Моя книга констатує це Якщо проблема рішення B знаходиться в P, а A зменшується до B, то задача рішення A знаходиться в P. Проблема рішення B є повною NP, якщо B знаходиться в NP, а для кожної проблеми в A в NP A зменшується до B. Проблема рішення C є …

10 complexity-theory  np-complete  decision-problem 

Насправді я виявив, що набір контекстно-чутливих мов, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} прийняті мови) не так широко обговорюються, як REGREG\mathbf{REG} (звичайні мови) або CFLCFL\mathbf{CFL}(без контекстних мов). А також відкрита проблемаD S P A C E ( O ( n ) )=?N S P A C E ( O ( n ) …

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

Дано (двійкову) цілу програму форми:0 , 10,10,1 хввулf( х )A x = bхi≥ 0хi∈ { 0 , 1 }∀ i∀ iхвf(х)вулАх=бхi≥0∀iхi∈{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 …

9 complexity-theory  np-complete  approximation  integer-programming 

Скажімо, ми знаємо, що проблема A є важкою, тоді ми зводимо A до невідомої задачі B, щоб довести B також важко. Як приклад: ми знаємо, що триколірне забарвлення важко. Потім ми зменшуємо 3-кольорові до 4-х забарвлень. Поєднуючи один із кольорів у 3-х забарвленнях, ви маєте 4-кольорові кольори, ерго-4-розфарбовування важко. Ось …

9 complexity-theory  np-complete  reductions