Compact self-stabilizing leader election for general networks

摘要

We present a self-stabilizing leader election algorithm for general networks, with space-complexity O(log △ + log log n) bits per node in n-node networks with maximum degree △.This space complexity is sub-logarithmic in n as long as △ = n°(1). The best space-complexity known so far for general networks was O(log n) bits per node, and algorithms with sub-logarithmic space-complexities were known for the ring only. To our knowledge, our algorithm is the first algorithm for self-stabilizing leader election to break the Ω(log n) bound for silent algorithms in general networks. Breaking this bound was obtained via the design of a (non-silent) self-stabilizing algorithm using sophisticated tools such as solving the distance-2 coloring problem in a silent self-stabilizing manner, with space-complexity O(log △ + log log n) bits per node. Solving this latter coloring problem allows us to implement a sub-logarithmic encoding of spanning trees - storing the IDs of the neighbors requires Ω(log n) bits per node, while we encode spanning trees using O(log △ + log log n) bits per node. Moreover, we show how to construct such compactly encoded spanning trees without relying on variables encoding distances or number of nodes, as these two types of variables would also require Ω(log n) bits per node.