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

Часто цитується філософське обгрунтування думки, що P! = NP навіть без доказів. Інші класи складності мають свідчення того, що вони є різними, тому що, як ні, то виникли б "дивовижні" наслідки (наприклад, крах ієрархії поліномів). Моє запитання полягає в тому, що є підставою для переконання, що клас PPAD є незламним? …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Навколо існує безліч проблем, повних NP, та джерела їх збору, наприклад, дивіться книгу Гарі та Джонсона. Мені було б також цікаво переглянути список проблем, повних NEXP. Чи є одна? Як я припускаю, що цього немає, я відкриваю це питання (чи це повинен бути вікі спільноти? Я не знаю про ці …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

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

30 cc.complexity-theory  complexity-classes  conditional-results 

Припустимо, що P = NP вірно. Чи було б тоді якесь практичне застосування для побудови квантового комп'ютера, такого як швидше вирішення певних проблем, чи будь-яке таке вдосконалення було б неактуальним, виходячи з того, що P = NP є правдою? Як би ви характеризували підвищення ефективності, який би стався, якби квантовий …

29 cc.complexity-theory  complexity-classes  quantum-computing 

Можна припустити, що оскільки зворотне значення означатиме . Теорема Ладнера встановлює, що якщо \ mathsf {P} \ ne \ mathsf {NP}, то \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . Однак, схоже, доказ не узагальнює \ …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Уніфікований NC-простір NC-простору міститься в детермінованому полілогічному просторі (іноді пишеться PolyL). Чи є рівномірний RNC з логістичним простором і в цьому класі? Стандартна рандомізована версія PolyL повинна бути в PolyL, але я не бачу, що (рівномірний) RNC знаходиться в рандомізованому PolyL. Складність, яку я бачу, полягає в тому, що в …

28 complexity-classes  randomized-algorithms 

Читаючи статтю "Чи пора оголосити перемогу в підрахунку складності?" в блозі "Загублений лист Годеля та Р = НП" вони згадали про дихотомію для ДСП. Після деякого посилання, слідуючи за гуглами та wikipeding, я натрапив на теорему Ладнера : Теорема Ладнера : Якщо , то в N P ∖ P є …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Parity-L - це набір мов, розпізнаваний недетермінованою машиною Тюрінга, який може розрізняти лише парне число чи непарне число шляхів "прийняття" (а не нульове чи не нульове число шляхів прийняття), і який є далі обмежена робота в логарифмічному просторі. Розв’язання лінійної системи рівнянь над ℤ 2 є повною задачею для Parity-L, …

27 cc.complexity-theory  complexity-classes  conditional-results 

Шива Кінталі щойно оголосив (класний!) Результат, що ізоморфізм графіків для обмежених графіків ширини ширини є твердий≥4≥4\geq 4⊕L⊕L\oplus L . Неофіційно моє запитання: "Наскільки це важко?" Ми знаємо, що нерівномірно див. Відповіді на це питання . Ми також знаємо, що навряд чи , дивіться відповіді на це питання . Як дивно, …

26 cc.complexity-theory  complexity-classes  logspace 

Дослідження стислого представлення графіків було ініційоване Гальперіном та Вігдерсоном у статті з 1983 року, де вони доводять, що для багатьох простих задач, таких як пошук трикутника у графі, відповідна лаконічна версія в -комплектній. Пападімітріу та Янаккакіс продовжують цей напрямок досліджень і доводять, що для проблеми яка є -комплектна / -повна, …

26 cc.complexity-theory  reference-request  complexity-classes 

Які були б наслідки #P = FP? Мене цікавлять як практичні, так і теоретичні наслідки. З практичної точки зору мене особливо цікавлять наслідки для штучного інтелекту. Показники до паперів чи книг більш ніж вітаються. Будь ласка, не кажіть, що #P = FP означає P = NP, я це вже знаю. …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Чи є якісь природні проблеми в , які не є (як відомо, як вважається) в ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Очевидно, що найбільшим, про кого всі знають у є версія рішення факторингу (чи має n коефіцієнт розміру не більше k), але це насправді в .NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

Нещодавно Райан Вілламс довів, що конструктивність у природному доказі неминуча для отримання розділення класів складності: N E X PNЕХП\mathsf{NEXP} і T C0ТС0\mathsf{TC}^{0} . Конструктивність у Natural Proof - це умова, що всі комбінаторні докази складності ланцюга задовольняють, і ми можемо вирішити, чи має цільова функція в N E X PNЕХП\mathsf{NEXP} …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Здравствуйте, Хлопці, я розумію, що хитрість накладки дозволяє нам перевести класи складності вгору - наприклад, . Прокладка працює, "надуваючи" вхід, виконуючи перетворення (скажімо, скажімо, в ), що дає "магічний" алгоритм, який можна запустити на вкладеному вході. Хоча це має технічний сенс, я не можу зрозуміти, як це працює. Що саме …

25 cc.complexity-theory  complexity-classes  padding 

Це пов'язано з питанням: Чи вже відомий розмір членів свідків для кожної мови НП? Деякі природні (-повні) задачі мають лінійну довжину свідків: задовольняюче завдання для , послідовність вершин для тощо. S A T H A M P A T HNPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Розглянемо клас складності " обмежений для очевидців лінійної довжини". Формальне …

24 cc.complexity-theory  complexity-classes  np