English
Related papers

Related papers: The computational power of population protocols

200 papers

The standard population protocol model assumes that when two agents interact, each observes the entire state of the other agent. We initiate the study of $\textit{message complexity}$ for population protocols, where the state of an agent is…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-16 Talley Amir , James Aspnes , David Doty , Mahsa Eftekhari , Eric Severson

Population protocols have been introduced by Angluin et al. as a model in which n passively mobile anonymous finite-state agents stably compute a predicate on the multiset of their inputs via interactions by pairs. The model has been…

Computational Complexity · Computer Science 2019-02-21 Olivier Bournez , Johanne Cohen , Mikaël Rabie

Population protocols are a model of distributed computation intended for the study of networks of independent computing agents with dynamic communication structure. Each agent has a finite number of states, and communication opportunities…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-02 Michael Raskin

The population protocol model was introduced by Angluin \emph{et al.} as a model of passively mobile anonymous finite-state agents. This model computes a predicate on the multiset of their inputs via interactions by pairs. The original…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-02-12 Olivier Bournez , Johanne Cohen , Mikaël Rabie

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 model of distributed computation intended for the study of networks of independent computing agents with dynamic communication structure. Each agent has a finite number of states, and communication opportunities…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-28 Mikhail Raskin

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-09 Philipp Czerner , Vincent Fischer , Roland Guttenberg

Population protocols are a distributed computation model in which a collection of anonymous, finite-state agents interact in randomly chosen pairs and update their states according to a fixed transition function. The computation is defined…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-12 Michael Blondin , Michaël Cadilhac , Benjamin Courchesne , Lucie Guillou , Corto Mascle , Isa Vialard

Population protocols are a formal model of computation by identical, anonymous mobile agents interacting in pairs. Their computational power is rather limited: Angluin et al. have shown that they can only compute the predicates over…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-05 Michael Blondin , Javier Esparza , Stefan Jaax

Population protocols are a distributed computing model appropriate for describing massive numbers of agents with limited computational power. A population protocol "has an initial leader" if every valid initial configuration contains a…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-11-06 Amanda Belleville , David Doty , David Soloveichik

Population protocols are a model of computation in which an arbitrary number of anonymous finite-memory agents are interacting in order to decide by stable consensus a predicate. In this paper, we focus on the counting predicates that asks,…

Logic in Computer Science · Computer Science 2022-03-25 Jérôme Leroux

Population protocols [Angluin et al., PODC, 2004] are a model of distributed computation in which indistinguishable, finite-state agents interact in pairs to decide if their initial configuration, i.e., the initial number of agents in each…

Logic in Computer Science · Computer Science 2021-02-10 Javier Esparza , Stefan Jaax , Mikhail Raskin , Chana Weil-Kennedy

The model of population protocols provides a universal platform to study distributed processes driven by pairwise interactions of anonymous agents. While population protocols present an elegant and robust model for randomized distributed…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-23 Adam Gańczorz , Leszek Gąsieniec , Tomasz Jurdziński , Jakub Kowalski , Grzegorz Stachowiak

Population protocols form a well-established model of computation of passively mobile anonymous agents with constant-size memory. It is well known that population protocols compute Presburger-definable predicates, such as absolute majority…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-06 Michael Blondin , François Ladouceur

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

Population protocols are a relatively novel computational model in which very resource-limited anonymous agents interact in pairs with the goal of computing predicates. We consider the probabilistic version of this model, which naturally…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-20 Vladyslav Melnychuk

Population protocols are a model of distributed computation in which an arbitrary number of indistinguishable finite-state agents interact in pairs to decide some property of their initial configuration. We investigate the behaviour of…

Formal Languages and Automata Theory · Computer Science 2024-12-17 Benno Lossin , Philipp Czerner , Javier Esparza , Roland Guttenberg , Tobias Prehn

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

In this paper we investigate the computational power of Population Protocols (PP) under some unreliable and/or weaker interaction models. More precisely, we focus on two features related to the power of interactions: omission failures and…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-03 Giuseppe Antonio Di Luna , Paola Flocchini , Taisuke Izumi , Tomoko Izumi , Nicola Santoro , Giovanni Viglietta

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
‹ Prev 1 2 3 10 Next ›