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

В параметризованной сложности люди используют сокращение с фиксированным параметром (FPT), чтобы доказать W [t] -твердость. Теоретически FPT-редукция не является редукцией за полиномиальное время, поскольку она может экспоненциально выполняться по параметру k. Но на практике все сокращения FPT, которые я видел, являются сокращением p-времени, что означает, что доказательства W [t] -твердости …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

В графе независимое множество - это подмножество вершин, которое не содержит ребра в качестве индуцированного подграфа. Проблема нахождения наибольших независимых множеств в графе является фундаментальным и сложным в этом вопросе. Давайте рассмотрим более общий вопрос поиска (размера) наибольшего множества H-свободных в графе, где H-free означает, что оно не индуцирует подграф, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

В ориентированном графе , , если - DAG (направленный ациклический граф), называется множеством дуг обратной связи. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Если каждое ребро связано с весом , минимальная проблема набора дуги обратной связи по стоимости состоит в том, …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Проблема N-королевы заключается в следующем: Вход: N Вывод: размещение N «ферзей» на шахматной доске NXN таким образом, чтобы никакие две королевы не лежали в одной строке, столбце или диагонали. Сделав поиск в Google по этому вопросу, я обнаружил, что многие слайды многих профессоров утверждают, что это проблема NP-Hard (например, web.mst.edu/~ercal/387/slides/NP-Hard.ppt). …

11 cc.complexity-theory  np-hardness  csp 

Этот вопрос не может быть техническим. Как не носитель языка и ТА для класса алгоритма, я всегда задавался вопросом, что означает гаджет в «гаджете-предложении» или «гаджете-переменной». В словаре говорится, что гаджет - это машина или устройство, но я не уверен, какое это имеет разговорное значение в контексте NP-полного доказательства.

11 cc.complexity-theory  np-hardness  terminology  reductions 

Меня интересует вариация SAT, где формула CNF является монотонной (никакие переменные не отменяются). Такая формула, очевидно, выполнима. Но скажем, что число истинных переменных является мерой того, насколько хорошо наше решение. Итак, у нас есть следующая проблема: МИНИМАЛЬНЫЙ ИСТИННЫЙ МОНОТОН 3SAT INSTANCE: набор U переменных, коллекция C дизъюнктивных предложений из 3 …

11 cc.complexity-theory  np-hardness  sat 

Интересно, равны ли классы NPC, определенные сокращениями «многие-один» и сокращениями Тьюринга? Редактировать: Другой вопрос, являются ли сокращения Тьюринга только свертыванием классов C и co-C для некоторого C или существует класс такой как существует проблема не в при сокращении Карпа, а в в сокращении Тьюринга ?C ∪ c o - C …

11 cc.complexity-theory  np-hardness  reductions 

Задача двухцветного идеального сопоставления состоит в том, чтобы решить, имеет ли граф раскраску с двумя цветами, чтобы у каждого узла был ровно один сосед того же цвета, что и он сам. Шефер доказал, что задача является NP-полной . Он остается NP-полным даже для плоских кубических графов. Меня интересует вариант, в …

10 cc.complexity-theory  np-hardness 

Я наткнулся на два примера гипотетической сложности некоторых графовых задач. Гипотетическая твердость означает, что опровержение некоторой гипотезы подразумевает NP-полноту соответствующей задачи графа. Например, гипотеза Барнетта утверждает, что каждый 3-связный кубический плоский двудольный граф является гамильтоновым. Федер и Суби доказали, что опровержение гипотезы подразумевает NP-полноту задачи о гамильтоновом цикле на графах …

10 cc.complexity-theory  graph-theory  np-hardness 

Каково стандартное определение Planar 3-SAT? Я видел много разных определений. Какая оригинальная статья определила ее и доказала, что она является NP-полной?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Я заинтересован в следующей проблеме. В качестве входных данных нам дается «целевая перестановка» , а также упорядоченный список индексов i 1 , … , i m ∈ [ n - 1 ] . Затем, начиная со списка L = ( 1 , 2 , … , n ) (т. Е. …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Сложна ли задача NPF SAT NP, когда общее число (но не ширина) предложений из 3 или более членов ограничено сверху константой? А что конкретно, когда есть только один такой пункт?

10 np-hardness  sat  upper-bounds 

У меня есть следующая проблема: Вход: два набора интервалов и T (все конечные точки являются целыми числами). Вопрос: существует ли монотонная биекция f : S → T ?SSSTTTе: S→ Tf:S→Tf:S \to T Биекция монотонна WRT порядка включения множества на и T . ∀ X ⊆ Y ∈ S , f …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Насколько сложна проблема Set Cover, если число элементов ограничено некоторой функцией (например, ), где - размер экземпляра задачи. Формально,nlognlog⁡n\log nnnn Пусть и где и . Насколько сложно решить следующую проблему?F = { S 1 , ⋯ , S n } S i ⊆ U m = O ( log n …

10 np-hardness  set-cover  exp-time-algorithms 

Существуют ли известные алгоритмы для следующей задачи, которые побеждают наивный алгоритм? Вход: система из m линейных неравенств.Ax≤bAx≤bAx \le bmmm Вывод: выполнимое решение если оно существует.x∗∈{0,1}nx∗∈{0,1}nx^*\in \{0,1 \}^n Предположим, что и b имеют целочисленные записи. Меня интересуют границы в худшем случае.AAAbbb

10 np-hardness  integer-programming  exp-time-algorithms