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

Предположим , что P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} . N P INпя\mathsf{NPI} - класс задач в Н ПNп\mathsf{NP} которых нет ни в пп\mathsf{P} ни в Н ПNп\mathsf{NP} -твердых. Вы можете найти список проблем предположительно N P INпя\mathsf{NPI} здесь . Теорема Ладнера говорит нам, что если то существует бесконечная иерархия …

16 cc.complexity-theory  np-hardness  np-intermediate 

В задаче прямоугольник упаковки, один дается набор прямоугольников и ограничивающий прямоугольник R . Задача состоит в том, чтобы найти расположение r 1 , … , r n внутри R так , чтобы ни один из n прямоугольников не перекрывался. Как правило, ориентация каждого прямоугольника г я фиксируется. То есть прямоугольники …

16 cc.complexity-theory  np-hardness  packing 

Меня интересуют два вопроса относительно контекстно-зависимых языков (CSL) и полноты: Существует ли понятие полноты для CSL и какие языки являются законченными? Существуют ли естественные CSL, которые являются NP-полными? Для 2. я, конечно, могу думать о естественных NP-полных языках, которые являются CSL (так как CSL равен NSPACE [ ], SAT - …

16 np-hardness  fl.formal-languages  space-bounded 

Я задал этот вопрос 10 дней назад на cs.stackexchange здесь, но у меня не было никакого ответа. В очень известной статье (в сетевом сообществе) Wang & Crowcroft представили некоторые результаты полноты вычисления пути при нескольких аддитивных / мультипликативных ограничениях. Первая проблема заключается в следующем:Н ПNп\mathsf{NP} Учитывая , ориентированный граф и …

15 np-hardness  reductions 

Я надеялся, что кто-нибудь сможет объяснить мне, почему именно проблема подмножеств является сильно NP-трудной, в то время как проблема сумм подмножеств является NP-трудной. Подмножество Сумма: Дано и Т , существует ли подмножество X ' такое , что Σ я ∈ Х ' х я = Т .Икс= { х1, . …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Рассмотрим набор множеств над базовым множеством где и , и пусть будет положительным целым числом.F = { F 1 , F 2 , … , F n } U = { e 1 , e 2 , … , e n } | F i | « П е я …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Какова вычислительная сложность следующей задачи: с учетом двух комплексных матриц A и B проверить, есть ли матрица перестановок Р таким образом, что: В = Р Р Т .n × nN×Nn\times nAAAВВBппPB = PА ПT,Взнак равнопAпT,B = P A P^T. Если это помогает, можно предположить, что и B эрмитовы (или даже …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Этот вопрос тесно связан с другим постом: Фазовые переходы в NP Трудные проблемы, но он несколько иной. В то время как этот вопрос касается сложности отдельных случаев сложных проблем NP, речь идет о ранжировании сложности тех же случаев. Существует много библиографии об эффекте, известном как фазовый переход . В частности, …

15 cc.complexity-theory  np-hardness  sat 

Наезд набор из семейства является подмножеством из такое , что для . Задача найти минимальное множество попаданий данного семейства NP-трудна в общем, поскольку она обобщает проблему покрытия вершин. Теперь мой вопрос:S= { S1, … , SN}Sзнак равно{S1,...,SN}\mathcal{S} = \{S_1, \dots, S_n\}ЧАСЧАСH⋃Nя = 1Sя⋃язнак равно1NSя\bigcup_{i=1}^{n} S_iЧАС∩ Sя≠ ∅ЧАС∩Sя≠∅H \cap S_i \ne …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Я задал этот вопрос о переполнении стека некоторое время назад: Проблема: продажа Боба . Кто-то предложил также разместить здесь вопрос. Кто-то уже задавал вопрос, связанный с этой проблемой, здесь - минимальный вес леса данной мощности - но, насколько я понимаю, это не помогает мне с моей проблемой. На StackOverflow также …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

3-реберная раскраска кубических графов является полной. Теорема о четырех цветах эквивалентна «Любые кубические плоские безмостовые графы раскрашиваются по 3 ребрам»NпNпNP Какова сложность 3-реберной раскраски кубических плоских графов? Также предполагается, что раскраска -edge является NP- трудной для плоских графов с максимальной степенью \ Delta \ in {4,5}.Н РΔΔ\DeltaNпNпNPΔ ∈Δ∈\Delta \in Был …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

В презентации 2006 года под названием EXPANDER GRAPHS - ОСТАЮТСЯ ЛИ какие-то ТАЙНЫ? Нати Линиал поставил следующую открытую проблему: Какие трудные вычислительные задачи на графе остаются сложными, когда они ограничены графами расширителей?NпNпNP С тех пор был ли достигнут какой-либо прогресс в доказательстве такого результата для трудной задачи?NпNпNP

15 cc.complexity-theory  np-hardness  expanders 

Как называется следующий вариант обложки набора? Для заданного набора S, набора C подмножеств S и целого положительного числа K существуют ли K наборов в C, так что каждая пара элементов S лежит в одном из выбранных подмножеств. Примечание. Нетрудно понять, что эта проблема является NP-полной: учитывая нормальную проблему покрытия множества …

15 np-hardness  set-cover  cc.complexity-theory 

У меня есть многогранник определенный как .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Вопрос: Учитывая вершину из P , есть ли алгоритм полиномиального времени для равномерной выборки из соседей v в графе P ? (Многочлен в измерении, число уравнений и представление б . Я могу предположить, что число …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Недавно я читал очень хорошую статью от Valiant и Vazirani, в которой показано, что если , то не может быть эффективного алгоритма для решения SAT, даже при условии, что он либо неудовлетворителен, либо имеет уникальное решение. , Таким образом, показывая, что SAT не допускает эффективного алгоритма даже при условии, что …

14 np-hardness  np-complete  unique-solution  promise-problems