We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Distributed, Parallel, and Cluster Computing

Title: Time-optimal self-stabilizing leader election in population protocols

Abstract: We consider the standard population protocol model, where (a priori) indistinguishable and anonymous agents interact in pairs according to uniformly random scheduling. The self-stabilizing leader election problem requires the protocol to converge on a single leader agent from any possible initial configuration. We initiate the study of time complexity of population protocols solving this problem in its original setting: with probability 1, in a complete communication graph. The only previously known protocol by Cai, Izumi, and Wada [Theor. Comput. Syst. 50] runs in expected parallel time $\Theta(n^2)$ and has the optimal number of $n$ states in a population of $n$ agents. The existing protocol has the additional property that it becomes silent, i.e., the agents' states eventually stop changing.
Observing that any silent protocol solving self-stabilizing leader election requires $\Omega(n)$ expected parallel time, we introduce a silent protocol that uses optimal $O(n)$ parallel time and states. Without any silence constraints, we show that it is possible to solve self-stabilizing leader election in asymptotically optimal expected parallel time of $O(\log n)$, but using at least exponential states (a quasi-polynomial number of bits). All of our protocols (and also that of Cai et al.) work by solving the more difficult ranking problem: assigning agents the ranks $1,\ldots,n$.
Comments: fixed typo in Figure 2
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
Journal reference: PODC 2021: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, July 2021, pages 33-44
Cite as: arXiv:1907.06068 [cs.DC]
  (or arXiv:1907.06068v5 [cs.DC] for this version)

Submission history

From: David Doty [view email]
[v1] Sat, 13 Jul 2019 12:35:19 GMT (55kb)
[v2] Fri, 3 Apr 2020 08:30:16 GMT (73kb,D)
[v3] Mon, 15 Feb 2021 21:48:58 GMT (226kb,D)
[v4] Thu, 27 May 2021 17:07:40 GMT (1485kb,D)
[v5] Mon, 29 Nov 2021 01:45:29 GMT (230kb,D)

Link back to: arXiv, form interface, contact.