Вопросы с тегом «reductions»

Здесь цель состоит в том, чтобы свести произвольную задачу SAT к 3-SAT за полиномиальное время, используя наименьшее количество предложений и переменных. Мой вопрос мотивирован любопытством. Менее формально я хотел бы знать: «Каково« наиболее естественное »сокращение с SAT до 3-SAT?» Теперь сокращение, которое я всегда видел в учебниках, выглядит примерно так: …

18 cc.complexity-theory  sat  reductions 

Недавно я прочитал доказательство, которое намеревалось показать, что проблема была сильно NP-трудной, просто сводя ее (за полиномиальное время) от сильно NP-трудной задачи. Это не имело никакого смысла для меня. Я бы подумал, что вам нужно будет показать, что любые числа, использованные в сокращении, и случаи задачи, к которой вы сводите, …

17 cc.complexity-theory  np-hardness  reductions 

Известно, что пересечение трех общих матроидов является NP-трудным ( источником ), что осуществляется посредством сокращения из гамильтонова цикла. Сокращение использует один графический матроид и два матроида связи. Частный случай проблемы, над которой я работаю, может быть решен путем пересечения нескольких графических матроидов, но я не смог найти, есть ли эта …

16 reference-request  np-hardness  reductions 

Или, другими словами, у нас есть это для каждого языка и , или ?B A ≤ p B B ≤ p AAAAВВBA ≤пВA≤пВA \leq_p BB ≤пAВ≤пAB \leq_p A

15 reductions  complexity 

Я задал этот вопрос 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 

Как всем известно, знаменитая книга Гэри и Джонсона (и многие другие) дает превосходный справочник по технике редукции в классической обстановке. Существуют ли какие-либо обзоры или книги на тему техники редукции в параметризованном алгоритме, скажем, редукция fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Проблема: Учитывая представленный булевой схемой, генерируем равномерно случайный x ∈ { 0 , 1 } n такой, что ϕ ( x ) = 1 (или выводим ⊥, если таких нет х существует). ϕ : { 0 , 1 }N→ { 0 , 1 }φ:{0,1}N→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { …

14 np-hardness  counting-complexity  reductions 

Как все знают, 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}

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Есть ли способ закодировать экземпляр суммы подмножества или проблему разбиения числа так, чтобы (небольшое) решение целочисленного отношения дало ответ? Если не точно, то в каком-то вероятностном смысле? Я знаю, что LLL (и, возможно, PSLQ) использовались с умеренным успехом в решении задач Subset Sum в области «низкой плотности», где диапазон выбранных …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Мне кажется, что большинство теоретиков сложности обычно верят в следующее философское правило: Если мы не можем найти эффективный алгоритм для задачи и можем свести проблему A к проблеме B , то, вероятно, эффективного алгоритма для проблемы B тоже нет.AAAAAABBBBBB Вот почему, например, когда новая проблема доказана NP-полной , мы просто …

14 cc.complexity-theory  big-picture  reductions 

Лэнс Фортноу недавно заявил, что доказательство L! = NP должно быть проще, чем доказательство P! = NP : Отдельный NP от логарифмического пространства. Я дал четыре подхода в обзоре диагонализации перед разделом 2001 года (Раздел 3), хотя ни один из них не удался. Должно быть намного проще, чем отделять P …

13 cc.complexity-theory  reductions  relativization 

Когда мы хотим доказать , что является -полных, то стандартный подход выставляться полиномиальное время вычислимой сокращение многих один из известного -полных задачи в . В этом контексте нам не нужно жестко ограничивать время выполнения сокращения. Достаточно иметь любую полиномиальную границу, что позволяет ей иметь очень высокую степень.L∈NPL∈NPL\in \bf NPNPNP\bf NPNPNP\bf …

13 cc.complexity-theory  reductions  np-complete 

Могут ли все последующие одновременно выполняться? LsLsL_s содержится в для всех натуральных чисел . sLs+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s - это язык всех конечных слов над .{0,1}{0,1}\{0,1\} Существует некоторый класс сложности и понятие соответствующего сокращения для такой , что для каждого , тяжело .C s L s CCCCCCCsssLsLsL_sCCC

13 cc.complexity-theory  complexity-classes  reductions 

Некоторое время назад я опубликовал справочный запрос для задач с графами, где мы хотим найти 2-секционное ребро, в котором оба набора удовлетворяют свойству, не связанному с их количеством элементов. Я пытался доказать, что следующая проблема NP-трудна: Для турнира существует ли множество дуг обратной связи в которое определяет транзитивное отношение?G = …

13 np-hardness  reductions