PushPush is NP-hard in 2D
暂无分享,去创建一个
We prove that a particular pushing-blocks puzzle is intractable in 2D, improving an earlier result that established intractability in 3D [OS99]. The puzzle, inspired by the game *PushPush*, consists of unit square blocks on an integer lattice. An agent may push blocks (but never pull them) in attempting to move between given start and goal positions. In the PushPush version, the agent can only push one block at a time, and moreover, each block, when pushed, slides the maximal extent of its free range. We prove this version is NP-hard in 2D by reduction from SAT.
[1] Uri Zwick,et al. SOKOBAN and other motion planning problems , 1999, Comput. Geom..
[2] Gordon T. Wilfong. Motion planning in the presence of movable obstacles , 1988, SCG '88.
[3] David Lichtenstein,et al. Planar Formulae and Their Uses , 1982, SIAM J. Comput..
[4] Joseph Culberson,et al. Sokoban is PSPACE-complete , 1997 .
[5] Michael Ho. Motion Planning amidst Movable Square Blocks: Push-* Is Np-hard , 2000 .