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

Припустимо , що . Н Р Я є клас проблем в N P , які не є ні в Р , ні в N P -Жорсткий. Ви можете знайти перелік проблем, що передбачаються як N P I, тут .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Теорема Ладнеров в говорить нам , що якщо , …

16 cc.complexity-theory  np-hardness  np-intermediate 

У задачі прямокутника упаковки, один отримують набір прямокутників і обмежує прямокутник . Завдання - знайти розміщення всередині таким чином, щоб жоден з прямокутників не перекривався. Як правило, орієнтація кожного прямокутника фіксована. Тобто прямокутники не можна обертати. У цьому випадку, як відомо, проблема є NP-повною (див., Наприклад, Korp 2003 ).R r …

16 cc.complexity-theory  np-hardness  packing 

Мене цікавлять два питання щодо контекстно-залежної мови (CSL) та повноти: Чи існує поняття повноти для CSL та якими мовами є повними? Чи існують природні CSL, які не мають повного NP? Для 2. я, безумовно, можу думати про природні мови, що повністю завершуються NP, які є CSL (оскільки CSL дорівнює NSPACE …

16 np-hardness  fl.formal-languages  space-bounded 

Я задав це запитання 10 днів тому на cs.stackexchange тут, але я не мав жодної відповіді. У дуже відомій роботі (у мережевому співтоваристві) Wang & Crowcroft представляють деякі -комплектні результати обчислення шляху за кількома адитивними / мультиплікативними обмеженнями. Перша проблема полягає в наступному:NPNP\mathsf{NP} Давши спрямований графік та дві показники ваги …

15 np-hardness  reductions 

Я сподівався, що хтось, можливо, зможе мені пояснити, чому саме проблема продукту підмножини сильно є NP-складною, тоді як проблема суми підмножини є слабкою. Підмножина Сума: Дано і T , чи існує підмножина X ′ така, що ∑ i ∈ X ′ x iX={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X' .∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T Підгрупа …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Розглянемо сукупність множин F = { F 1 , F 2 , … , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} над базовим набором U = { e 1 , e 2 , … , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} де | F i | |Fi||F_i| ≪ ≪\ll nnn і e i ∈ F iei∈Fie_i \in …

15 cc.complexity-theory  np-hardness  set-cover  packing 

У чому полягає обчислювальна складність наступної проблеми: задані дві складні матриці і перевіряють, чи є матриця перестановки така, що: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Якщо це допомагає, можна припустити, що і є гермітами (або навіть, що і справжні та симетричні).AAABBBAAABBB Примітки: Проблема випливає з перевірки, чи пов'язані два набори …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Це питання тісно пов'язане з іншою посадою: Фазові переходи у важких проблемах НП, але дещо інакше. Хоча це питання стосується твердості окремих випадків важких проблем НП, це стосується ранжування складності тих же випадків. Існує багато бібліографії щодо ефекту, відомого як фазовий перехід . Зокрема, для випадкових формул 3-SAT у кон'юнктивній …

15 cc.complexity-theory  np-hardness  sat 

Набір ударів сімейства - це підмножина H of ⋃ n i = 1 S i така, що H ∩ S i ≠ ∅ при 1 ≤ i ≤ n . Проблема знайти мінімальний набір наборів для даної родини загалом є важкою, оскільки вона узагальнює проблему покриття вершин. Тепер моє питання:S= …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Я задавав це питання на Stack Overflow деякий час тому: Проблема: продаж Боба . Хтось запропонував розмістити це питання і тут. Хтось уже задав тут питання, пов’язане з цією проблемою - Мінімальна вага лісу даної кардинальності - але, наскільки я розумію, це не допомагає мені в моїй проблемі. Відповідь на …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Забарвлення кубних графіків 3-краєвим є -комплектним. Теорема чотирьох кольорів еквівалентна "Кожен кубічний плоский графік без мостів є кольоровим у 3 краї".NPNPNP У чому полягає складність 3-реберного забарвлення кубічних плоских графіків? Крім того, можна припустити, що фарбування краю є N P- твердим для плоских графіків з максимальним ступенем Δ ∈ {4,5}.ΔΔ\DeltaNPNPNPΔ∈Δ∈\Delta …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

У презентації 2006 року під назвою ГРАФИ РОЗШИРЕННЯ - ЧИ МІСТЕРИ ЛИВО? , Nati Linial поставила таку відкриту проблему: Яка -визначна обчислювальна задача на графіку залишається важкою при обмеженні графіками розширення?NПNПNP З тих пір чи який - або прогрес був досягнутий , щоб довести такий результат для -Жорсткий проблем?NПNПNP

15 cc.complexity-theory  np-hardness  expanders 

Як називається наступний варіант на обкладинці набору? Враховуючи набір S, колекцію C підмножини S і додатне ціле число K, чи існують набори K в C такі, що кожна пара елементів S лежить в одній з обраних підмножин. Примітка: Не важко зрозуміти, що ця проблема не є повною NP: Враховуючи звичайну …

15 np-hardness  set-cover  cc.complexity-theory 

У мене є багатогранник визначений .ПPP{ x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Питання: З огляду на , вершина з , існує поліноміальний алгоритм час рівномірно зразка від сусідів в графі ? (Поліном у вимірі, кількість рівнянь та …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Нещодавно я читав дуже гарний документ Валіанта і Вазірані, який показує, що якщо , то не може бути ефективного алгоритму для вирішення SAT навіть за умови обіцянки, що це або незадовільно, або має унікальне рішення . Таким чином, показано, що SAT не допускає ефективного алгоритму навіть під обіцянку існування якнайменше …

14 np-hardness  np-complete  unique-solution  promise-problems