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

Розглянемо наступну проблему. Введення: Непрямий графік . Вихід: Графік який є мінором з найвищою щільністю краю серед усіх неповнолітніх , тобто з найбільшим співвідношенням.H G G | E ( H ) | / | V ( H ) |G = ( V, Е)G=(V,E)G=(V,E)НHHГGGГGG| Е( Н) | / | V( Н) …

13 graph-theory  graph-algorithms  np-hardness  graph-minor 

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

13 cc.complexity-theory  np-hardness  partition-problem 

Чи може хтось перелічити відомі проблеми, які задовольняють наступним умовам: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Один з моїх друзів задає мені наступну проблему планування на дереві. Я вважаю це дуже чистим та цікавим. Чи є посилання на це? Проблема: Є дерево , кожен край має симетричну подорожню вартість 1 . Для кожної вершини існує завдання, яке потрібно виконати до її закінчення . Завдання також позначається …

13 ds.algorithms  graph-algorithms  np-hardness 

Мене цікавить складність домінуючої задачі набору (DSP) у деяких конкретних класах графіків, які є підкласами хордальних графіків . Графік - це графік непрямої траси, якщо це графік перетину вершин сімейства шляхів у якомусь непрямому дереві. Нехай UP - клас графіків непрямої контури. Графік - це графік EPT, якщо це графік …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

Ось проблема: У нас є квадрат з деякими числами від 1..N в деяких клітинках. Потрібно визначити, чи можна її завершити до чарівного квадрата. Приклади: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> …

13 cc.complexity-theory  np-hardness  np  puzzles 

Задача про гамільтонівський цикл (HC) полягає у знаходженні циклу, який проходить через усі вершини в заданому непрямому графіку. Завдання комівояжера (TSP) полягає в знаходженні цикл , який проходить через всі вершини в даній крайової зважений граф і зводить до мінімуму загальну відстань , виміряний за сумою ваг ребер в циклі. …

13 cc.complexity-theory  np-hardness  hamiltonian-paths  tsp  graph-classes 

Припустимо, ми маємо набір S графів (кінцеві графіки, але їх нескінченна кількість) та групу P перестановок, яка діє на S. Екземпляр: Перестановка p в P. Запитання: Чи існує графік g в S, який допускає автоморфізм p? Чи є ця проблема NP-повною для деяких наборів S? Було б легко перевірити, чи …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Це питання, натхнене проблемою H-free cut . З огляду на графік, розділ його вершини встановити на частини є вільним, якщо не викликає копію для всіх , .VVVrrrV1,V2,…,VrV1,V2,…,VrV_1, V_2, \ldots, V_rHHHG[Vi]G[Vi]G[V_i]HHHiii1≤i≤r1≤i≤r1 \leq i \leq r Я хочу розглянути таке питання: Що найменше для якого існує поділ на частини?rrrHHHrrr Зауважте, що коли …

13 graph-theory  np-hardness  co.combinatorics 

Якщо чесно, я не знаю так багато про те, як генерується випадкове число (коментарі вітаються!), Але припустимо наступну теоретичну модель: Ми можемо отримати цілі числа, рівномірно випадкові з і наша мета - вивести ціле число, рівномірно випадкове з [1,3].[ 1 , 2 n ][1,2n][1,2^n] Просте рішення, очікуваний час роботи якого …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Чи відомо, чи задана вершина зворотного зв'язку на непрямих плоских графах обмеженого ступеня -hard?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Відповідаючи на це запитання з питань теорії , я (неофіційно) на ходу довів наступну теорему: Теорема : Для будь-якого фіксованого гамільтонівського циклу залишається NP-повною, навіть якщо вона обмежена планарними двосторонніми непрямими графами максимального ступеня 3, які не містять циклів довжини .≤ ll ≥ 3л≥3l \geq 3≤ l≤л\leq l Дуже малоймовірно, …

12 reference-request  np-hardness 

Це питання мотивоване цією публікацією. Чи можете ви визначити суму двох перестановок за багаточлен? , і мій інтерес до обчислювальних властивостей перестановок. А відмінності послідовності 1 , а 2 , ... п перестановок П чисел 1 , 2 , ... п + 1 утворюється шляхом знаходження різниці між кожними двома …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Судоку - це відома головоломка, яка не завершена NP. Бінарний судоку - це варіант, який дозволяє лише числа і 1 . Правила такі.000111 Кожен рядок і кожен стовпець повинні містити рівну кількість нулів і одиниць. Кожен рядок і кожен стовпчик унікальні. Жоден рядок чи стовпець не містить послідовних потрій нулів …

12 cc.complexity-theory  np-hardness  puzzles 

Унікальний SAT - це добре відома проблема: враховуючи формулу CNF , чи правда, що F має саме одну модель?FFFFFF Мене цікавить проблема «Рівно -SAT»: з урахуванням формули CNF F і цілого числа m > 1 , чи правда, що F має саме m моделей?mmmFFFm>1m>1m>1FFFmmm Обидві проблеми виглядають схоже. Отже, мої …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions