2020/03/01 by Yuichi Sudo, Toshimitsu Masuzawa · 1 citation
paper · doi:10.1142/s012962642050005x
crossref issued 2020/03/01 · crossref published 2020/03/01 · crossref published-print 2020/03/01 · crossref published-online 2020/03/17 · crossref created 2020/03/17 · crossref deposited 2020/03/17 · crossref indexed 2026/08/03
This paper shows that every leader election protocol requires logarithmic stabilization time both in expectation and with high probability in the population protocol model. This lower bound holds even if each agent has knowledge of the exact size of a population and is allowed to use an arbitrarily large number of agent states. This lower bound concludes that the protocol given in [Sudo et al., SSS 2019] is time-optimal in expectation.