Запитання з тегом «pspace»

Вирішення, чи визначається кількісна булева формула, така як ∀ x1∃ x2∀ x3⋯ ∃ xнφ ( х1, х2, … , Хн) ,∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), завжди оцінюється як істинне - це класична проблема PSPACE-завершена. Це можна розглядати як гру між двома гравцями, з …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Загальновідомо, що наступна проблема є повною для PSPACE: За умови регулярного виразу , чи ?ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* А як щодо визначення еквівалентності іншим (нерухомим) регулярним виразам ?αα\alpha За умови регулярного вираження , чи ?ββ\betaL ( β) = L ( α )L(β)=L(α)L(\beta) = L(\alpha) Відомо наступне: Для …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Фон Відомо , що існує оракул AAA такий , що PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Відомо навіть, що поділ має відношення до випадкового оракула. Неофіційно можна трактувати це так, що існує багато оракул, для яких PSPACEPSPACEPSPACE і PHPHPH є окремими. Питання Як складно ці оракули , які відокремлюють PSPACEPSPACEPSPACE від PHPHPH …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

У коментарі в іншому повідомленні cstheorySE зазначається, що повнота PSPACE передбачає твердість APX. Чи може хто-небудь пояснити / поділитися посиланням на це? Це "тісно"? (тобто, чи є проблеми, повні PSPACE, проблема оптимізації яких передбачає постійне наближення фактора в полі час?) Як щодо повноти для деякого рівня PH? Чи означає це …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

У статті "Про складність деяких ігор на розмальовки" Бодлендер наводить кілька відкритих питань щодо складності вирішення питання, чи має гравець 1 або 2 стратегію виграшу в деяких гральних розмальовках. Хтось знає, чи вони були вирішені? 1) В одній грі два гравці по черзі вибирають одну вершину в графіку і розфарбовують …

12 graph-colouring  pspace  two-player-games 

Ця стаття дає доказ того, що в грі з дверима та напірними плитами важко визначити, чи може аватар (гравця) досягти певного місця. Це доводиться зменшенням від TQBF , а довжина отриманих розчинів експоненціально залежить від кількості універсальних кванторів у формулі. Чи є скорочення від машини NPSPACE до такої гри, для …

12 reductions  nondeterminism  pspace 

Розгляньте повну інформацію двокористувацьких комбінаторних ігор, які закінчуються після поліноміального числа ходів, і, по черзі, гравці вибирають із обмеженої кількості дозволених ходів. Звичайне питання полягає в тому, наскільки важко сказати переможцю з певної позиції. Іншим було б, як важко вибрати виграшну ходу з виграшної позиції. (Тут я називаю хід виграшним, …

11 cc.complexity-theory  np  board-games  pspace 

Я думаю, це буде називатися # P-Space, але я знайшов лише одну статтю, тумано згадуючу про це. Як щодо рахункової версії проблем EXP-TIME-Complete, NEXP-Complete, а також проблем EXP-SPACE-Complete? Чи є якась попередня робота, яку можна навести стосовно цього чи будь-якого типу включення чи виключення, наприклад, теорема Тоди?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace