On Counting the Population Size

Petra Berenbrink, Dominik Kaaser, Tomasz Radzik
2019 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing - PODC '19  
We consider the problem of counting the population size in the population model. In this model, we are given a distributed system of n identical agents which interact in pairs with the goal to solve a common task. In each time step, the two interacting agents are selected uniformly at random. In this paper, we consider so-called uniform protocols, where the actions of two agents upon an interaction may not depend on the population size n. We present two population protocols to count the size of
more » ... the population: protocol Approximate, which computes with high probability either log n or log n , and protocol CountExact, which computes the exact population size in optimal O(n log n) interactions, usingÕ(n) states. Both protocols can also be converted to stable protocols that give a correct result with probability 1 by using an additional multiplicative factor of O(log n) states.
doi:10.1145/3293611.3331631 dblp:conf/podc/BerenbrinkKR19 fatcat:t7gpdu6vbrdwlmbh4y7vq7r4va