2019/01/02 by Seth Gilbert, Peter Robinson, Gilbert, Seth +4
Computer Science · Mathematics · #Binary logarithm #Combinatorics #Computer science #Conductance #Discrete mathematics #Distributed systems and fault tolerance #Graph #Interconnection Networks and Systems #Leader election #Matching (statistics) #Mathematics #Omega #Opportunistic and Delay-Tolerant Networks #Physics #Randomized algorithm #Sublinear function #Theoretical computer science #Time complexity #Upper and lower bounds #cs.DC
paper · pdf · doi:10.48550/arxiv.1901.00342
published in arXiv (Cornell University) (Cornell University)
arxiv created 2019/01/02 · openalex publication_date 2019/01/02 · arxiv updated 2019/01/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we look at the problem of randomized leader election in synchronous distributed networks with a special focus on the message complexity. We provide an algorithm that solves the implicit version of leader election (where non-leader nodes need not be aware of the identity of the leader) in any general network with O(√(n) log7/2 n ⋅ tmix) messages and in O(tmixlog2 n) time, where n is the number of nodes and tmix refers to the mixing time of a random walk in the network graph G. For several classes of well-connected networks (that have a large conductance or alternatively small mixing times e.g. expanders, hypercubes, etc), the above result implies extremely efficient (sublinear running time and messages) leader election algorithms. Correspondingly, we show that any substantial improvement is not possible over our algorithm, by presenting an almost matching lower bound for randomized leader election. We show that Ω(√(n)/ϕ3/4) messages are needed for any leader election algorithm that succeeds with probability at least 1-o(1), where ϕ refers to the conductance of a graph. To the best of our knowledge, this is the first work that shows a dependence between the time and message complexity to solve leader election and the connectivity of the graph G, which is often characterized by the graph's conductance ϕ. Apart from the Ω(m) bound in [Kutten et al., J.ACM 2015] (where m denotes the number of edges of the graph), this work also provides one of the first non-trivial lower bounds for leader election in general networks.