Nondeterministic Constraint Logic

URI: https://gptkb.org/entity/Nondeterministic_Constraint_Logic
GPTKB entity
Statements (33)
Predicate Object
gptkbp:instanceOf theoretical computer science
gptkbp:abbreviation gptkb:NCL
gptkbp:appliesTo gptkb:Rush_Hour
gptkb:Sokoban
gptkb:PushPush
motion planning
Sliding Blocks
Sliding Token
graph-based puzzles
motion planning with gadgets
sliding block puzzles
gptkbp:basisFor complexity proofs in games and puzzles
gptkbp:computational_class PSPACE-complete
gptkbp:describedBy gptkb:Games,_Puzzles,_and_Computation
gptkbp:edge_weights non-negative integers
gptkbp:formalized_as edge-weighted directed graphs
gptkbp:generalizes Constraint Logic
https://www.w3.org/2000/01/rdf-schema#label Nondeterministic Constraint Logic
gptkbp:introduced gptkb:Erik_D._Demaine
gptkb:Robert_A._Hearn
gptkbp:introducedIn 2002
gptkbp:move_condition vertex inflow constraints remain satisfied
gptkbp:movement reversing edge direction
gptkbp:relatedTo Constraint Logic
reconfiguration problems
gptkbp:used_in theoretical computer science
gptkbp:used_to_prove gptkb:PSPACE-completeness
EXPTIME-completeness
gptkbp:usedFor proving hardness of games
proving hardness of puzzles
gptkbp:vertex_constraints minimum inflow
gptkbp:bfsParent gptkb:Generalized_Nondeterministic_Constraint_Logic
gptkbp:bfsLayer 6