# A General Theory of Motion Planning Complexity: Characterizing Which Gadgets Make Games Hard

@article{Demaine2020AGT, title={A General Theory of Motion Planning Complexity: Characterizing Which Gadgets Make Games Hard}, author={Erik D. Demaine and Dylan H. Hendrickson and J. Lynch}, journal={ArXiv}, year={2020}, volume={abs/1812.03592} }

We build a general theory for characterizing the computational complexity of motion planning of robot(s) through a graph of "gadgets", where each gadget has its own state defining a set of allowed traversals which in turn modify the gadget's state. We study two families of such gadgets, one which naturally leads to motion planning problems with polynomially bounded solutions, and another which leads to polynomially unbounded (potentially exponential) solutions. We also study a range of… Expand

#### Figures, Tables, and Topics from this paper

#### 3 Citations

Trains, Games, and Complexity: 0/1/2-Player Motion Planning through Input/Output Gadgets

- Mathematics, Computer Science
- ArXiv
- 2020

This work analyzes the computational complexity of motion planning through local "input/output" gadgets with separate entrances and exits, and applies results to show PSPACE-completeness for certain mechanics in Factorio, [the Sequence], and a restricted version of Trainyard, improving prior results. Expand

Multi-Agent Motion Planning using Deep Learning for Space Applications

- Computer Science
- ArXiv
- 2020

It is shown optimal motion trajectories can be accurately replicated using deep learning-based numerical models in several 2D and 3D systems with multiple agents and superior computational efficiency with plans generated 1000 times faster than the mathematical model counterpart. Expand

PSPACE-completeness of Pulling Blocks to Reach a Goal

- Computer Science, Mathematics
- J. Inf. Process.
- 2020

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… Expand

#### References

SHOWING 1-10 OF 28 REFERENCES

Computational Complexity of Motion Planning of a Robot through Simple Gadgets

- Mathematics, Computer Science
- FUN
- 2018

Any single nontrivial four-location two-state gadget type is enough for motion planning to become PSPACE-complete, while any set of simpler gadgets (effectively two-location or one-state) has a polynomial-time motion planning algorithm. Expand

Constraint Logic: A Uniform Framework for Modeling Computation as Games

- Computer Science
- 2008 23rd Annual IEEE Conference on Computational Complexity
- 2008

A simple game family, called constraint logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints is introduced, which makes it substantially easier to prove completeness of such games in their appropriate complexity classes. Expand

Computational Complexity of Two-Dimensional Platform Games

- Computer Science
- FUN
- 2010

We analyze the computational complexity of various two-dimensional platform games. We state and prove several meta-theorems that identify a class of these games for which the set of solvable levels… Expand

Games, puzzles and computation

- Mathematics, Computer Science
- 2006

This thesis develops the idea of game as computation to a greater degree than has been done previously, and presents a general family of games, called Constraint Logic, which is both mathematically simple and ideally suited for reductions to many actual board games. Expand

PSPACE-Completeness of Bloxorz and of Games with 2-Buttons

- Mathematics, Computer Science
- CIAC
- 2015

It is shown that the problem of deciding whether a given Bloxorz level is solvable is PSPACE-complete and that this remains so even when all trapdoors are initially closed or all trap doors are initially open. Expand

Lemmings is PSPACE-complete

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 2015

It is proved that the game is PSPACE-complete, even if there is only one lemming to save, and only Builder and Basher skills are available, and it is shown that saving the maximum number of lemmings is APX-hard, even when only one type of skill is available, whatever this skill is. Expand

Lower bounds for multiplayer noncooperative games of incomplete information

- Mathematics
- 2001

Abstract This paper (see also [1]) extends the alternating Turing machine (A-TM) of Chandra, Kozen and Stockmeyer [2], the private and the blind alternating machines of Reif [3,4] to model… Expand

Playing Games with Algorithms: Algorithmic Combinatorial Game Theory

- Mathematics, Computer Science
- MFCS
- 2001

Background in combinatorial game theory is reviewed, which analyzes ideal play in perfect-information games and results about the complexity of determining ideal play are surveyed, in terms of both polynomial-time algorithms and computational intractability results. Expand

The complexity of satisfiability problems

- Computer Science, Mathematics
- STOC
- 1978

An infinite class of satisfiability problems is considered which contains these two particular problems as special cases, and it is shown that every member of this class is either polynomial-time decidable or NP-complete. Expand

Computers and Intractability: A Guide to the Theory of NP-Completeness

- Computer Science, Mathematics
- 1978

Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the problem of optimal compression of propositional Horn production rule knowledge… Expand