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

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

2
Гамильтоновость k-регулярных графов
Известно, что он является NP-полным, чтобы проверить, существует ли гамильтонов цикл в 3-регулярном графе, даже если он плоский (Гэри, Джонсон и Тарьян, SIAM J. Comput. 1976) или двудольный (Akiyama, Nishizeki, и Saito, J. Inform. Proc. 1980), или чтобы проверить, существует ли гамильтонов цикл в 4-регулярном графе, даже если это граф, …
6
Существуют ли NP-полные проблемы с полиномиальными решениями ожидаемого времени?
Существуют ли какие-либо NP-полные задачи, для которых известен алгоритм, согласно которому ожидаемое время выполнения является полиномиальным (для некоторого разумного распределения по экземплярам)? Если нет, то существуют ли проблемы, для которых было установлено существование такого алгоритма? Или существование такого алгоритма подразумевает существование детерминированного полиномиального алгоритма времени?
1
Это все еще открыто, чтобы определить сложность вычисления ширины дерева плоских графов?
При постоянная , можно определить в линейное время, учитывая входной граф G , является ли его древесной шириной есть ≤ K . Однако, когда оба k и G даны в качестве входных данных, проблема NP-трудна. ( Источник ).k ∈ Nk∈Nk \in \mathbb{N}гGG≤ k≤k\leq kКkkгGG Однако, когда входной граф является плоским …
2
Натуральная КЛИК к уменьшению k-цвета
Ясно, что сокращение от CLIQUE до k-Color, потому что они оба NP-Complete. Фактически, я могу построить один, составив сокращение от CLIQUE до 3-SAT с сокращением от 3-SAT до k-Color. Мне интересно, есть ли разумное прямое сокращение между этими проблемами. Скажем, сокращение, которое я мог бы объяснить другу довольно кратко, без …
1
Я хочу простой гаджет, чтобы доказать NP-полный планарный гамильтонов цикл (из гамильтонов цикла)
Известно, что гамильтонов цикл (для краткости Хэм) NP-полон, а планарный цикл Хэма NP-полон. Доказательство для плоского цикла Хэма не из цикла Хэма. Есть ли хороший гаджет, который с учетом графа G заменит все пересечения некоторым плоским гаджетом, чтобы у вас был планарный граф G 'такой, что G имеет цикл Хэма, …
5
Упаковка прямоугольников в выпуклые многоугольники, но без поворотов
Меня интересует проблема упаковки идентичных копий (2-мерных) прямоугольников в выпуклый (2-мерный) многоугольник без перекрытий. В моей задаче вы не можете поворачивать прямоугольники и можете предполагать, что они ориентированы параллельно осям. Вам только что дали размеры прямоугольника и вершины многоугольника и спросили, сколько одинаковых копий прямоугольника может быть упаковано в многоугольник. …
1
Вычислительная сложность задачи с 3 разделами с различными числами
Этот вопрос связан с ответом, который я разместил в ответ на другой вопрос. Задача с 3 разделами представляет собой следующую проблему: Экземпляр : положительные целые числа a 1 ,…, a n , где n = 3m, а сумма n целых чисел равна mB, так что каждый a i удовлетворяет B …
2
Проверка того, можно ли запланировать буквы для достижения слова на обычном языке
Я фиксируем регулярный язык на алфавите , и я считаю следующую проблему , которую я называю письмо планирования для L . Неофициально, ввод дает мне n букв и интервал для каждой буквы (то есть минимальную и максимальную позицию), и моя цель состоит в том, чтобы поместить каждую букву в ее …
1
Для какого k PLANAR NAE k-SAT в P?
Задача «Не все равно kkk -SAT» (NAE kkk -SAT), учитывая набор CCC предложений над набором XXX булевых переменных, так что каждое предложение содержит не более kkk литералов, спрашивает, существует ли истинное присвоение переменных таким образом, чтобы каждое предложение содержит, по крайней мере, один истинный и, по крайней мере, один ложный …
2
Существуют ли какие-либо сложные случаи использования 3-SAT, когда в предложениях можно использовать только те литералы, которые находятся «рядом» друг с другом?
Пусть переменные будут Икс1, х2, х3, , , ИксNИкс1,Икс2,Икс3,,,ИксNx_1 , x_2 , x_3 ... x_n . Расстояние между двумя переменными определяется как d( хa, хб) = | а - б |d(Иксa,Иксб)знак равно|a-б|d(x_a , x_b) = |a-b|, Расстояние между двумя литералами - это расстояние между соответствующими двумя переменными. Предположим, у меня …
22 np-hardness  sat 
1
Tardos Функция контрпример Блюма Претензия
В этой теме попытка Нобетта Блюма в доказательстве лаконично опровергается, когда отмечается, что функция Тардоса является контрпримером к теореме 6P≠NPP≠NPP \neq NP Теорема 6 : Пусть - любая монотонная булева функция. Предположим, что существует CNF-DNF-аппроксиматор который можно использовать для доказательства нижней оценки . Тогда также можно использовать для доказательства той …
10
Задачи, которые просты для невзвешенных графов, но трудны для взвешенных графов
Многие задачи алгоритмического графа могут быть решены за полиномиальное время как на невзвешенных, так и на взвешенных графах. Некоторыми примерами являются кратчайший путь, минимальное связующее дерево, самый длинный путь (в ориентированных ациклических графах), максимальный поток, минимальное сокращение, максимальное совпадение, оптимальное выцветание, некоторые задачи с наиболее плотным подграфом, максимальное непересекающееся направленное …
1
Есть ли проблема, которая проста для кубического графа, но сложна для графов с максимальной степенью 3?
Кубические графы - это графы, в которых каждая вершина имеет степень 3. Они были тщательно изучены, и я знаю, что некоторые NP-сложные задачи остаются NP-трудными, даже если они ограничены подклассами кубических графов, но некоторые другие становятся проще. Суперкласс кубических графов - это класс графов с максимальной степенью .Δ ≤ 3Δ≤3\Delta …
2
Связь между трудностью распознавания класса графов и характеристикой запрещенных подграфов
Я рассматриваю графовые классы, которые можно охарактеризовать запрещенными подграфами. Если у класса графов есть конечный набор запрещенных подграфов, то существует тривиальный алгоритм распознавания полиномиального времени (можно просто использовать грубую силу). Но бесконечное семейство запрещенных подграфов не подразумевает твердости: есть некоторые классы с бесконечным списком запрещенных подграфов, такие, что распознавание также …
1
NP-твердость подразумевает P-твердость?
Если проблема является NP-сложной (с использованием полиномиального сокращения времени), означает ли это, что она является P-сложной (с использованием пространства журнала или сокращений NC)? Кажется интуитивно понятным, что если это так же сложно, как любая проблема в NP, то это должно быть так же сложно, как и любая проблема в P, …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.