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

Точне формулювання заголовка пояснюється Анандом Кулкарні (який запропонував створити цей сайт). Це питання було задано як приклад питання, але мені шалено цікаво. Я дуже мало знаю про алгебраїчну геометрію, і насправді також маю лише короткий, студентський розуміння перешкод, що виникають у питанні P / poly проти NP (нерелятивізуючий, не алгебразуючий, …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Це уздовж рядків « Алгоритмів із книги ». Хоча скорочення також є алгоритмами, я вважав сумнівним, що можна думати про зменшення відповіді на запитання про алгоритми з книги. Звідси окремий запит! Усі скорочення вітаються найвищим рівнем. Почну з дійсно простого скорочення від вершини до мультикотажу на зірках. Скорочення майже напрошується, …

22 ds.algorithms  np-hardness  big-list  reductions 

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

22 graph-theory  np-hardness 

Я читав " Невже P Versus NP формально незалежний? ", Але розгубився. Широко поширена думка , в теорії складності , що . Моє запитання полягає в тому, що робити, якщо це не довести (скажімо, у Z F C ). (Припустимо, що ми тільки з'ясуємо, що P ≠ N P не …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

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

21 cc.complexity-theory  ds.algorithms  np-hardness 

Шор заявив, у коментарі до анонімної відповіді лося на це питання Чи можете ви визначити суму двох перестановок у поліноміальний час? , що виявити різницю двох перестановок -неповно. На жаль, я не бачу прямого скорочення від проблеми перестановки суми, і корисно мати зменшення неповноти для проблеми перестановки різниці.NPNPNPNPNPNP Різниця перестановки: …

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

Який взаємозв'язок між ДНК-алгоритмами та класами складності визначено за допомогою машин Тьюрінга? Яким чином відповідають показники складності, такі як час та простір, відповідають ДНК-алгоритмам? Чи можна їх використовувати для вирішення випадків повних NP-задач, таких як TSP, які машини фон Неймана неможливо вирішити на практиці?

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

Я вже давно писав це запитання на MathOverflow , але, наскільки мені відомо, воно все ще відкрите, тому я переношу його тут, сподіваючись, що хтось, можливо, почув про нього. Постановка проблеми Нехай , Q і R є трьома розділами на p непусті частини (позначені P h 's, Q i ' …

21 co.combinatorics  np-hardness 

Мотивована відповіддю Шора, що стосується різних уявлень про повноту NP, я шукаю проблему, яка є NP-повною при зменшенні P, але невідомо, що вона є NP-повною при скороченні Logspace (бажано, протягом тривалого часу). Крім того, чи важче знайти скорочення простору журналу між проблемами, заповненими NP, ніж знайти P-скорочення?

21 cc.complexity-theory  np-hardness 

(Це питання трохи "опитування".) В даний час я працюю над проблемою, коли я намагаюся розділити краї турніру на два набори, обидва необхідні для виконання деяких структурних властивостей. Проблема "відчувається" досить важко, і я повністю очікую, що це буде -комплект. Чомусь мені важко навіть знайти подібні проблеми в літературі.NПNP\mathcal{NP} Приклад проблеми, …

20 cc.complexity-theory  reference-request  np-hardness 

У моєму дослідженні нещодавно з’явилася така цікава проблема: ІНСТАНЦІЯ: Графік .Г ( V, Е)G(V,E)G(V, E) РІШЕННЯ: Безкоректне завершення непарного циклу, визначене як надмножина крайового набору так, щоб завершений графік мав властивість, що кожне ребро в міститься в непарному циклі без акордів.Е'E′E'ЕEEГ'( V, Е')G′(V,E′)G'(V, E')Г'G′G' ВИМІР: Розмір завершення, тобто.| Е'- Е||E′−E||E' …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

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

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Припустимо, маємо матрицю n від n. Чи можливо впорядкувати його рядки та стовпці таким чином, щоб ми отримали верхньо-трикутну матрицю? Це питання мотивоване цією проблемою: Позитивне топологічне впорядкування Початкова проблема рішення є принаймні такою ж важкою, як ця, тому результат повноти NP також вирішив би це. Редагувати: Ласло Вег та …

20 ds.algorithms  np-hardness  open-problem  matrices 

Доповнення ланцюг являє собою послідовність позитивних цілих чисел (x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n) , де x1=1x1=1x_1 = 1 , і кожен індекс i≥2i≥2i\ge 2 , ми маємо xi=xj+xkxi=xj+xkx_i = x_j + x_k для деяких індексів 1≤j,k&lt;i1≤j,k&lt;i1\le j,k < i . Довжина додавання ланцюга nnn ; мішень з крапельної ланцюга xnxnx_n . …

20 reference-request  np-hardness 

Зворотній зв'язок Набір вершин є загальним для загальних графіків. Відомо, що він є NP-повним для обмежених ступенів 8 графів за рахунок зменшення від вершинного покриття. Стаття у Вікіпедії говорить, що вона врегульована у багато разів для обмежених графів 3 ступеня та є NP-повною для обмежених графів 4 ступеня. Але я …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree