Informatique théorique pspace

3

Cette variation de TQBF est-elle toujours complète sur PSPACE?

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é comme un jeu entre deux …

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

1

Pour quelles expressions régulières est PSPACE-complete?

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 , ?L ( β ) …

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

1

Quel est l'oracle de complexité minimale qui sépare PSPACE de la hiérarchie polynomiale?

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 …

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

1

La complétude de PSPACE implique-t-elle une dureté d'approximation?

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 approximation constante des facteurs en temps poly?) Qu'en est-il …

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

1

Ces jeux de coloriage ont-ils été résolus?

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, deux …

12 graph-colouring pspace two-player-games

3

Y a-t-il une réduction des jeux de «porte et plaque de pression» qui n'explose pas la longueur de la solution?

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 nombre …

12 reductions nondeterminism pspace

3

Existe-t-il un jeu simple avec une complexité asymétrique?

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 distinguer le vainqueur d'une …

11 cc.complexity-theory np board-games pspace

1

Quelle est la complexité du comptage du nombre de solutions d'un problème P-Space Complete? Que diriez-vous des classes plus complexes?

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 cela ou tout autre type d'inclusion ou …

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

Questions marquées «pspace»