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

Нехай G - зв'язаний графік. Яка складність підрахунку всіх підключених підграфів, якщо G має такі типи? G загальний. G - планарний. G - двосторонній. Мені не цікаво жодних структур або ..., просто потрібно порахувати всі підключені підграграфи! Мене також цікавить складність підрахунку всіх пов'язаних підграфів з точно k вузлами у …

12 cc.complexity-theory  graph-theory  counting-complexity 

Підраховуючи аргументи, можна показати, що існують многочлени ступеня n в 1 змінній (тобто щось із вигляду які мають складність ланцюга n. Також можна показати, що для такого полінома, як потрібно принаймні множення (це потрібно лише для отримання достатньо високого ступеня). Чи є явні приклади многочленів в 1 змінній із суперлогоарифмічною …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Нещодавно мені нагадали про проблему vs. як пояснив Стівен А. Кук з Математичного інституту глини.Н ПPP\mathsf{P}NPNP\mathsf{NP} Це викликало мій інтерес, і я хотів би дізнатися більше про нього. Першим кроком було б глибше розуміння проблеми та розуміння області загалом. Чи можете ви порекомендувати будь-які книги чи інші ресурси, де я …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Працюючи над дещо незв’язаним проектом для Суреша, я нещодавно натрапив на певну роботу, виконану Пейджером та Оппером щодо користувальницьких систем, і частину їхньої роботи коротко обговорили проблеми, які неможливо перевірити за багаточлен. Мені не вдалося знайти багато інформації про інші проблеми, які неможливо перевірити в поліноміальний час або аналіз такої …

12 cc.complexity-theory  complexity-classes 

Мені цікаво конкретно, чи існує цікава умова щодо відсотка завдань, які відповідають формулі 3SAT, щоб гарантувати, що такі проблеми можна відстежувати. Припустимо, наприклад, клас задач 3SAT, що з можливих призначень задовольняє булева формула; чи можемо ми ефективно знайти задоволення? Для чого є результуючою проблемою в P?2 n ϵϵ ( n …

12 cc.complexity-theory  ds.algorithms  sat  np 

Результат Бейкера-Гілла-Солової показав, що питання P = NP не релятивізується, в тому сенсі, що жодне релятивізуюче доказ (не чутливе до присутності оракула) не може вирішити питання P = NP. Моє запитання: Чи є аналогічний результат для запитання "Чи існує проблема, пов’язана з PH?" Відповідь негативно на це питання означатиме P! …

12 cc.complexity-theory  complexity-classes 

За http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Якщо є PSPACE-повний мову, Р = N P A .АAAПА= NПАPA=NPAP^{A}=NP^{A} Якщо - детермінований оракул полінома-часу, P B ≠ N P B (якщо вважати P ≠ N P ).БBBПБ≠ NПБPB≠NPBP^{B}\ne NP^{B}П≠ NПP≠NPP\ne NP - клас аналогів задач рішення для # P і P ⊆ P P ⊆ P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Знову проблема розбиття краю, складність якої мені цікаво, мотивована попереднім моїм питанням . Введення: кубічний графік G=(V,E)G=(V,E)G=(V,E) Запитання: чи є розділ на E 1 , E 2 , … , E s , таким чином, що підграф, індукований кожним E i, є або кігтом (тобто K 1 , 3 , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Еквівалентним формулюванням теореми PCP є: Для Max 3-SAT слід твердо розрізняти задоволені формули та формули, де не більше фракції пропозицій є задоволеними (для деяких ).r r < 1NПNPNPrrrr < 1r<1r\lt 1 Чи існує якась відома теорема про дихотомію, яка класифікує всі Max CSP на основі того, чи мають вони важкі …

12 cc.complexity-theory  pcp  csp 

Нехай { } і . Я хочу обчислити складність комунікації, щоб визначити, чи асоціативний.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Модель така. задається у вигляді матриці . Алісі (відповідно Боб) надається половина записів матриці навмання (те ж саме …

12 cc.complexity-theory  communication-complexity 

Папір, документ Lauri Hella та José María Turull-Torres, обчислювальні запити з логікою вищого порядку , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 пропонує логіку VO, логіку змінного порядку. Це дозволяє здійснювати кількісну оцінку щодо замовлень над змінними. VO є досить потужним і може виражати деякі не обчислювані запити. (Як …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Які інші проблеми мови, відмінні від ізоморфізму графа, є в ? Чи можете ви дати кілька посилань?NП∩ c o A MNP∩coAMNP\cap coAM Оновлення: Я забув згадати , що я зацікавлений в мовах , невідомо, в .c o NПcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Я читаю доказ звідси і натрапив на технічну (але вирішальну) проблему. Я знаю, що це досить специфічно, і контекст є проблематичним, але я не міг сам це зрозуміти. На сторінках 51 і 55 після подання "стандартних" верифікаторів вони звертаються до модифікацій верифікаторів з метою перевірки розділених завдань. У першому випадку …

12 cc.complexity-theory  pcp 

Легко спостереження полягає в тому, що якщо проблема вирішувана недетермінованої програми поліноміальний час , використовуючи O ( журнал N ) недетермінірованних бітів (тобто, всі свідки логарифмічні в довжину), то ∈ P .ААAO ( журналn )О(журнал⁡н)O(\log n)A ∈ PА∈ПA \in \mathsf{P} Якщо потім задати питання: "Чи легше перевірити свідка, ніж знайти …

12 cc.complexity-theory 

Які є деякі (невідомі) твердження, що якщо істинно, PH повинен руйнуватися? Відповіді, що містять коротке твердження високого рівня з посиланням (-ями), оцінені вдячні. Я намагався здійснити зворотний пошук без особливої ​​долі.

12 cc.complexity-theory  complexity-classes  big-list