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

Питання, пов'язані з твердістю NP та повнотою NP.

2
Додайте відповідність до гамільтонівського шляху, щоб зменшити максимальну відстань між даними парами вершин
У чому полягає складність наступної проблеми? Вхід : HHH агамільтонів шляхуKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 підмножина пар вершин додатне ціле число kkk Запит : чи існує відповідна MMM така, що для кожного (v,u)∈R(v,u)∈R(v,u) \in R , dG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq k ? (де G=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) ) Я мав дискусію з …
1
Вибірка рівномірно випадкового, що задовольняє завдання
Проблема: Дано представлене булевою схемою, генерують рівномірно випадковий x ∈ { 0 , 1 } n такий, що ϕ ( x ) = 1 (або вихід ⊥, якщо такого немає х існує). ϕ : { 0 , 1 }н→ { 0 , 1 }ϕ:{0,1}н→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { …
5
Точні алгоритми для r-домінантного набору на обмежених графіках ширини
З огляду на графік, , я хочу , щоб знайти оптимальний г -domination для G . Тобто, я хочу підмножина S з V таким чином, що всі вершини в G знаходяться на відстані не більше ніж г від деякої вершини в S , при зведенні до мінімуму розміру S .G …
4
Чи сумісна ета-еквівалентність функцій з послідовною операцією Haskell?
Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …
1
Яка мінімально необхідна глибина скорочень для NP-твердості SAT?
Як всім відомо, SAT є завершеним для wrt багаточленних багаторазових скорочень. Це все ще повне скорочення wrt багато-одного.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мої запитання - яка мінімально необхідна глибина для скорочень? Більш офіційно, Що найменше такого, що SAT - \ mathsf {NP} -hard wrt \ mathsf {AC ^ 0_d} багато-один скорочення?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мені здається, що …
1
Як проблема може бути в NP, бути NP-жорсткою і не NP-повною?
Найдовше я думав, що проблема була NP-повною, якщо вона одночасно (1) NP-жорстка і (2) є NP. Однак у відомій роботі "Еліпсоїдний метод та його наслідки у комбінаторній оптимізації" автори стверджують, що проблема дробового хроматичного числення належить до NP та є важкою для NP, але, як відомо, не є повною NP. …
1
Виявлення відношення цілих чисел для суми підмножини чи АЕС?
Чи існує спосіб кодування примірника суми підмножини або проблеми з розділенням чисел, щоб (мале) рішення цілого відношення дало відповідь? Якщо не точно, то в якомусь імовірнісному сенсі? Я знаю, що LLL (і, можливо, PSLQ) використовувались з помірним успіхом у вирішенні завдань Subset Sum у регіоні "низької щільності", де вибраний діапазон …
2
Чи не завершена проблема "Найменших дискримінаційних бітів"?
Це ім'я, яке я склав для цієї проблеми. Я ніколи не бачив його описаного ніде. Я ще не зміг знайти доказ повноти NP або поліноміального алгоритму часу для цієї проблеми. Це не проблема домашнього завдання - це пов'язано з проблемою, з якою я зіткнувся у своїй роботі. НАЙБІЛЬШІ ДИСКРИМІНУЮЧІ БИТИ …
1
Складність задачі слів з найменшими виразними літерами, прийнятими кінцевим автоматом
Враховуючи кінцевий (детермінований або недетерміністичний, я не думаю, що це має велике значення) автомат A і поріг n , чи приймає A слово, що містить щонайбільше n різних літер? (Під k різними літерами я маю на увазі, що у aabaa є дві різні літери, a і b .) Я показав, …
1
Чи є цікаві класи графіків, де ширину ширини важко (легко) обчислити?
Treewith - важливий параметр графа, який вказує на те, наскільки близький графік від того, щоб бути деревом (хоча не в строгому топологічному сенсі). Добре відомо, що обчислення ширини ширини є важким для NP. Чи існують природні класи графіків, де важко обчислити ширину ширини ? Аналогічно: Чи є цікаві класи графів, …
4
Пошук найрідкішого рішення системи лінійних рівнянь
Наскільки важко знайти найрідкіше рішення системи лінійних рівнянь? Більш офіційно розглянемо таку проблему рішення: Екземпляр: Система лінійних рівнянь з цілими коефіцієнтами і числом ccc . Питання: Чи існує рішення в системі з принаймні ccc змінними, присвоєними нулем? Я також намагаюся визначити, яка залежність від ccc . Тобто, можливо, проблема FPT …
2
Лексикографічно мінімальний топологічний вид маркованого DAG
Розглянемо проблему, коли нам подано вхідний спрямований ациклічний графік G = ( V, Е)G=(V,E)G = (V, E) , функцію маркування λλ\lambda від VVV до деякого набору LLL із загальним порядком &lt;L&lt;L<_L (наприклад, цілі числа), і де нас просять обчислити лексикографічно найменший топологічний різновид ГGG у перерахунку на λλ\lambda . Точніше, …
1
Проблема з конфігурацією "змії"
Під час написання невеликого допису про складність відеоігор Nibbler та Snake ; Я виявив, що обидва вони можуть бути змодельовані як проблеми з конфігурацією на плоских графах; і малоймовірно, що подібні проблеми недостатньо вивчені в області планування руху (уявімо, наприклад, ланцюжок зв'язаних вагонів або роботів). Ігри добре відомі, однак це …
1
Жорсткі проблеми з розширюваністю
У проблемі розширюваності нам дають частину рішення, і ми хочемо вирішити, чи можемо ми поширити його на повне рішення. Деякі проблеми з розширюваністю ефективно вирішуються, тоді як інші проблеми з розширенням перетворюють легку проблему на важку. Наприклад, теорема Коніга-Холла стверджує, що всі кубічні двопалітні графіки є кольоровими 3-краю, але версія …
3
Набір дуги перехідного зворотного зв’язку (TFAS): NP-завершено?
Деякий час тому я опублікував довідковий запит щодо проблем із графіками, де ми хочемо знайти 2-х розділ ребер, де обидва набори виконують властивість, не пов’язану з їх кардинальністю. Я намагався довести, що наступна проблема є важкою для NP: Враховуючи турнір , чи існує дуга зворотного зв’язку F ⊆ E в …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.