Brief Announcement: Fast Approximate Counting and Leader Election in Populations

  • Othon MichailEmail author
  • Paul G. SpirakisEmail author
  • Michail TheofilatosEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11085)


Population protocols [2] are networks that consist of very weak computational entities (also called nodes or agents), regarding their individual capabilities and it has been shown that are able to perform complex computational tasks when they work collectively. Leader Election is the process of designating a single agent as the coordinator of some task distributed among several nodes. The nodes communicate among themselves in order to decide which of them will get into the leader state, starting from the same initial state q. An algorithm A solves the leader election problem if eventually the states of agents are divided into leader and follower, a unique leader remains elected and a follower can never become a leader. A randomized algorithm R solves the leader election problem if eventually only one leader remains in the system w.h.p.. Counting is the problem where nodes must determine the size n of the population. We call Approximate Counting the problem in which nodes must determine an estimation \(\hat{n}\) of the population size, where \(\frac{\hat{n}}{a}< n < \hat{n}\). We call a the estimation parameter. Consider the setting in which an agent is in an initial state a, the rest \(n-1\) agents are in state b and the only existing transition is \((a,b) \rightarrow (a,a)\). This is the one-way epidemic process and it can be shown that the expected time to convergence under the uniform random scheduler is \(\varTheta (n\log {n})\) (e.g., [3]), thus parallel time \(\varTheta (\log {n})\).


Population protocol Epidemic Leader election Counting Approximate counting Polylogarithmic time protocol 


  1. 1.
    Alistarh, D., Gelashvili, R.: Polylogarithmic-time leader election in population protocols. In: Halldórsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015. LNCS, vol. 9135, pp. 479–491. Springer, Heidelberg (2015). Scholar
  2. 2.
    Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. Distrib. Comput. 18(4), 235–253 (2006)CrossRefGoogle Scholar
  3. 3.
    Angluin, D., Aspnes, J., Eisenstat, D.: Fast computation by population protocols with a leader. Distrib. Comput. 21(3), 183–199 (2008)CrossRefGoogle Scholar
  4. 4.
    Fischer, M., Jiang, H.: Self-stabilizing Leader election in networks of finite-state anonymous agents. In: Shvartsman, M.M.A.A. (ed.) OPODIS 2006. LNCS, vol. 4305, pp. 395–409. Springer, Heidelberg (2006). Scholar
  5. 5.
    Gasieniec, L., Stachowiak, G.: Fast space optimal leader election in population protocols. In: SODA 2018: ACM-SIAM Symposium on Discrete Algorithms, pp. 265–266 (2018)CrossRefGoogle Scholar
  6. 6.
    Michail, O.: Terminating distributed construction of shapes and patterns in a fair solution of automata. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, pp. 37–46 (2015)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  2. 2.Computer Engineering and Informatics DepartmentUniversity of PatrasPatrasGreece

Personalised recommendations