On Counting the Population Size
Petra Berenbrink, Dominik Kaaser, Tomasz Radzik

TL;DR
This paper introduces two protocols for counting population size in distributed systems, one approximate and one exact, achieving high probability accuracy and optimal interaction complexity respectively, with potential for stable, error-free variants.
Contribution
The paper presents novel uniform population protocols for approximate and exact population counting with optimal or near-optimal complexity and stability features.
Findings
Approximate protocol estimates log n with high probability.
CountExact protocol computes exact size in O(n log n) interactions.
Protocols can be stabilized for guaranteed correctness with additional states.
Abstract
We consider the problem of counting the population size in the population model. In this model, we are given a distributed system of 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 . We present two population protocols to count the size of the population: protocol Approximate, which computes with high probability either or , and protocol CountExact, which computes the exact population size in optimal interactions, using states. Both protocols can also be converted to stable protocols that give a correct result with…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
