Current browse context:
cs.DS
Change to browse by:
References & Citations
Computer Science > Data Structures and Algorithms
Title: Proving the Herman-Protocol Conjecture
(Submitted on 5 Apr 2015 (v1), last revised 27 Apr 2016 (this version, v3))
Abstract: Herman's self-stabilisation algorithm, introduced 25 years ago, is a well-studied synchronous randomised protocol for enabling a ring of $N$ processes collectively holding any odd number of tokens to reach a stable state in which a single token remains. Determining the worst-case expected time to stabilisation is the central outstanding open problem about this protocol. It is known that there is a constant $h$ such that any initial configuration has expected stabilisation time at most $h N^2$. Ten years ago, McIver and Morgan established a lower bound of $4/27 \approx 0.148$ for $h$, achieved with three equally-spaced tokens, and conjectured this to be the optimal value of $h$. A series of papers over the last decade gradually reduced the upper bound on $h$, with the present record (achieved in 2014) standing at approximately $0.156$. In this paper, we prove McIver and Morgan's conjecture and establish that $h = 4/27$ is indeed optimal.
Submission history
From: Radu Grigore [view email][v1] Sun, 5 Apr 2015 15:55:55 GMT (29kb)
[v2] Wed, 15 Jul 2015 15:17:53 GMT (30kb)
[v3] Wed, 27 Apr 2016 22:34:01 GMT (79kb,D)
Link back to: arXiv, form interface, contact.