PSPACE

URI: https://gptkb.org/entity/PSPACE

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:theoretical_computer_science
gptkbp:closed	gptkb:Kleene_star gptkb:intersection gptkb:Union complement concatenation
gptkbp:completeProblem	gptkb:Quantified_Boolean_Formula_(QBF)
gptkbp:contains	gptkb:EXPTIME gptkb:co-NP P NP
gptkbp:definedIn	set of decision problems solvable by a Turing machine using polynomial space
gptkbp:introduced	gptkb:Stephen_Cook
gptkbp:introducedIn	1970
gptkbp:notation	gptkb:PSPACE
gptkbp:openQuestion	gptkb:PSPACE_vs_EXPTIME gptkb:P_vs_PSPACE NP vs PSPACE
gptkbp:PSPACE-complete	gptkb:Generalized_Amazons gptkb:Generalized_Circuit_Value_Problem gptkb:Generalized_Edge_Kayles gptkb:Generalized_Formula_Game gptkb:Generalized_Geography gptkb:Generalized_Gomoku gptkb:Generalized_Hex gptkb:Generalized_Kayles gptkb:Generalized_Lemmings gptkb:Generalized_Node_Kayles gptkb:Generalized_Nondeterministic_Constraint_Logic gptkb:Generalized_Othello gptkb:Generalized_Planning_Problem gptkb:Generalized_PushPush gptkb:Generalized_QBF gptkb:Generalized_Reversi gptkb:Generalized_Rush_Hour gptkb:Generalized_Satisfiability_with_Quantifiers gptkb:Generalized_Sliding_Block_Puzzles gptkb:Generalized_Sokoban gptkb:Generalized_Tetris gptkb:Generalized_Word_Problem_for_Groups gptkb:QBF gptkb:Quantified_Constraint_Satisfaction_Problem gptkb:TQBF Generalized 1-player games Generalized 2-player games
gptkbp:relatedTo	gptkb:Savitch's_theorem
gptkbp:bfsParent	gptkb:complexity_theory
gptkbp:bfsLayer	4
https://www.w3.org/2000/01/rdf-schema#label	PSPACE