Dynamic Networks of Finite State Machines

Abstract

Like distributed systems, biological multicellular processes are subject to dynamic changes and a biological system will not pass the survival-of-the-fittest test unless it exhibits certain features that enable fast recovery from these changes. In most cases, the types of dynamic changes a biological process may experience and its desired recovery features differ from those traditionally studied in the distributed computing literature. In particular, a question seldomly asked in the context of distributed digital systems and that is crucial in the context of biological cellular networks, is whether the system can keep the changing components confined so that only nodes in their vicinity may be affected by the changes, but nodes sufficiently far away from any changing component remain unaffected.Based on this notion of confinement, we propose a new metric for measuring the dynamic changes recovery performance in distributed network algorithms operating under the Stone Age model (Emek & Wattenhofer, PODC 2013), where the class of dynamic topology changes we consider includes inserting/deleting an edge, deleting a node together with its incident edges, and inserting a new isolated node. Our main technical contribution is a distributed algorithm for maximal independent set (MIS) in synchronous networks subject to these topology changes that performs well in terms of the aforementioned new metric. Specifically, our algorithm guarantees that nodes which do not experience a topology change in their immediate vicinity are not affected and that all surviving nodes (including the affected ones) perform O((C + 1) log 2 n) computationally-meaningful steps, where C is the number of topology changes; in other words, each surviving node performs O(log 2 n) steps when amortized over the number of topology changes. This is accompanied by a simple example demonstrating that the linear dependency on C cannot be avoided.

On the transformation capability of feasible mechanisms for programmable matter

“…For example, in Network Constructors [28] nodes move around randomly due to the dynamicity of the environment and when two of them interact the protocol can decide whether to establish a connection between them; that is, the protocol has some implicit control of the system's dynamics. Another passive model, inspired from biological multicellular processes, was recently proposed by Emek and Uitto [18]. Most models from the theory of algorithmic self-assembly, like the Abstract Tile Assembly Model (aTAM) [35,29], fall also in this category.…”

Selecting a Leader in a Network of Finite State Machines

“…Their main focus was on distributed problems that can be solved in sub-diameter (specifically, log O(1) n) time including MIS, tree coloring, coloring bounded degree graphs, and maximal matching. This remained the case also in [EU16], where Emek and Uitto studied SA algorithms for the MIS problem in dynamic graphs. In contrast, the current paper considers the k-leader selection problem -an inherently global problem that requires Ω(D) time.…”