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

У параметризованій складності люди використовують скорочення з фіксованим параметром (FPT), щоб довести W [t] -твердість. Теоретично зменшення FPT не є скороченням поліноміального часу, оскільки може працювати експоненціально в параметрі k. Але на практиці всі скорочення FPT, які я бачив, є скороченнями p-часу, а це означає, що докази твердості W [t] …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

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

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

У спрямованому графіку , , якщо DAG (спрямований ациклічний графік), називається дугою зворотного зв'язку. F ⊂ E G ∖ F FG = ( V, Е)G=(V,E)G=(V,E)Ж⊂ ЕF⊂EF\subset EG ∖ FG∖FG\setminus FЖFF Якщо кожне ребро пов'язане з вагою , задачею дуги з мінімальною вартістю зворотного зв’язку є пошук таким, що мінімальний.F W …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Проблема N-queen така: Вхід: N Вихід: розміщення N "королеви" на шаховій дошці NXN таким чином, що жодна дві королеви не лежать на одному рядку, стовпчику чи діагоналі. Здійснюючи пошук у Google, я виявив, що багато слайдів багатьох професорів стверджують, що це проблема NP-Hard. (Наприклад, web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Однак мені не вдалося знайти …

11 cc.complexity-theory  np-hardness  csp 

Це питання може бути не технічним. Я, як нерічний оратор, і TA для класу алгоритму, завжди замислювався про те, що означає гаджет у "гаджеті-клаузі" чи "змінному гаджеті". У словнику сказано, що гаджет - це машина чи пристрій, але я не впевнений, яке розмовне значення він має в контексті повного підтвердження …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Мене цікавить варіація SAT, де формула CNF є монотонною (жодні змінні не заперечуються). Така формула, очевидно, задовольняє. Але скажімо, кількість справжніх змінних є мірою того, наскільки хорошим є наше рішення. Отже, у нас є така проблема: МІНІМАЛЬНА ПРАВИЛЬНА МОНОТОНА 3SAT ІНСТАНЦІЯ: Встановити U змінних, збірник C диз'юнктивних пропозицій 3-х літералів, …

11 cc.complexity-theory  np-hardness  sat 

Цікаво, чи рівні рівні NPC, визначені скороченнями багато-один, і зменшенням Тьюрінга. Редагувати: Ще одне питання: чи зменшення Тьюрінга є лише руйнуючими класами C та co-C для деяких C чи існує клас такий як існує проблема не в під скороченням Карпа, а в під зменшенням Тюрінга ?C ∪ c o - …

11 cc.complexity-theory  np-hardness  reductions 

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

10 cc.complexity-theory  np-hardness 

Я натрапив на два приклади гіпотетичної твердості деяких графічних задач. Гіпотетична твердість означає, що спростування деякої гіпотези означатиме NP-повноту відповідної задачі графіка. Наприклад, здогадка Барнетта стверджує, що кожен 3-з’єднаний кубічний плоский двопартійний графік є гамільтоніаном. Федер і Субі довели, що спростування гіпотези означатиме NP-повноту задачі про цикл Гамільтонів на графах …

10 cc.complexity-theory  graph-theory  np-hardness 

Яке стандартне визначення Planar 3-SAT? Я бачив ряд різних визначень. Який оригінальний документ визначав його і довів, що він є повним NP?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Мене цікавить наступна проблема. Нам в якості введення подається "цільова перестановка" , а також упорядкований список індексів i 1 , ... , i m ∈ [ n - 1 ] . Потім, починаючи зі списку L = ( 1 , 2 , … , n ) (тобто перестановка тотожності), на …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

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

10 np-hardness  sat  upper-bounds 

У мене є така проблема: Вхід: два набори інтервалів і T (усі кінцеві точки є цілими числами). Запит: чи існує монотонна біекція f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Біекція монотонна WRT порядку включення безлічі на і T . ∀ X ⊆ Y ∈ S , f ( X …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Наскільки складно проблема встановлення кришки, якщо кількість елементів обмежена якоюсь функцією (наприклад, ), де - розмір проблемного екземпляра. Формальноnlognlog⁡n\log nnnn Нехай і де і . Наскільки важко вирішити наступну проблемуF = { S 1 , ⋯ , S n } S i ⊆ U m = O ( log n …

10 np-hardness  set-cover  exp-time-algorithms 

Чи відомі алгоритми для наступної проблеми, яка перемагає наївний алгоритм? Вхідні дані : Система х ≤ б з т лінійних нерівностей.A x ≤ bAx≤bAx \le bмmm Вихід: можливе рішення якщо таке існує.х∗∈ { 0 , 1 }нx∗∈{0,1}nx^*\in \{0,1 \}^n Припустимо, що і b мають цілі записи. Мене цікавлять найгірші межі.АAAбbb

10 np-hardness  integer-programming  exp-time-algorithms