References & Citations
Computer Science > Distributed, Parallel, and Cluster Computing
Title: Deterministic Leader Election Takes $Θ(D + \log n)$ Bit Rounds
(Submitted on 6 May 2016 (v1), last revised 7 Sep 2018 (this version, v4))
Abstract: Leader election is, together with consensus, one of the most central problems in distributed computing. This paper presents a distributed algorithm, called \STT, for electing deterministically a leader in an arbitrary network, assuming processors have unique identifiers of size $O(\log n)$, where $n$ is the number of processors. It elects a leader in $O(D +\log n)$ rounds, where $D$ is the diameter of the network, with messages of size $O(1)$. Thus it has a bit round complexity of $O(D +\log n)$. This substantially improves upon the best known algorithm whose bit round complexity is $O(D\log n)$. In fact, using the lower bound by Kutten et al. (2015) and a result of Dinitz and Solomon (2007), we show that the bit round complexity of \STT is optimal (up to a constant factor), which is a significant step forward in understanding the interplay between time and message optimality for the election problem. Our algorithm requires no knowledge on the graph such as $n$ or $D$, and the pipelining technique we introduce to break the $O(D\log n)$ barrier is general.
Submission history
From: Arnaud Casteigts [view email][v1] Fri, 6 May 2016 12:01:40 GMT (21kb)
[v2] Mon, 11 Jul 2016 09:07:52 GMT (21kb)
[v3] Wed, 8 Mar 2017 09:31:01 GMT (21kb)
[v4] Fri, 7 Sep 2018 07:54:24 GMT (33kb)
Link back to: arXiv, form interface, contact.