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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 942; s. 142 - 168
Hlavní autoři: Almethen, Abdullah, Michail, Othon, Potapov, Igor
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 09.01.2023
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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