Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:appearsIn |
Theoretical Computer Science literature
|
| gptkbp:basedOn |
gptkb:Sokoban
|
| gptkbp:complexity |
gptkb:NP-hard
PSPACE-complete |
| gptkbp:describes |
A version of the Sokoban puzzle where the board size and number of boxes are unbounded
|
| gptkbp:firstProvedPSPACECompleteBy |
gptkb:Schaeffer
gptkb:Culberson |
| gptkbp:firstProvedPSPACECompleteIn |
1997
|
| gptkbp:hasApplication |
gptkb:artificial_intelligence
robotics |
| gptkbp:hasVariant |
gptkb:Pull-1
gptkb:Pull-k gptkb:Push-1 gptkb:Push-k gptkb:PushPull gptkb:PushPush gptkb:PushPush-1 gptkb:PushPush-k gptkb:Sokoban_with_holes Sokoban with fixed obstacles |
| https://www.w3.org/2000/01/rdf-schema#label |
Generalized Sokoban
|
| gptkbp:relatedTo |
motion planning
puzzle games |
| gptkbp:studiedIn |
theoretical computer science
|
| gptkbp:bfsParent |
gptkb:PSPACE
|
| gptkbp:bfsLayer |
5
|