List of PSPACE-complete problems
Jump to navigation
Jump to search
Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive.
Games and puzzles
[edit | edit source]Generalized versions of:
- Amazons[1]
- Atomix[2]
- Checkers if a draw is forced after a polynomial number of non-jump moves[3]
- Dyson Telescope Game[4]
- Cross Purposes[5]
- Geography
- Two-player game version of Instant Insanity
- Ko-free Go[6]
- Ladder capturing in Go[7]
- Gomoku[8]
- Hex[9]
- Konane[5]
- Lemmings[10]
- Node Kayles[11]
- Poset Game[12]
- Reversi[13]
- River Crossing[14]
- Rush Hour[14]
- Finding optimal play in Mahjong solitaire[15]
- Scrabble[16]
- Sokoban[14]
- Super Mario Bros.[17]
- Black Pebble game[18]
- Black-White Pebble game[19]
- Acyclic pebble game[20]
- One-player pebble game[20]
- Token on acyclic directed graph games:[11]
Logic
[edit | edit source]- Quantified boolean formulas
- First-order logic of equality[21]
- Provability in intuitionistic propositional logic
- Satisfaction in modal logic S4[21]
- First-order theory of the natural numbers under the successor operation[21]
- First-order theory of the natural numbers under the standard order[21]
- First-order theory of the integers under the standard order[21]
- First-order theory of well-ordered sets[21]
- First-order theory of binary strings under lexicographic ordering[21]
- First-order theory of a finite Boolean algebra[21]
- Stochastic satisfiability[22]
- Linear temporal logic satisfiability and model checking[23]
Lambda calculus
[edit | edit source]- Type inhabitation problem for simply typed lambda calculus
Automata and language theory
[edit | edit source]Circuit theory
[edit | edit source]- Integer circuit evaluation[24]
Automata theory
[edit | edit source]- Word problem for linear bounded automata[25]
- Word problem for quasi-realtime automata[26]
- Emptiness problem for a nondeterministic two-way finite state automaton[27][28]
- Equivalence problem for nondeterministic finite automata[29][30]
- Word problem and emptiness problem for non-erasing stack automata[31]
- Emptiness of intersection of an unbounded number of deterministic finite automata[32]
- A generalized version of Langton's Ant[33]
- Minimizing nondeterministic finite automata[34]
Formal languages
[edit | edit source]- Word problem for context-sensitive language[35]
- Intersection emptiness for an unbounded number of regular languages [32]
- Regular Expression Star-Freeness [36]
- Equivalence problem for regular expressions[21]
- Emptiness problem for regular expressions with intersection.[21]
- Equivalence problem for star-free regular expressions with squaring.[21]
- Covering for linear grammars[37]
- Structural equivalence for linear grammars[38]
- Equivalence problem for Regular grammars[39]
- Emptiness problem for ET0L grammars[40]
- Word problem for ET0L grammars[41]
- Tree transducer language membership problem for top down finite-state tree transducers[42]
Graph theory
[edit | edit source]- Succinct versions of many graph problems, with graphs represented as Boolean circuits,[43] ordered binary decision diagrams[44] or other related representations:
- s-t reachability problem for succinct graphs. This is essentially the same as the simplest plan existence problem in automated planning and scheduling.
- planarity of succinct graphs
- acyclicity of succinct graphs
- connectedness of succinct graphs
- existence of Eulerian paths in a succinct graph
- Bounded two-player Constraint Logic[11]
- Canadian traveller problem.[45]
- Determining whether routes selected by the Border Gateway Protocol will eventually converge to a stable state for a given set of path preferences[46]
- Deterministic constraint logic (unbounded)[47]
- Dynamic graph reliability.[22]
- Graph coloring game[48]
- Node Kayles game and clique-forming game:[49] two players alternately select vertices and the induced subgraph must be an independent set (resp. clique). The last to play wins.
- Nondeterministic Constraint Logic (unbounded)[11]
Others
[edit | edit source]- Finite horizon POMDPs (Partially Observable Markov Decision Processes).[50]
- Hidden Model MDPs (hmMDPs).[51]
- Dynamic Markov process.[22]
- Detection of inclusion dependencies in a relational database[52]
- Computation of any Nash equilibrium of a 2-player normal-form game, that may be obtained via the Lemke–Howson algorithm.[53]
- The Corridor Tiling Problem: given a set of Wang tiles, a chosen tile and a width given in unary notation, is there any height such that an rectangle can be tiled such that all the border tiles are ?[54][55]
See also
[edit | edit source]Notes
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Go ladders are PSPACE-complete Archived 2007-09-30 at the Wayback Machine
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c d Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ A. Condon, J. Feigenbaum, C. Lund, and P. Shor, Random debaters and the hardness of approximating stochastic functions, SIAM Journal on Computing 26:2 (1997) 369-400.
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Lay summary: Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). - ^ Gilbert, Lengauer, and R. E. Tarjan: The Pebbling Problem is Complete in Polynomial Space. SIAM Journal on Computing, Volume 9, Issue 3, 1980, pages 513-524.
- ^ Philipp Hertel and Toniann Pitassi: Black-White Pebbling is PSPACE-Complete Archived 2011-06-08 at the Wayback Machine
- ^ a b Takumi Kasai, Akeo Adachi, and Shigeki Iwata: Classes of Pebble Games and Complete Problems, SIAM Journal on Computing, Volume 8, 1979, pages 574-586.
- ^ a b c d e f g h i j k K. Wagner and G. Wechsung. Computational Complexity. D. Reidel Publishing Company, 1986. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Integer circuit evaluation
- ^ Garey & Johnson (1979), AL3.
- ^ Garey & Johnson (1979), AL4.
- ^ Garey & Johnson (1979), AL2.
- ^ Galil, Z. Hierarchies of Complete Problems. In Acta Informatica 6 (1976), 77-88.
- ^ Garey & Johnson (1979), AL1.
- ^ L. J. Stockmeyer and A. R. Meyer. Word problems requiring exponential time. In Proceedings of the 5th Symposium on Theory of Computing, pages 1–9, 1973.
- ^ J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation, first edition, 1979.
- ^ a b D. Kozen. Lower bounds for natural proof systems. In Proc. 18th Symp. on the Foundations of Computer Science, pages 254–266, 1977.
- ^ Langton's Ant problem Archived 2007-09-27 at the Wayback Machine, "Generalized symmetrical Langton's ant problem is PSPACE-complete" by YAMAGUCHI EIJI and TSUKIJI TATSUIE in IEIC Technical Report (Institute of Electronics, Information and Communication Engineers)
- ^ T. Jiang and B. Ravikumar. Minimal NFA problems are hard. SIAM Journal on Computing, 22(6):1117–1141, December 1993.
- ^ S.-Y. Kuroda, "Classes of languages and linear-bounded automata", Information and Control, 7(2): 207–223, June 1964.
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Garey & Johnson (1979), AL12.
- ^ Garey & Johnson (1979), AL13.
- ^ Garey & Johnson (1979), AL14.
- ^ Garey & Johnson (1979), AL16.
- ^ Garey & Johnson (1979), AL19.
- ^ Garey & Johnson (1979), AL21.
- ^ Antonio Lozano and Jose L. Balcazar. The complexity of graph problems for succinctly represented graphs. In Manfred Nagl, editor, Graph-Theoretic Concepts in Computer Science, 15th International Workshop, WG'89, number 411 in Lecture Notes in Computer Science, pages 277–286. Springer-Verlag, 1990.
- ^ J. Feigenbaum and S. Kannan and M. Y. Vardi and M. Viswanathan, Complexity of Problems on Graphs Represented as OBDDs, Chicago Journal of Theoretical Computer Science, vol 5, no 5, 1999.
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Alex Fabrikant and Christos Papadimitriou. The complexity of game dynamics: BGP oscillations, sink equlibria, and beyond Archived 2008-09-05 at the Wayback Machine. In SODA 2008.
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
References
[edit | edit source]- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Eppstein's page on computational complexity of games
- The Complexity of Approximating PSPACE-complete problems for hierarchical specifications