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

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

9
Сокращения из книги.
Это похоже на « Алгоритмы из Книги ». Хотя сокращения также являются алгоритмами, я подумал, что сомнительно, что можно подумать о сокращении в ответ на вопрос об алгоритмах из книги. Отсюда отдельный запрос! Сокращения всех видов приветствуются. Я начну с действительно простого сокращения от покрытия вершины до многократного на звездах. …

2
Как геометрический подход Малмулей-Сохони к получению нижних оценок позволяет избежать естественных доказательств (в смысле Разборова-Рудича)?
Точная формулировка названия принадлежит Ананду Кулькарни (который предложил создать этот сайт). Этот вопрос был задан в качестве примера вопроса, но мне безумно любопытно. Я очень мало знаю об алгебраической геометрии, и на самом деле у меня есть только беглое понимание студентами препятствий, которые играют в вопросе P / poly против …

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

5
Последствия недоказуемости
Я читал « Является ли P против NP формально независимым? », Но я был озадачен. В теории сложности широко распространено мнение, что . Мой вопрос о том, что, если это не доказуемо (скажем, в ). (Предположим, что мы только узнаем, что не зависит от но никакой дополнительной информации о том, …

4
Проблемы, которые нелогично решаются на практике?
Недавно я прошел через мучительный забавный опыт неформального объяснения концепции вычислительной сложности молодому талантливому программисту-самоучке, который никогда раньше не проходил формальный курс по алгоритмам или сложности. Неудивительно, что многие понятия поначалу казались странными, но они имели смысл на некоторых примерах (PTIME, труднопреодолимость, невычислимость) , в то время как другие кажутся …

2
полнота распознавания разности двух перестановок
Шор заявил в своем комментарии к ответу анонимного лося на этот вопрос. Можете ли вы определить сумму двух перестановок за полиномиальное время? То , что он является полным, чтобы определить разницу двух перестановок. К сожалению, я не вижу прямого сокращения от проблемы суммы перестановок, и было бы полезно иметь уменьшение …

4
ДНК-алгоритмы и NP-полнота
Какова связь между алгоритмами ДНК и классами сложности, определенными с помощью машин Тьюринга? Как соотносятся меры сложности, такие как время и пространство, в ДНК-алгоритмах? Могут ли они быть использованы для решения проблем NP-complete, таких как TSP, которые машины фон Неймана не могут реально решить на практике?

1
Консенсусная кластеризация с использованием множества объединений
Я уже публиковал этот вопрос некоторое время назад в MathOverflow , но, насколько мне известно, он все еще открыт, поэтому я публикую его здесь в надежде, что кто-то мог о нем слышать. Постановка задачи Пусть , Q и R - три разбиения на p непустых частей (обозначаемых через P h …

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

3
NP полный граф задач о структурных свойствах
(Этот вопрос немного «опрос».) В настоящее время я работаю над проблемой, в которой я пытаюсь разделить края турнира на два набора, оба из которых необходимы для выполнения некоторых структурных свойств. Проблема "чувствует" довольно сложно, и я полностью ожидаю, что это будет NпNP\mathcal{NP} полной. По некоторым причинам мне трудно даже найти …

1
Минимальное хордовое завершение нечетного графа: сложно ли NP?
Следующая интересная проблема возникла в моем исследовании недавно: МИГ: График .G ( V, E)G(V,E)G(V, E) РЕШЕНИЕ: завершение неординарного нечетного цикла, определяемое как надмножество множества ребер, так что завершенный граф обладает свойством того, что каждое ребро в содержится в нечетком нечетном цикле. E G ′ ( V , E ′ ) …

3
Задачи, NP-полные при рандомизированном или P / poly сокращении.
В этом вопросе мы, кажется, идентифицировали естественную проблему, которая является NP-полной при рандомизированных сокращениях, но, возможно, не при детерминированных сокращениях (хотя это зависит от того, какие недоказанные предположения в теории чисел верны). Известны ли еще такие проблемы? Существуют ли какие-либо естественные проблемы, которые являются NP-полными при сокращениях P / poly, …

3
Сложно ли найти оптимальные цепочки сложений?
Дополнение цепь представляет собой последовательность положительных целых чисел , где х 1 = 1 , и каждый индекс я ≥ 2 , мы имеем й я = х J + х K для некоторых индексов 1 ≤ J , к < я . Длина прибавления цепи п ; мишень из …

4
Положительный топологический порядок, дубль 3
Предположим, у нас есть матрица n на n. Можно ли изменить порядок строк и столбцов так, чтобы мы получили верхнетреугольную матрицу? Этот вопрос мотивирован этой проблемой: положительный топологический порядок Первоначальная проблема решения, по крайней мере, так же сложна, как эта, поэтому результат NP-полноты также решит эту проблему. Изменить: Ласло Вег …

2
Является ли проблема множества вершин обратной связи разрешимой за полиномиальное время для 3-градусных ограниченных графов?
Набор вершин обратной связи NP-полон для общих графов. Известно, что он является NP-полным для ограниченных графов степени 8 из-за сокращения от покрытия вершины. В статье в Википедии говорится, что она разрешима по времени для ограниченных графов степени 3 и является NP-полной для ограниченных графов степени 4. Но я нигде не …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.