Paper by Erik D. Demaine

Reference:

Hayashi Ani, Michael Coulombe, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Della Hendrickson, and Jayson Lynch, “Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines”, in Proceedings of the 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023), edited by David Doty and Paul G. Spirakis, LIPIcs, volume 257, June 19–21, 2023, 5:1–5:21.

BibTeX

@InProceedings{GadgetsMulti_SAND2023,
  AUTHOR        = {Hayashi Ani and Michael Coulombe and Erik D. Demaine and Jenny Diomidova and Timothy Gomez and Della Hendrickson and Jayson Lynch},
  authororig    = {Joshua Ani and Michael Coulombe and Erik D. Demaine and Yevhenii Diomidov and Timothy Gomez and Dylan Hendrickson and Jayson Lynch},
  TITLE         = {Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, {Petri} Nets, and Counter Machines},
  BOOKTITLE     = {Proceedings of the 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023)},
  bookurl       = {https://sand2023-atzj.onrender.com/},
  EDITOR        = {David Doty and Paul G. Spirakis},
  MONTH         = {June 19--21},
  YEAR          = 2023,
  SERIES        = {LIPIcs},
  VOLUME        = 257,
  PAGES         = {5:1--5:21},

  withstudent   = 1,
  doi           = {https://dx.doi.org/10.4230/LIPIcs.SAND.2023.5},
  dblp          = {https://dblp.org/rec/conf/sand/AniCDDGHL23},
  comments      = {This paper is also available from <A HREF="https://doi.org/10.4230/LIPIcs.SAND.2023.5">LIPIcs</A>
                   and as <A HREF="https://arxiv.org/abs/2306.01193">arXiv:2306.01193</A>.},
}

Abstract:

We extend the motion-planning-through-gadgets framework to several new scenarios involving various numbers of robots/agents, and analyze the complexity of the resulting motion-planning problems. While past work considers just one robot or one robot per player, most of our models allow for one or more locations to spawn new robots in each time step, leading to arbitrarily many robots. In the 0-player context, where all motion is deterministically forced, we prove that deciding whether any robot ever reaches a specified location is undecidable, by representing a counter machine. In the 1-player context, where the player can choose how to move the robots, we prove equivalence to Petri nets, EXPSPACE-completeness for reaching a specified location, PSPACE-completeness for reconfiguration, and ACKERMANN-completeness for reconfiguration when robots can be destroyed in addition to spawned. Finally, we consider a variation on the standard 2-player context where, instead of one robot per player, we have one robot shared by the players, along with a ko rule to prevent immediately undoing the previous move. We prove this impartial 2-player game EXPTIME-complete.

Comments:

This paper is also available from LIPIcs and as arXiv:2306.01193.

Availability:

The paper is available in PDF (1061k).

See information on file formats.

[Google Scholar search]