Décider si une formule booléenne quantifiée telle que ∀ x1∃ x2∀ x3⋯ ∃ xnφ ( x1, x2, … , Xn) ,∀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), évalue toujours à true est un problème classique PSPACE-complete. Cela peut être considéré...
Il est bien connu que le problème suivant est PSPACE-complete: Étant donné l'expression régulière , ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Qu'en est-il de la détermination de l'équivalence avec d'autres expressions régulières (fixes) ?αα\alpha Étant donné l'expression régulière...
Contexte Il est connu qu'il existe un oracle AAA de telle sorte que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . On sait même que la séparation tient par rapport à un oracle aléatoire. De manière informelle, on peut interpréter cela comme signifiant qu'il existe de nombreux oracles pour...
Il est mentionné dans un commentaire dans un autre article de cstheorySE que PSPACE- exhausteness implique APX-hardness. Quelqu'un peut-il expliquer / partager une référence pour cela? Est-ce "serré"? (c.-à-d. y a-t-il des problèmes PSPACE complets dont le problème d'optimisation admet une...
Cet article prouve que dans un jeu avec des portes et des plaques de pression, il est difficile pour PSPACE de déterminer si l'avatar (du joueur) peut atteindre un emplacement donné. Cela est prouvé par une réduction de TQBF , et la longueur des solutions résultantes dépend exponentiellement du...
Dans l'article "Sur la complexité de certains jeux de coloriage", Bodlaender pose quelques questions ouvertes sur la complexité de décider si le joueur 1 ou 2 a une stratégie gagnante dans certains jeux de coloriage de graphiques. Est-ce que quelqu'un sait s'ils ont été résolus? 1) Dans une partie,...
Je suppose qu'il s'appellerait # P-Space mais je n'ai trouvé qu'un seul article le mentionnant vaguement. Que diriez-vous de la version de comptage des problèmes EXP-TIME-Complete, NEXP-Complete ainsi que EXP-SPACE-Complete? Y a-t-il des travaux antérieurs que l'on peut citer en ce qui concerne...
Considérez les jeux combinatoires à deux joueurs à informations complètes qui se terminent après un nombre polynomial de mouvements, et d'une manière alternée, les joueurs choisissent parmi un nombre fini de mouvements autorisés. La question habituelle est de savoir à quel point il est difficile de...