English
Related papers

Related papers: Playing With Population Protocols

200 papers

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

Physical social encounters are governed by a set of socio-psychological behavioral rules with a high degree of uniform validity. Past research has shown how these rules or the resulting properties of the encounters (e.g. the geometry of…

Social and Information Networks · Computer Science 2014-09-30 Daniel Raumer , Christoph Fuchs , Georg Groh

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 are a fundamental model in distributed computing, where many nodes with bounded memory and computational power have random pairwise interactions over time. This model has been studied in a rich body of literature aiming…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-05 Simina Branzei , Yuval Peres

Evolutionary game theory is a mathematical toolkit to analyse the interactions that an individual agent has in a population and how the composition of strategies in this population evolves over time. While it can provide neat solutions to…

Computer Science and Game Theory · Computer Science 2021-09-07 Jacobus Smit , Ed Plumb

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

Evolutionary games are a developing sub-field of game theory. This branch of game theory is used in the study of the adaptation of large, but finite, populations of agents to changes in the environment. It assumes that each agent has no…

Computer Science and Game Theory · Computer Science 2023-07-12 E. M. Lorits , E. A. Gubar

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

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

We consider the problem of simulating traditional population protocols under weaker models of communication, which include one-way interactions (as opposed to two-way interactions) and omission faults (i.e., failure by an agent to read its…

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

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

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 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 are a model of computation in which an arbitrary number of indistinguishable finite-state agents interact in pairs. The goal of the agents is to decide by stable consensus whether their initial global configuration…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-13 Philipp Czerner , Javier Esparza , Jérôme Leroux

Social conventions govern countless behaviors all of us engage in every day, from how we greet each other to the languages we speak. But how can shared conventions emerge spontaneously in the absence of a central coordinating authority? The…

Physics and Society · Physics 2017-01-26 Andrea Baronchelli

Population protocols are a well established model of distributed computation by mobile finite-state agents with very limited storage. A classical result establishes that population protocols compute exactly predicates definable in…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-08 Michael Blondin , Javier Esparza , Stefan Jaax

The Minority Game is a simple yet highly non-trivial agent-based model for a complex adaptive system. Despite its importance, a quantitative explanation of the game's fluctuations which applies over the entire parameter range of interest…

Condensed Matter · Physics 2009-10-31 M. Hart , P. Jefferies , N. F. Johnson , P. M. Hui

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

We investigate a game-theoretic model of a social system where both the rules of the game and the interaction structure are shaped by the behavior of the agents. We call this type of model, with several types of feedback couplings from the…

Populations and Evolution · Quantitative Biology 2016-11-25 Sungmin Lee , Petter Holme , Zhi-Xi Wu

Many socio-economic and biological processes can be modeled as systems of interacting individuals. The behaviour of such systems can be often described within game-theoretic models. In these lecture notes, we introduce fundamental concepts…

Populations and Evolution · Quantitative Biology 2013-05-30 Jacek Miekisz