Feedback from nature: an optimal distributed algorithm for maximal independent set selection

Maximal Independent Set selection is a fundamental problem in distributed computing. A novel probabilistic algorithm for this problem has recently been proposed by Afek et al, inspired by the study of the way that developing cells in the fly become specialised. The algorithm they propose is simple and robust, but not as efficient as previous approaches: the expected time complexity is O(log2 n). Here we first show that the approach of Afek et al cannot achieve better efficiency than this across all networks, no matter how the global probability values are chosen. However, we then propose a new algorithm that incorporates another important feature of the biological system: the probability value at each node is adapted using local feedback from neighbouring nodes. Our new algorithm retains all the advantages of simplicity and robustness, but also achieves the optimal efficiency of O(log n) expected time. The new algorithm also has only a constant message complexity per node.

[1]  Roger Wattenhofer,et al.  Maximal independent sets in radio networks , 2005, PODC '05.

[2]  Naama Barkai,et al.  Robust selection of sensory organ precursors by the Notch-Delta pathway. , 2011, Current opinion in cell biology.

[3]  M. Matsuda,et al.  Interaction with Notch determines endocytosis of specific Delta ligands in zebrafish neural tissue , 2009, Development.

[4]  S. Bray Notch signalling: a simple pathway becomes complex , 2006, Nature Reviews Molecular Cell Biology.

[5]  Noga Alon,et al.  A Biological Solution to a Fundamental Distributed Computing Problem , 2011, Science.

[6]  Naama Barkai,et al.  Error Minimization in Lateral Inhibition Circuits , 2010, Science Signaling.

[7]  Noga Alon,et al.  Beeping a maximal independent set , 2011, Distributed Computing.

[8]  Noga Alon,et al.  A Fast and Simple Randomized Parallel Algorithm for the Maximal Independent Set Problem , 1985, J. Algorithms.

[9]  Yves Métivier,et al.  An optimal bit complexity randomized distributed MIS algorithm , 2011, Distributed Computing.

[10]  Arild Stubhaug Acta Mathematica , 1886, Nature.

[11]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[12]  Roger Wattenhofer,et al.  The price of being near-sighted , 2006, SODA '06.

[13]  T. L. Jacobsen,et al.  Cis-interactions between Delta and Notch modulate neurogenic signalling in Drosophila. , 1998, Development.

[14]  J. Håstad Clique is hard to approximate withinn1−ε , 1999 .

[15]  Roger Wattenhofer,et al.  Fast Deterministic Distributed Maximal Independent Set Computation on Growth-Bounded Graphs , 2005, DISC.

[16]  K. G. Guruharsha,et al.  The Notch signalling system: recent insights into the complexity of a conserved pathway , 2012, Nature Reviews Genetics.

[17]  P. Maini,et al.  Pattern formation by lateral inhibition with feedback: a mathematical model of delta-notch intercellular signalling. , 1996, Journal of theoretical biology.

[18]  Michael Luby,et al.  A simple parallel algorithm for the maximal independent set problem , 1985, STOC '85.

[19]  M. Elowitz,et al.  Cis Interactions between Notch and Delta Generate Mutually Exclusive Signaling States , 2010, Nature.

[20]  Z. Bar-Joseph,et al.  Algorithms in nature: the convergence of systems biology and computational thinking , 2011, Molecular systems biology.

[21]  Nathan Linial,et al.  Locality in Distributed Graph Algorithms , 1992, SIAM J. Comput..

[22]  Claire J. Tomlin,et al.  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.