GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
PSPACE
URI:
https://gptkb.org/entity/PSPACE
GPTKB entity
Statements (49)
Predicate
Object
gptkbp:instanceOf
theoretical computer science
gptkbp:closed
gptkb:Kleene_star
gptkb:intersection
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
https://www.w3.org/2000/01/rdf-schema#label
PSPACE
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