English
Related papers

Related papers: Message complexity of population protocols

200 papers

Population protocols are a model for distributed computing that is focused on simplicity and robustness. A system of $n$ identical agents (finite state machines) performs a global task like electing a unique leader or determining the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-24 Petra Berenbrink , Robert Elsässer , Tom Friedetzky , Dominik Kaaser , Peter Kling , Tomasz Radzik

We introduce a new coordination problem in distributed computing that we call the population stability problem. A system of agents each with limited memory and communication, as well as the ability to replicate and self-destruct, is…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-09 Shafi Goldwasser , Rafail Ostrovsky , Alessandra Scafuro , Adam Sealfon

We study quantum communication protocols, in which the players' storage starts out in a state where one qubit is in a pure state, and all other qubits are totally mixed (i.e. in a random state), and no other storage is available (for…

Quantum Physics · Physics 2020-01-01 Hartmut Klauck , Debbie Lim

The population protocol model describes collections of distributed agents that interact in pairs to solve a common task. We consider a dynamic variant of this prominent model, where we assume that an adversary may change the population size…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-09 Dominik Kaaser , Maximilian Lohmann

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

The model of population protocols refers to the growing in popularity theoretical framework suitable for studying pairwise interactions within a large collection of simple indistinguishable entities, frequently called agents. In this paper…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-28 Leszek Gasieniec , Grzegorz Stachowiak

This paper studies what can be computed by using probabilistic local interactions with agents with a very restricted power in polylogarithmic parallel time. It is known that if agents are only finite state (corresponding to the Population…

Computational Complexity · Computer Science 2017-05-30 Rabie Mikaël

A population protocol *stably elects a leader* if, for all $n$, starting from an initial configuration with $n$ agents each in an identical state, with probability 1 it reaches a configuration $\mathbf{y}$ that is correct (exactly one agent…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-23 David Doty , David Soloveichik

We study the problems of leader election and population size counting for population protocols: networks of finite-state anonymous agents that interact randomly under a uniform random scheduler. We show a protocol for leader election that…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-08 Othon Michail , Paul G. Spirakis , Michail Theofilatos

We consider the problem of multi-choice majority voting in a network of $n$ agents where each agent initially selects a choice from a set of $K$ possible choices. The agents try to infer the choice in majority merely by performing local…

Multiagent Systems · Computer Science 2019-07-17 Hamidreza Bandealinaeini , Saber Salehkaleybar

In this paper, the leader election problem in the population protocol model is considered. A leader election protocol with logarithmic stabilization time is given. Given a rough knowledge m of the population size n such that m >= \log_2 n…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-01 Yuichi Sudo , Fukuhito Ooshita , Taisuke Izumi , Hirotsugu Kakugawa , Toshimitsu Masuzawa

We study the message complexity of leader election in synchronous networks of diameter two. Our main contribution is a refined analysis of the randomized algorithm proposed by Chatterjee et al. [DC, 2020]. In their work, the authors…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-21 Abhijit Sadhukhan , Adri Bhattacharya , Anisur Rahaman Molla

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 collection of anonymous agents, modeled by finite automata, interact in pairs…

Computer Science and Game Theory · Computer Science 2009-06-18 Olivier Bournez , Jérémie Chalopin , Johanne Cohen , Xavier Koegler

We address the self-stabilizing exact majority problem in the population protocol model, introduced by Angluin, Aspnes, Diamadi, Fischer, and Peralta (2004). In this model, there are $n$ state machines, called agents, which form a network.…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-03 Haruki Kanaya , Ryota Eguchi , Taisho Sasada , Fukuhito Ooshita , Michiko Inoue

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

The model of population protocols refers to a large collection of simple indistinguishable entities, frequently called {\em agents}. The agents communicate and perform computation through pairwise interactions. We study fast and space…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-15 Leszek Gąsieniec , Grzegorz Stachowiak , Przemysław Uznański

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 2020-02-19 Mikhail Raskin

Population protocols are a model of distributed computing where $n$ agents, each a simple finite-state machine, interact in pairs to solve a common task against a (adversarial) interaction scheduler. This model was intensively studied in…

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

We consider a quantum and classical version multi-party function computation problem with $n$ players, where players $2, \dots, n$ need to communicate appropriate information to player 1, so that a "generalized" inner product function with…

Quantum Physics · Physics 2024-02-06 Ruoyu Meng , Aditya Ramamoorthy

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