Вопросы с тегом «np-hardness»

Вопросы, связанные с NP-твердостью и NP-полнотой.

2
Добавьте соответствие к гамильтонову пути, чтобы уменьшить максимальное расстояние между заданными парами вершин
Какова сложность следующей проблемы? Вход : гамильтонов путьв К пHHHKnКNK_n R⊆[n]2р⊆[N]2R \subseteq [n]^2 подмножество пар вершин положительное целое число kКk Запрос : существует ли сопоставление MMM такое, что для каждого (v,u)∈R(v,U)∈р(v,u) \in R , dG(v,u)≤kdграмм(v,U)≤Кd_G(v,u) \leq k ? (где G=([n],M∪H)граммзнак равно([N],M∪ЧАС)G = ([n], M\cup H) ) У меня была дискуссия …
1
Выборка равномерно случайного удовлетворяющего задания
Проблема: Учитывая представленный булевой схемой, генерируем равномерно случайный x ∈ { 0 , 1 } n такой, что ϕ ( x ) = 1 (или выводим ⊥, если таких нет х существует). ϕ : { 0 , 1 }N→ { 0 , 1 }φ:{0,1}N→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { …
5
Точные алгоритмы для r-доминирующего множества на графах ограниченной ширины
Учитывая график, , я хочу , чтобы найти оптимальный г -domination для G . То есть, я хочу подмножество S из V таким образом, что все вершины в G находятся на расстоянии не более чем г от некоторой вершины в S , при сведении к минимуму размера S .G=(V,E)G=(V,E)G = …
1
Какова минимальная необходимая глубина снижения NP-твердости SAT?
Как все знают, SAT завершен для сравнению с многозначным сокращением за полиномиальное время. Это все еще полные сокращения wrt много-один.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мои вопросы: какова минимальная необходимая глубина для сокращений? Более формально, Что наименьшее такое, что SAT - это -hard wrt много-один сокращений?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мне кажется, что должно быть достаточно? Кто-нибудь знает ссылку?AC02AC20\mathsf{AC^0_2}
4
Является ли eta-эквивалентность для функций совместимой с операцией seke в Haskell?
Лемма: Предполагая, что эта эквивалентность у нас есть (\x -> ⊥) = ⊥ :: A -> B. Доказательство: ⊥ = (\x -> ⊥ x)по eta-эквивалентности и (\x -> ⊥ x) = (\x -> ⊥)по сокращению под лямбду. В отчете Haskell 2010, раздел 6.2, seqфункция определяется двумя уравнениями: seq :: a …
1
Как проблема может быть в NP, быть NP-сложной, а не NP-полной?
Долгое время я думал, что задача была NP-полной, если она (1) NP-сложная и (2) в NP. Однако в известной статье «Метод эллипсоидов и его последствия в комбинаторной оптимизации» авторы утверждают, что проблема дробного хроматического числа принадлежит NP и является NP-сложной, но пока неизвестно, что она NP-полная. На третьей странице статьи …
1
Обнаружение целочисленных отношений для Подмножества Сумм или АЭС?
Есть ли способ закодировать экземпляр суммы подмножества или проблему разбиения числа так, чтобы (небольшое) решение целочисленного отношения дало ответ? Если не точно, то в каком-то вероятностном смысле? Я знаю, что LLL (и, возможно, PSLQ) использовались с умеренным успехом в решении задач Subset Sum в области «низкой плотности», где диапазон выбранных …
2
Является ли задача «Меньше всего отличающихся битов» NP-полной?
Это имя, которое я сделал для этой проблемы. Я не видел нигде описанного ранее. Я пока не смог найти ни доказательства NP-полноты, ни алгоритма полиномиального времени для этой задачи. Это не проблема домашней работы - это связано с проблемой, с которой я столкнулся в своей работе. НАИБОЛЕЕ ДИСКРИМИНАЦИОННЫЕ БИТЫ INSTANCE: …
1
Сложность проблемы слов с наименьшим количеством различных букв, принимаемых конечным автоматом
Учитывая конечный (детерминированный или недетерминированный, я не думаю, что это имеет большое значение) автомат A и порог n , принимает ли A слово, содержащее не более n различных букв? (Под k разными буквами я подразумеваю, что aabaa имеет две разные буквы, a и b .) Я показал, что эта задача …
1
Существуют ли интересные графовые классы, в которых сложно вычислить ширину дерева?
Treewith является важным параметром графа, который указывает, насколько близко граф от дерева (хотя и не в строгом топологическом смысле). Хорошо известно, что вычисление ширины дерева является NP-сложным. Существуют ли естественные классы графов, для которых сложно вычислить ширину дерева? Так же: Существуют ли интересные графовые классы, где вычисление ширины дерева легко? …
4
Нахождение разреженного решения системы линейных уравнений
Насколько сложно найти самое редкое решение системы линейных уравнений? Более формально рассмотрим следующую проблему решения: Экземпляр: система линейных уравнений с целыми коэффициентами и числом ccc . Вопрос: существует ли решение для системы с хотя бы ccc переменными, присвоенными нулю? Я также пытаюсь определить, какая зависимость от ccc . То есть, …
2
Лексикографически минимальный топологический вид помеченного DAG
Рассмотрим проблему, когда нам задают в качестве входных данных направленный ациклический граф G=(V,E)G=(V,E)G = (V, E) , функцию маркировки λλ\lambda из VVV в некоторый набор LLL с полным порядком &lt;L&lt;L<_L (например, целые числа) и где нас просят вычислить лексикографически наименьший топологический вид GGG в терминах λλ\lambda . Точнее, топологическая сортировка …
1
Задача реконфигурации «Змея»
Пока пишу небольшой пост о сложности видеоигр Nibbler и Snake ; Я обнаружил, что они оба могут быть смоделированы как задачи реконфигурации на плоских графах; и кажется маловероятным, что такие проблемы не были хорошо изучены в области планирования движения (представьте, например, цепочку связанных вагонов или роботов). Игры хорошо известны, однако …
1
Сложные проблемы расширения
В проблеме расширяемости нам дают часть решения, и мы хотим решить, можем ли мы расширить ее до полного решения. Некоторые проблемы расширяемости эффективно разрешимы, в то время как другие проблемы расширяемости превращают легкую проблему в сложную. Например, теорема Кенига-Холла утверждает, что все кубические двудольные графы раскрашиваются на 3 ребра, но …
3
Набор дуги переходной обратной связи (TFAS): NP-полная?
Некоторое время назад я опубликовал справочный запрос для задач с графами, где мы хотим найти 2-секционное ребро, в котором оба набора удовлетворяют свойству, не связанному с их количеством элементов. Я пытался доказать, что следующая проблема NP-трудна: Для турнира существует ли множество дуг обратной связи в которое определяет транзитивное отношение?G = …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.