DeepAI AI Chat
Log In Sign Up

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

05/07/2020
by   Joshua Ani, et al.
MIT
0

We analyze the computational complexity of motion planning through local "input/output" gadgets with separate entrances and exits, and a subset of allowed traversals from entrances to exits, each of which changes the state of the gadget and thereby the allowed traversals. We study such gadgets in the 0-, 1-, and 2-player settings, in particular extending past motion-planning-through-gadgets work to 0-player games for the first time, by considering "branchless" connections between gadgets that route every gadget's exit to a unique gadget's entrance. Our complexity results include containment in L, NL, P, NP, and PSPACE; as well as hardness for NL, P, NP, and PSPACE. We apply these results to show PSPACE-completeness for certain mechanics in Factorio, [the Sequence], and a restricted version of Trainyard, improving prior results. This work strengthens prior results on switching graphs and reachability switching games.

READ FULL TEXT

page 27

page 28

page 29

page 30

page 31

page 32

page 33

page 34

12/10/2018

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

We build a general theory for characterizing the computational complexit...
06/09/2018

Computational Complexity of Motion Planning of a Robot through Simple Gadgets

We initiate a general theory for analyzing the complexity of motion plan...
06/01/2023

Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines

We extend the motion-planning-through-gadgets framework to several new s...
03/31/2022

The Legend of Zelda: The Complexity of Mechanics

We analyze some of the many game mechanics available to Link in the clas...
07/14/2022

PSPACE-Completeness of Reversible Deterministic Systems

We prove PSPACE-completeness of several reversible, fully deterministic ...
11/23/2022

The Stochastic Arrival Problem

We study a new modification of the Arrival problem, which allows for nod...
07/22/2021

The Public Good index for games with several levels of approval in the input and output

The Public Good index is a power index for simple games introduced by Ho...