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

Мій викладач виступив із заявою Будь-яка кінцева проблема не може бути заповнена NP У той час він говорив про судоку, кажучи щось про те, що для судоку 8x8 існує кінцевий набір рішень, але я не можу точно пригадати, що він сказав. Я записав записку, яку я цитував, але все ще …

13 np-complete  np 

Припустимо, .P≠NPP≠NPP\neq NP Що ми можемо сказати про межі виконання всіх проблем, повних NP? тобто які є найкруткіші функції для яких ми можемо гарантувати, що оптимальний алгоритм для будь -якої задачі, повного NP, працює в часі принаймні \ omega (L (n) ) і максимум o (U (n)) на вході довжиною …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

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

13 complexity-theory  reductions  np-complete 

Загальновідома проблема SAT тут визначена для довідок. Проблема DOUBLE-SAT визначається як DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Як ми можемо довести, що він є повним NP? Буде оцінено не один спосіб …

13 complexity-theory  np-complete  satisfiability 

Я читав про NPC та його взаємозв'язку з PSPACE, і хочу знати, чи можна вирішити проблеми NPC детерміновано за допомогою алгоритму з найгіршим випадком поліноміального простору, але, можливо, приймаючи експоненціальний час (2 ^ P (n), де P - поліном). Більше того, чи можна це взагалі узагальнити до EXPTIME ? Причина, …

12 complexity-theory  np-complete  np 

Припускаючи, що ми маємо задачу ppp ми показали, що нижня межа розв’язування ppp дорівнює Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) . може нижня межа Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) передбачає задачу в NPNPNP ?

12 time-complexity  np-complete 

Це, мабуть, дурне питання, але я просто не розумію. В іншому питанні вони придумали теорему про дихотомію Шефера . Для мене це виглядає так, що це доводить, що кожна проблема CSP знаходиться або в P, або в NP-комплекті, але не знаходиться між ними. Оскільки кожна проблема NP може бути перетворена …

12 np-complete  satisfiability  p-vs-np 

З точки зору найгіршого асимптотичного періоду виконання, яка NP-повна проблема має найшвидший відомий (точний) алгоритм і який алгоритм? Чи є щось відоме, що швидше, ніж ?О ( н.)2∗ 2н)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Я намагаюся вирішити цю проблему і дуже боюся. Монотонна булева формула являє собою формулу в логіці висловлювань , де все літерали є позитивними. Наприклад, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) є монотонною булевою функцією. З іншого боку, щось подібне ( х1∨ x2∨ …

12 complexity-theory  np-complete  satisfiability 

Чи змінюється складність проблеми, що сильно впливає на NP або завершена NP (як, наприклад, визначено тут ), коли її вхід не є одинаковим, а не бінарним? Яка різниця, якщо вхід сильно важкої проблеми NP не є закодованим? Я маю на увазі, якщо взяти для прикладу слабко повну NP-проблему Knapsack, вона …

12 complexity-theory  time-complexity  np-complete 

Отже, я знаю, що тестування, якщо звичайна мова є підмножиною звичайної мови , вирішується, оскільки ми можемо конвертувати їх як у DFA, обчислити , а потім перевірити, чи ця мова порожня.S R ∩ ˉ SRRRSSSR ∩ S¯R∩S¯R \cap \bar{S} Однак, оскільки це вимагає перетворення на DFA, можливо, що DFA, і, …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Мені цікаво, чи існує поліноміальний алгоритм для "2-SAT з XOR-відношеннями". І 2-SAT, і XOR-SAT знаходяться в P, але чи є їх комбінація? Приклад введення: 2-SAT частина: (a or !b) and (b or c) and (b or d) XOR частина: (a xor b xor c xor 1) and (b xor c …

11 np-complete  satisfiability  xor  2-sat 

Мені цікаво, чи є якісь проблеми, що стосуються які є "многочленними" в середньому випадку. Я думаю, що є два способи інтерпретувати це?NПNПNP Якщо , чи може існувати алгоритм, що розв'язує задачу твердого з амортизованим (середнім випадком) часом роботи для постійної ?П≠ NПП≠NПP \neq NPNПNПNPО ( н.)к)О(нк)O(n^k)ккk Чи є якісь проблеми, …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Чи не завершена наступна проблема NP? (Я припускаю, що так). Вхід: непрямий графік, де набір ребер може бути розбитий на два прості цикли, що не перетинаються між собою (вони не є частиною вводу).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Запитання: Чи існує простий цикл у з довжиною, більшою від ?GGGkkk Очевидно, що проблема полягає …

11 graph-theory  np-complete  decision-problem 

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

11 complexity-theory  np-complete