Запитання з тегом «cc.complexity-theory»

У складності ланцюга ми маємо розділення між потужностями різних моделей схем. У складності доказування ми маємо розділення між повноваженнями різних систем доказування. Але в алгоритмічній формі у нас залишається лише кілька розділень між потужностями алгоритмічних парадигм . Мої запитання нижче мають на меті торкнутися цієї останньої проблеми для двох парадигм: …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

У простому вигляді: Чи може двосторонній кінцевий автомат розпізнавати vvv -поверхові графіки, які містять трикутник із станами o(v3)o(v3)o(v^3) ? Деталі Тут представляють інтерес vvv -верхові графіки, кодовані за допомогою послідовності ребер, кожен край - пара різних вершин від {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} . Припустимо, (Mv)(Mv)(M_v) - це послідовність двосторонніх кінцевих автоматів (детермінованих або …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

FewP - клас NPNPNP -проблем з поліномом, пов'язаним кількістю рішень (у вхідному розмірі). Там немає ніякого відомого NPNПNP -повний проблеми в fewPfешПfewP . Мене цікавить, як далеко ми можемо розтягнути це спостереження. Чи існує якась природна NPNПNP -повна проблема з квазіполіноміальною верхньою кількістю рішень (свідків)? Чи існує загальновизнана думка, яка …

15 cc.complexity-theory  np 

Що станеться, якщо ми визначимо P P A DPPAD{\bf PPAD} таким чином, що замість багаточасної схеми Тюрінга-машини / полісистеми проблема логотипу Turing-машини або ланцюга A C 0AC0{\bf AC^0} кодує проблему? В останній час дає більш швидкі алгоритми для ланцюга здійсненності для невеликих ланцюгів виявилися важливими, так цікаво , що відбувається …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

Графічний ізоморфізм ( ) є хорошим кандидатом на проміжну задачу . Проміжні проблеми існують, якщо . Я шукаю природну проблему, яка складна для при зменшенні Карпа (Задача графіка така, що ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Чи існує природна графічна проблема графіка яка не є ні еквівалентною, ні відомою неповною?GIGIGIGIGIGINPNПNP

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Протягом останніх двох десятиліть була проведена фантастична робота над Постійним. Я деякий час замислювався над можливістю алгоритму гладкого P для постійних негативних матриць. Звичайно, є відомий алгоритм JSV, але це фпрас. Думаючи про іншу роботу в рамках Smoothed Complexity, сильним натяком на перебування в Smoothed P було наявність алгоритму fpras …

15 cc.complexity-theory  complexity-classes 

Відомо, що мінімізація розміру регулярного виразу є повною PSPACE, навіть якщо у нас є специфікація DFA . Які результати, якщо мова кінцева? Цю проблему можна розглядати у двох моделях: Вхід - це всі рядки в мові, і розмір введення вимірюємо за сумою довжини всіх рядків. Вхід є DFA, і ми …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Я сподівався, що хтось, можливо, зможе мені пояснити, чому саме проблема продукту підмножини сильно є 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 

Мене взагалі цікавить метод форсування, який застосовують Бейкер-Гілл-Соловай та Коен. Я шукаю стільки джерел, скільки можу взяти до рук питання щодо самої техніки або її використання. Хтось має пропозиції?

15 cc.complexity-theory  set-theory 

Система імовірнісних доказів зазвичай називається обмеженням , де Артур може використовувати лише випадкові біти і може лише досліджувати біти сертифіката підтвердження, надісланого Мерліном (див. http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) Однак у 1990 році Бабай, Фортноу та Лунд довели, що , тож це не зовсім …

15 cc.complexity-theory  pcp  interactive-proofs 

Фон Формула, прочитана один раз для набору воріт (також її називають основою) - це формула, в якій кожна вхідна змінна з'являється один раз. Формули для одноразового читання зазвичай вивчаються на основі De Morgan (яка має 2-бітні ворота AND і OR, та 1-бітний затвор НЕ) та повну бінарну основу (яка має …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Розглянемо сукупність множин F = { F 1 , F 2 , … , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} над базовим набором U = { e 1 , e 2 , … , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} де | F i | |Fi||F_i| ≪ ≪\ll nnn і e i ∈ F iei∈Fie_i \in …

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

Ми знаємо, що SAT-вирішувачі на базі DPLL не відповідають правильно на незадовільні екземпляри (принцип дірки голубів), наприклад на "існує ін'єктивне відображення від до n ": n + 1 nП Н ППНП\mathrm{PHP}n + 1н+1n+1ннn П Н Пn + 1н: = ⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n …

15 cc.complexity-theory  lo.logic  proof-complexity 

У чому полягає обчислювальна складність наступної проблеми: задані дві складні матриці і перевіряють, чи є матриця перестановки така, що: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Якщо це допомагає, можна припустити, що і є гермітами (або навіть, що і справжні та симетричні).AAABBBAAABBB Примітки: Проблема випливає з перевірки, чи пов'язані два набори …

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

Розглянемо наступну проблему: Враховуючи графік запиту та референтний графік , ми хочемо знайти інжективне відображення яке мінімізує кількість ребра такі, що . Це узагальнення проблеми ізоморфізму підграфа, де ми дозволяємо ізографам підграфів до кількох відсутніх ребер і хочемо знайти спосіб мінімізувати кількість ребер, що відсутні.G ′ = ( V ′ …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism