Запитання з тегом «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 A ?ААAББBA ≤pБА≤pБA \leq_p BB ≤pАБ≤pАB \leq_p A

15 reductions  complexity 

Я задав це запитання 10 днів тому на cs.stackexchange тут, але я не мав жодної відповіді. У дуже відомій роботі (у мережевому співтоваристві) Wang & Crowcroft представляють деякі -комплектні результати обчислення шляху за кількома адитивними / мультиплікативними обмеженнями. Перша проблема полягає в наступному:NPNP\mathsf{NP} Давши спрямований графік та дві показники ваги …

15 np-hardness  reductions 

Я сподівався, що хтось, можливо, зможе мені пояснити, чому саме проблема продукту підмножини сильно є NP-складною, тоді як проблема суми підмножини є слабкою. Підмножина Сума: Дано і T , чи існує підмножина X ′ така, що ∑ i ∈ X ′ x iX={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X' .∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T Підгрупа …

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 }н→ { 0 , 1 }ϕ:{0,1}н→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { …

14 np-hardness  counting-complexity  reductions 

Як всім відомо, SAT є завершеним для wrt багаточленних багаторазових скорочень. Це все ще повне скорочення wrt багато-одного.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мої запитання - яка мінімально необхідна глибина для скорочень? Більш офіційно, Що найменше такого, що SAT - \ mathsf {NP} -hard wrt \ mathsf {AC ^ 0_d} багато-один скорочення?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мені здається, що …

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АAAАAAВБBBБBB Ось чому, наприклад, коли нову проблему доведено NP-Complete, ми просто …

14 cc.complexity-theory  big-picture  reductions 

Нещодавно Lance Fortnow стверджував, що довести L! = NP повинно бути простіше, ніж довести P! = NP : Відокремлюємо НП від логарифмічного простору. Я дав чотири підходи в передблогєвому опитуванні 2001 р. Про діагоналізацію (Розділ 3), хоча жоден не вичерпувався. Повинно бути набагато простіше, ніж відокремлювати P від ​​NP. Розділ …

13 cc.complexity-theory  reductions  relativization 

Коли ми хочемо довести , що є -повна, то стандартний підхід виставлятися поліноміальний час обчислюваною скорочення багатьох один з відомого -повна завдання в . У цьому контексті нам не потрібна чітка залежність від часу скорочення. Досить мати будь-який поліном, що дозволяє мати дуже високий ступінь.N P N P LL ∈ …

13 cc.complexity-theory  reductions  np-complete 

Чи можуть утримуватися наступні всі одночасно? L s + 1 sLсLsL_s міститься в для всіх натуральних чисел .Ls + 1Ls+1L_{s+1}сss { 0 , 1 }L = ⋃сLсL=⋃sLsL = \bigcup_s L_s - мова всіх кінцевих слів понад .{ 0 , 1 }{0,1}\{0,1\} Існує певний клас складності і поняття відповідного скорочення для …

13 cc.complexity-theory  complexity-classes  reductions 

Деякий час тому я опублікував довідковий запит щодо проблем із графіками, де ми хочемо знайти 2-х розділ ребер, де обидва набори виконують властивість, не пов’язану з їх кардинальністю. Я намагався довести, що наступна проблема є важкою для NP: Враховуючи турнір , чи існує дуга зворотного зв’язку F ⊆ E в …

13 np-hardness  reductions