Lost in self-stabilization: A local process that aligns connected cells

Abstract : Let ta and tb be a pair of relatively prime positive integers. We work on chains of n(ta+tb) agents which form together an upper and rightward directed path of the grid Z2 from O=(0,0) to M=(nta,ntb). We are interested on evolution rules such that, at each time step, an agent is randomly chosen on the chain and is allowed to jump to another site of the grid preserving the connectivity of the chain and the endpoints. The rules must be local, i.e., the decision of jumping or not only depends on the neighborhood of fixed size s of the randomly chosen agent, and not on the parameters ta,tb,n. Moreover, the parameter s only depends on ta+tb and not on n.In this paper, we design a rule such that, starting from any chain which does not cross the continuous line segment [O,M], this rule reorganizes this chain into one of the best possible approximations of [O,M]. The stabilization is reached after O((n(ta+tb))4) iterations, in average.The work presented here is at the crossroad of many different domains such as modeling a stabilizing process in crystallography, stochastic cellular automata, organizing a line of robots in distributed algorithms (the robot chain problem) and Christoffel words in language theory.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01718145
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, February 27, 2018 - 10:53:48 AM
Last modification on : Tuesday, November 19, 2019 - 2:37:06 AM

Identifiers

Citation

Damien Regnault, Eric Rémila. Lost in self-stabilization: A local process that aligns connected cells. Theoretical Computer Science, Elsevier, 2018, 736 (6), pp.41--61. ⟨10.1016/j.tcs.2018.02.015⟩. ⟨hal-01718145⟩

Share

Metrics

Record views

170