English
Related papers

Related papers: Selective Population Protocols

200 papers

Population protocols are a formal model of sensor networks consisting of identical mobile devices. Two devices can interact and thereby change their states. Computations are infinite sequences of interactions in which the interacting…

Logic in Computer Science · Computer Science 2018-07-03 Michael Blondin , Javier Esparza , Antonín Kučera

Population protocols have been introduced by Angluin et {al.} as a model of networks consisting of very limited mobile agents that interact in pairs but with no control over their own movement. A collection of anonymous agents, modeled by…

Computer Science and Game Theory · Computer Science 2009-07-20 Olivier Bournez , Jeremie Chalopin , Johanne Cohen , Xavier Koegler

This paper revisits a fundamental distributed computing problem in the population protocol model. Provided $n$ agents each starting with an input color in $[k]$, the relative majority problem asks to find the predominant color. In the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-06 Tom-Lukas Breitkopf , Julien Dallot , Antoine El-Hayek , Stefan Schmid

There has recently been a surge of interest in the computational and complexity properties of the population model, which assumes $n$ anonymous, computationally-bounded nodes, interacting at random, and attempting to jointly compute global…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-01-12 Dan Alistarh , Martin Töpfer , Przemysław Uznański

We consider a population of $n$ agents which communicate with each other in a decentralized manner, through random pairwise interactions. One or more agents in the population may act as authoritative sources of information, and the…

Data Structures and Algorithms · Computer Science 2017-11-30 Bartlomiej Dudek , Adrian Kosowski

Population protocols have been introduced by Angluin et al. as a model of networks consisting of very limited mobile agents that interact in pairs but with no control over their own movement. A collection of anonymous agents, modeled by…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-09-22 Olivier Bournez , Jérémie Chalopin , Johanne Cohen , Xavier Koegler , Mikael Rabie

Population protocols are a class of algorithms for modeling distributed computation in networks of finite-state agents communicating through pairwise interactions. Their suitability for analyzing numerous chemical processes has motivated…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-04 Talley Amir , James Aspnes , John Lazarsfeld

In this paper we analyze the computational power of variants of population protocols (PP), a formalism for distributed systems with anonymous agents having very limited capabilities. The capabilities of agents are enhanced in mediated…

Multiagent Systems · Computer Science 2019-08-26 Tobias Prehn , Myron Rotter

In this paper, we focus on the uniform bipartition problem in the population protocol model. This problem aims to divide a population into two groups of equal size. In particular, we consider the problem in the context of \emph{arbitrary}…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-19 Hiroto Yasumi , Fukuhito Ooshita , Michiko Inoue , Sébastien Tixeuil

The population protocol model introduced by Angluin et al. in 2006 offers a theoretical framework for designing and analyzing distributed algorithms among limited-resource mobile agents. While the original population protocol model…

Cryptography and Security · Computer Science 2023-05-05 Talley Amir , James Aspnes

We investigate space-time trade-offs for population protocols in sparse interaction graphs. In complete interaction graphs, optimal space-time trade-offs are known for the leader election and exact majority problems. However, it has…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-19 Joel Rybicki , Jakob Solnerzik , Robin Vacus

We investigate leader election problem via ranking within self-stabilising population protocols. In this scenario, the agent's state space comprises $n$ rank states and $x$ extra states. The initial configuration of $n$ agents consists of…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-06 Leszek Gąsieniec , Tytus Grodzicki , Grzegorz Stachowiak

We consider the leader election problem in population protocol models. In pragmatic settings of population protocols, self-stabilization is a highly desired feature owing to its fault resilience and the benefit of initialization freedom.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-21 Yuichi Sudo , Ryota Eguchi , Taisuke Izumi , Toshimitsu Masuzawa

We study the self-stabilizing leader election problem in anonymous $n$-nodes networks. Achieving self-stabilization with low space memory complexity is particularly challenging, and designing space-optimal leader election algorithms remains…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-20 Lelia Blin , Sylvain Gay , Isabella Ziccardi

The {\em parallel time} of a population protocol is defined as the average number of required interactions that an agent in the protocol participates, i.e., the quotient between the total number of interactions required by the protocol and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-27 Artur Czumaj , Andrzej Lingas

This work concerns the general issue of combined optimality in terms of time and space complexity. In this context, we study the problem of (exact) counting resource-limited and passively mobile nodes in the model of population protocols,…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-23 James Aspnes , Joffroy Beauquier , Janna Burman , Devan Sohier

We study the problem of how to coordinate the actions of independent agents in a distributed system where message arrival times are unbounded, but are determined by an exponential probability distribution. Asynchronous protocols executed in…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-10 Ariel Livshits , Yoram Moses

In this work, we study protocols so that populations of distributed processes can construct networks. In order to highlight the basic principles of distributed network construction we keep the model minimal in all respects. In particular,…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-11 Othon Michail , Paul G. Spirakis

Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population protocol corresponds to a collection of anonymous agents, modeled by…

Distributed, Parallel, and Cluster Computing · Computer Science 2009-07-20 Olivier Bournez , Philippe Chassaing , Johanne Cohen , Lucas Gerin , Xavier Koegler

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-11-05 Yuichi Sudo , Toshimitsu Masuzawa