Population protocols are a model of computation in which indistinguishable mobile agents interact in pairs to decide a property of their initial configuration. Originally introduced by Angluin et. al. in 2004 with a constant number of states, research nowadays focuses on protocols where the space usage depends on the number of agents. The expressive power of population protocols has so far however only been determined for protocols using o(log n) states, which compute only semilinear predicates, and for Ω(n) states. This leaves a significant gap, particularly concerning protocols with Θ(log n) or Θ(polylog n) states, which are the most common constructions in the literature. In this paper we close the gap and prove that for any ε > 0 and f ∈ Ω(log n)∩𝒪(n^{1-ε}), both uniform and non-uniform population protocols with Θ(f(n)) states can decide exactly those predicates, whose unary encoding lies in NSPACE(f(n) log n).
@InProceedings{czerner_et_al:LIPIcs.SAND.2025.1, author = {Czerner, Philipp and Fischer, Vincent and Guttenberg, Roland}, title = {{The Expressive Power of Uniform Population Protocols with Logarithmic Space}}, booktitle = {4th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2025)}, pages = {1:1--1:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-368-3}, ISSN = {1868-8969}, year = {2025}, volume = {330}, editor = {Meeks, Kitty and Scheideler, Christian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2025.1}, URN = {urn:nbn:de:0030-drops-230540}, doi = {10.4230/LIPIcs.SAND.2025.1}, annote = {Keywords: Population Protocols, Uniform, Expressive Power} }
Feedback for Dagstuhl Publishing