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

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 942; pp. 142 - 168
Main Authors: Almethen, Abdullah, Michail, Othon, Potapov, Igor
Format: Journal Article
Language:English
Published: Elsevier B.V 09.01.2023
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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