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

Це питання стосується сторінки 125 книги "Стільникові автомати в гіперболічних просторах: Том 2" Моріса Маргенштерна, видавничий архів сучасників, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 На думку автора, питання P = NP невірно поставлено, оскільки в гіперболічній установці P = NP або в позначеннях, використаних пізніше в книзі P h = NP h . Я …

16 cc.complexity-theory 

Я думав про варіант шестигранника , де замість того, щоб два гравці робили ходу по черзі, кожен поворот гравця, вибраного навмання, робить хід. Наскільки важко визначити шанси на перемогу кожного гравця? Ця проблема, очевидно, є в PSPACE, але чи не може вона бути важкою для NP, тим більше PSPACE-повною. Труднощі …

16 cc.complexity-theory  board-games 

Нісан довів у "Псеодорадонських генераторах для обчислень, обмежених космосом", що існує псевдовипадковий генератор, який "дурить" обчислення, обмежені космосом. Чи відповідає ця конструкція кожному оракулу (принаймні для неадаптивних запитів)?

16 cc.complexity-theory  space-bounded  derandomization 

Припустимо, нам задано n n n матрицю M з цілими записами. Чи можемо ми вирішити в P, чи існує перестановка така, що для всіх перестановок нас є ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Мi σ( i )≠ Π Мi π( i )ΠМiσ(i)≠ΠМiπ(i)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Зауваження. Звичайно, можна замінити товар на суму, проблема залишається …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Фон : У оригінальному документі UGC ( PDF ) Subhash Khot він доводить твердість UG для вирішення питання про те, чи заданий екземпляр CSP з обмеженнями всієї форми Не всі рівні (a, b, c) над потрійним алфавітом допускає завдання, що задовольняє 1 - обмежень або не існує завдань, що задовольняють …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Один розрив, який я завжди усвідомлював, що я насправді не розумію, - це між нерівномірною та рівномірною обчислювальною складністю, коли складність ланцюга являє собою неоднорідну версію, а машини Тьюрінга - це речі рівномірні. Я припускаю, що "рівномірний" спосіб є обмеженням класу алгоритмів, наприклад, не допускаючи абсолютно іншої схеми для проблеми …

16 cc.complexity-theory  circuit-complexity 

-fixed точки без проблем автоморфізм запитує автоморфизм графа , який переміщається по крайней мере , до ( п ) вузли. Проблема - N P -повна, якщо k ( n ) = n c для будь-якого c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Однак, якщо то задача є поліноміальним часом Тюрінга, зведеним до задачі графіка …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Знаменита картина світу Ніла Імермана наступна (натисніть, щоб збільшити): Його клас "Воістину здійсненний" не включає жодного іншого класу; моє питання тоді: Що таке проблема AC 0, яка вважається непрактичною, і чому?

16 cc.complexity-theory  circuit-complexity 

Наступна проблема з'являється у списку Ааронсона Десять напіввеликих викликів теорії квантових обчислень . ЧиБ Q P = B P PB Q N CБQП=БППБQNС\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Іншими словами, чи можна "квантову" частину будь-якого квантового алгоритму стиснути до глибини, якщо ми ' Ви готові займатися класичною післяобробкою багаточленного часу? (Це, як відомо, є алгоритмом …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

LogCFL - це набір усіх мов, які можна змінити в просторі журналів до безконтекстної мови. Аналогічно, LogDCFL - це набір усіх мов, які можна змінити в просторі журналів до детермінованої без контексту мови. Дивіться цю статтю у Вікіпедії щодо деяких природних проблем, повних LogCFL. Є кілька інших цікавих проблем, повних …

16 cc.complexity-theory  complexity-classes 

Що я повинен прочитати, щоб зрозуміти цю проблему? Потужність квантових схем малої глибини. Чи ? Іншими словами, чи можна «квантову» частину будь-якого квантового алгоритму стиснути на полілогічну (n) глибину, за умови, що ми готові робити класичну післяобробку поліноміального часу? (Це, як відомо, є алгоритмом Шор.) Якщо так, побудувати квантовий комп'ютер …

16 cc.complexity-theory  reference-request  quantum-computing 

Пов'язана проблема: Теорема Веблена стверджує, що "Графік допускає розклад циклу тоді і лише тоді, коли він є рівним". Цикли є роз'єднанням ребер, але не обов'язково вузлом роз'єднання. По-іншому, "Набір графів графіка можна розділити на цикли, якщо і тільки якщо кожна вершина має рівний ступінь". Моя проблема: Цікаво, чи хтось вивчав …

16 cc.complexity-theory  graph-theory  co.combinatorics 

Я очікую, що відповідь "ні", але я фактично не міг побудувати контрприклад. Різниця полягає в тому, що в ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) ми можемо не змогти вибрати алгоритм O(n2+ε)O(n2+ε)O(n^{2+ε}) рівномірно. в εεε . За аргументом доопрацювання (наприклад, див. Це запитання ), якщо існує набір ce машин Тьюрінга MiMiM_i вирішують мову LLL таким, …

15 cc.complexity-theory  time-complexity 

Я вивчаю проблему, важку для класу кількісно визначених булевих формул з логарифмічним числом чергувань кількісних показників. Проблема в цьому класі виглядатиме так: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Деalogn=nalog⁡n=na_{\log n} = n , а - булева формула змінних .FFFx1…xnx1…xnx_1 …

15 cc.complexity-theory  boolean-formulas 

Назвіть кілька основних прикладів успішної дерандомізації чи принаймні прогресу у демонстрації конкретних доказів до досягнення цілі (не зв'язку з випадковістю твердості)?P=BPPP=BPPP=BPP Єдиний приклад, який мені спадає на думку, - це детерміноване тестування первинності поліноміального часу AKS (навіть для цього існувала методологія, яка передбачала GRH). То які конкретні докази на прикладі …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators