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

Я знаю, що максимальний незалежний набір у графах без кубічних трикутників є NP-повним. Чи все-таки NP-повний, якщо ми вимагаємо, щоб незалежний набір був розміром саме ?|V|/2|V|/2|V|/2 В основному, YES екземпляр незалежної задачі задачі на кубічні трикутники без задач графіків повинен мати рівно вузлів. Екземпляр NO не має незалежного набору розміром …

11 complexity-theory  np-complete 

Чи існує алгоритм для наступної проблеми: Враховуючи машину Тюрінга яка визначає мову , чи існує машина Тьюрінга вирішує таку, що ? L M 2 L t 2 ( n ) = o ( t 1 ( n ) )M1M1M_1LLLM2M2M_2LLLт2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) …

11 complexity-theory  computability  undecidability  decision-problem 

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені 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 

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

11 complexity-theory  satisfiability  sat-solvers  factoring 

Припустимо, мені задано кінцевий набір точок у площині і попросимо провести двічі диференційовану криву через , щоб її периметр був максимально меншим. Якщо припустити, що та , я можу формалізувати цю проблему як: C ( P ) p i p i = ( x i , y i ) x …

11 complexity-theory  np-hard  optimization  computable-analysis 

У мене є домашнє завдання, яке я певний час бив головою, і буду вдячний за будь-які підказки. Йдеться про вибір відомої проблеми, NP-повнота якої доведена, а також побудова зведення від цієї проблеми до наступної проблеми, яку я називаю DGD (спрямований графік діагностики). Проблема Екземпляр DGD складається з вершин , спрямованих …

11 complexity-theory  np-hard  graph-theory 

Всі знають "Garey & Johnson", що є моїм посиланням, коли мені потрібна проблема для перетворення з метою підтвердження твердості NP. Однак останнім часом я відчуваю потребу в підтвердженні твердості APX, і мені цікаво, чи існує подібний (і більш сучасний ..?) Набір проблем, які виявились жорсткими для APX. Хтось знає щось …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Зоопарк Складності визначає, що є класом задач рішення, що вирішуються детермінованою машиною Тьюрінга в лінійний час.Л яNLINLIN Л яN⊆ РLIN⊆PLIN \subseteq P Оскільки HORN-SAT розв’язується в (як зазначено в алгоритмах лінійного часу для тестування на відповідність формулам пропозицій ріжка (1984) )O ( n )O(n)O(n) Представлені нові алгоритми вирішення питання про …

11 complexity-theory  time-complexity  reductions 

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

11 algorithms  complexity-theory  np-complete 

Чи є проблема визначення того, чи заданий булевий вираз піддається обчислювальній різниці від дійсного пошуку рішення виразу? Іншими словами, чи є інший спосіб виявити, що заданий вираз є задоволеним без явного визначення «правильних налаштувань» для булевих змінних? Або всі можливі докази зводять у поліном час до «правильних налаштувань»? Пробачте моє …

11 complexity-theory  satisfiability 

Я кілька разів читав, що не вдається ефективно відгорнути відповідь NDTM. Однак я не розумію, чому. Наприклад, з огляду на NDTM який працює в , у цьому тексті (розділ 3.3) зазначено, що незрозуміло, як інший NDTM може визначити за час, як відгорнути відповідьMMMO(n)O(n)O(n)TTTO(n100)O(n100)O(n^{100})MMM Моя проблема полягає в наступному: NDTM виводить …

11 complexity-theory  turing-machines 

З Вікіпедії : Тип обчислювальної задачі: Найбільш часто використовувані проблеми - це рішення рішення . Однак класи складності можна визначити на основі проблем функції, підрахунку проблем, проблем оптимізації, проблем із обіцянками тощо. Я також бачив, що визначення NP-Complete, NP-hard, NP, ..., визначаються лише для вирішення проблем. Цікаво, чому це так? …

11 complexity-theory  terminology 

Я навчаюсь для свого фіналу з теорії обчислень, і я борюся з належним чином відповісти, чи правдиве це твердження неправдивим. За визначенням з можна побудувати наступну заяву,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Тут я застряг, я хочу сказати, що оскільки …

11 complexity-theory  computability  reductions 

Алгоритм машини Тюрінга полінома в часі вважається ефективним, якщо його час роботи, в гіршому випадку, обмежений функцією полінома у вхідному розмірі. Мені відомо про сильну тезу Церкви-Тьюрінга: Будь-яка розумна модель обчислення може бути ефективно змодельована на машинах Тьюрінга Однак мені не відома тверда теорія аналізу обчислювальної складності алгоритмів -cculus.λλ\lambda Чи …

11 complexity-theory  efficiency  computation-models 

Як я розумію, проблема присвоєння є в P, оскільки угорський алгоритм може вирішити її в поліноміальний час - O (n 3 ). Я також розумію, що проблема присвоєння є цілою лінійною проблемою програмування , але на сторінці Вікіпедії зазначено, що це NP-Hard. Для мене це означає, що проблема присвоєння полягає …

11 complexity-theory  complexity-classes  linear-programming  integer-programming