PSPACE-completeness of Pulling Blocks to Reach a Goal
Author(s)
Ani, Joshua; Asif, Sualeh; Demaine, Erik D; Diomidov, Yevhenii; Hendrickson, Dylan; Lynch, Jayson; Scheffler, Sarah; Suhl, Adam; ... Show more Show less
DownloadAccepted version (617.4Kb)
Open Access Policy
Open Access Policy
Creative Commons Attribution-Noncommercial-Share Alike
Terms of use
Metadata
Show full item recordAbstract
© 2020 Information Processing Society of Japan. We prove PSPACE-completeness of all but one problem in a large space of pulling-block problems where the goal is for the agent to reach a target destination. The problems are parameterized by whether pulling is optional, the number of blocks which can be pulled simultaneously, whether there are fixed blocks or thin walls, and whether there is gravity. We show NP-hardness for the remaining problem, Pull?-1FG (optional pulling, strength 1, fixed blocks, with gravity).
Date issued
2020Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science; Massachusetts Institute of Technology. Computer Science and Artificial Intelligence LaboratoryJournal
Journal of Information Processing
Publisher
Information Processing Society of Japan
Citation
Ani, Joshua, Asif, Sualeh, Demaine, Erik D, Diomidov, Yevhenii, Hendrickson, Dylan et al. 2020. "PSPACE-completeness of Pulling Blocks to Reach a Goal." Journal of Information Processing, 28 (0).
Version: Author's final manuscript