Problèmes non connus pour être PSPACE-complete

Quels sont les problèmes avec les propriétés suivantes:

1) ils sont la restriction de problèmes (peut-être bien connus) qui sont PSPACE-complets;

2) les versions restreintes sont dans PSPACE, mais c'est un problème ouvert si elles sont complètes pour PSPACE (ou même si elles sont NP-hard).

Quatre exemples de "puzzles & C.":

• La complexité de 1x1 Rush Hour [1] (PSPACE-complete pour les blocs de taille 2x1);
• [ RESOLU ] La complexité du plan de métro Subway Shuffle [1] (PSPACE-complet même pour les graphiques planaires, un brouillon du document peut être téléchargé ici );
• La complexité de Lunar-Lockout sans blocs fixes [1] (PSPACE-complete avec blocs fixes);
• (pas si célèbre) La complexité de (mon) problème de réseau de commutation (c'est une restriction du Sokoban complet de PSPACE, NP-dur dans le cas non planaire, voir ce Q&R sur cstheory ).

Si vous en avez plusieurs, regroupez-les par sujet.

[1] Robert A. Hearn, Erik D. Demaine: jeux, puzzles et calcul. AK Peters 2009, ISBN 978-1-56881-322-6, pp. I-IX, 1-237

Échecs rétrogrades. Il est complet sur si vous êtes autorisé à avoir arbitrairement plusieurs rois et qu'aucun d'entre eux ne peut être en échec à tout moment. Si aucun (ou un seul par joueur) rois n'est autorisé, il est connu qu'il y a des positions qui nécessitent des mouvements exponentiels, mais le problème n'est connu que pour être dur.$PSPACE$$NP$

http://arxiv.org/abs/1409.1530

/mathpro/27944/do-there-exist-chess-positions-that-require-exponential-many-moves-to-reach

Je ne sais pas si cela correspond à votre notion de restriction, mais voilà.

Le "problème de taille de circuit minimum QBF-oracle": étant donné la table de vérité d'une fonction booléenne et du paramètre k, existe-t-il un circuit de taille au plus k calculant la fonction sur la base ET, OU, NON, et QBF? (Une porte QBF interprète sa chaîne d'entrée comme une formule booléenne F entièrement quantifiée, et la sortie est 1 si F est vrai.)

Le problème est certainement dans PSPACE, connu pour être complet sous les réductions de ZPP, mais pas connu pour les réductions de temps polynomiales déterministes. Il est possible que PSPACE ne soit pas complet dans le cadre des réductions d'espace de journalisation! Voir Allender, Holden et Kabanets .

Le problème suivant correspond à l'exigence en quelque sorte double ...

Confinement d'expressions régulières , c'est-à-dire tester si le langage d'une expression régulière est contenu dans le langage d'une expression régulière (c'est-à-dire si ) est un PSPACE bien connu -problème complet, même si est choisi comme (alors on l'appelle Universalité des expressions régulières).$r$$r'$$L(r)\subseteq L(r')$$r$$\Sigma^*$

De même, l' équivalence des expressions régulières demande si et est PSPACE-complet (dureté résultant de l' universalité ).$L(r)=L(r')$

Cependant, l'image devient moins claire pour les expressions régulières de chaîne : elles sont de la forme générale (donc: chaîne) avec seulement des facteurs restreints . Un facteur peut être de la forme où chaque est une chaîne ou ou ouavec le même type de . Un exemple est.r i e = ( w 1 + … + w m ) w j e ∗ e + e ? e a ( b + c d ) ( a b + c d e + f ) ∗ d $r_1\cdots r_n$$r_i$$e=(w_1+\ldots+w_m)$$w_j$$e^*$$e^+$$e?$$e$$a(b+cd)(ab+cde+f)^*d?$

Le confinement des expressions régulières de la chaîne est toujours complet sur PSPACE mais l' équivalence des expressions régulières de la chaîne n'est pas claire (bien que connu pour être coNP-hard et dans PSPACE).

Soit dit en passant, la limite supérieure de PSPACE suit facilement en traduisant les expressions en NFA et en recherchant de manière non déterministe un contre-exemple: devinez une chaîne lettre par lettre et gardez une trace des jeux d'états qui peuvent être atteints dans les NFA.

jeux avec seulement 2 boutons et 2 portes dans lesquels toutes les portes sont initialement fermées:

Les "niveaux" sont des sous-graphes finis de la grille planaire . sommets sont identifiés comme l'un des [début, bouton, vide, porte, fin]. Chaque sommet de porte possède un ensemble de boutons d'ouverture et un ensemble de boutons de fermeture. Une k-porte est une porte qui est contrôlée par au plus k boutons, et un k-bouton est un bouton qui contrôle au plus k portes. Chaque fois que sur un sommet de bouton, on peut appuyer sur le bouton, ce qui ouvre les portes pour lesquelles le bouton est un bouton d'ouverture et ferme les portes pour lesquelles le bouton est un bouton de fermeture. Le but est de passer du sommet de départ au sommet de fin sans passer par des portes fermées. $\:$$\:$$\:$$\:$$\:$


Ces niveaux peuvent clairement être résolus dans FPSPACE, et les résoudre est difficile FNPSPACE
même lorsque [chaque porte a exactement un bouton d'ouverture et exactement un bouton de fermeture]
et [chaque bouton ouvre exactement une porte et ferme exactement une porte].
D'un autre côté, cet article déclare que "C'est un problème ouvert de savoir si un jeu avec
2 boutons et 2 portes reste PSPACE-hard lorsque toutes les portes sont initialement fermées."


La dureté FNPSPACE lorsque toutes les portes sont initialement fermées sera récupérée si les conditions exactement une de chaque de mon paragraphe précédent sont modifiées de l'une des manières suivantes:

permettre aux portes d'avoir 2 boutons d'ouverture (en plus d'1 bouton de fermeture)
ou
permettre aux boutons de fermer 2 portes (en plus d'ouvrir 1 porte)

.


La page 10 de ce document montre que la détermination de la solvabilité est NC1 -hard même sans boutons et
sans portes. Sinon, je ne connais aucun résultat de dureté pour résoudre les niveaux avec 2 boutons et 2 portes lorsque toutes les portes sont initialement fermées (même sans les conditions exactes d'une de chaque).$\:$