A Rupestrian Algorithm

Deciphering recently discovered cave paintings by the Astracinca, an egalitarian leaderless society flourishing in the 3rd millennium BCE, we present and analyze their shamanic ritual for forming new colonies. This ritual can actually be used by systems of anonymous mobile finite-state computational entities located and operating in a grid to solve the line recovery problem, a task that has both self-assembly and flocking requirements. The protocol is totally decentralized, fully concurrent, provably correct, and time optimal.

[1]  G. Smith.  ANARCHY, STATE, AND UTOPIA , 1976 .

[2]  Nicola Santoro,et al.  Distributed Computing by Mobile Robots: Gathering , 2012, SIAM J. Comput..

[3]  Noa Agmon,et al.  Fault-tolerant gathering algorithms for autonomous mobile robots , 2004, SODA '04.

[4]  Masafumi Yamashita,et al.  Distributed Anonymous Mobile Robots: Formation of Geometric Patterns , 1999, SIAM J. Comput..

[5]  Gregory S. Chirikjian,et al.  Kinematics of a metamorphic robotic system , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[6]  Nicola Santoro,et al.  Distributed Computing by Oblivious Mobile Robots , 2012, Synthesis Lectures on Distributed Computing Theory.

[7]  Esther M. Arkin,et al.  Algorithms for Rapidly Dispersing Robot Swarms in Unknown Environments , 2002, WAFR.

[8]  Christian Scheideler,et al.  Leader Election and Shape Formation with Self-organizing Programmable Matter , 2015, DNA.

[9]  S. Watson,et al.  Marijuana and Medicine: Assessing the Science Base , 1999 .

[10]  Christian Scheideler,et al.  An Algorithmic Framework for Shape Formation Problems in Self-Organizing Particle Systems , 2015, NANOCOM.

[11]  Arnold L. Rosenberg.  Finite-State Robots in the Land of Rationalia , 2012, ISCIS.

[12]  Tobias Langner,et al.  Solving the ANTS Problem with Asynchronous Finite State Machines , 2014, ICALP.

[13]  Nicola Santoro,et al.  Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots , 2007, Algorithmica.

[14]  Lali Barrière,et al.  Uniform scattering of autonomous mobile robots in a grid , 2009, 2009 IEEE International Symposium on Parallel & Distributed Processing.

[15]  R. Martín-Santos,et al.  The effect of cannabis on perception of time: a critical review. , 2012, Current pharmaceutical design.

[16]  Zack J. Butler,et al.  Generic Decentralized Control for Lattice-Based Self-Reconfigurable Robots , 2004, Int. J. Robotics Res..

[17]  Tobias Langner,et al.  Overcoming Obstacles with Ants , 2015, OPODIS.