Distributed transformations of Hamiltonian shapes based on line moves

We consider a discrete system of n simple indistinguishable devices, called agents, forming a connected shape SI on a two-dimensional square grid. Agents are equipped with a linear-strength mechanism, called a line move, by which an agent can push a whole line of consecutive agents in one of the fou...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 942; S. 142 - 168
Hauptverfasser: Almethen, Abdullah, Michail, Othon, Potapov, Igor
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 09.01.2023
Schlagworte:
Discrete transformations
Distributed algorithms
Line movement
Programmable matter
Reconfigurable robotics
Shape formation
Line movement
Reconfigurable robotics
Shape formation
Distributed algorithms
Programmable matter
Discrete transformations
ISSN:0304-3975, 1879-2294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We consider a discrete system of n simple indistinguishable devices, called agents, forming a connected shape SI on a two-dimensional square grid. Agents are equipped with a linear-strength mechanism, called a line move, by which an agent can push a whole line of consecutive agents in one of the four cardinal directions in a single time-step. We study the problem of transforming an initial shape SI into a given target shape SF via a finite sequence of line moves in a distributed model, where each agent can observe the states of nearby agents in a Moore neighbourhood. We develop the first distributed connectivity-preserving transformation that exploits line moves. The transformation solves the line formation problem. That is, starting from any shape SI whose associated graph contains a Hamiltonian path known to them, the agents can form a final straight line SL. The complexity of the transformation is O(nlog2⁡n) moves, which is asymptotically equivalent to that of the best-known centralised transformations. •We study a linear-strength model for programmable matter and mobile robotic systems•A single mechanical operation, line pushing, is allowed for the shape formation•A distributed algorithmic framework is presented for line moves•The first distributed connectivity-preserving transformation that exploits line moves•Achieve running time equivalent to that of the best-known centralised algorithms
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2022.11.029