Constructive expressive power of population protocols

02/17/2020
by   Mikhail Raskin, et al.
0

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 occur nondeterministically, allowing the agents involved to change their states based on each other's states. Population protocols are often studied in terms of reaching a consensus on whether the input configuration satisfied some predicate. In the present paper we propose an alternative point of view. Instead of studying the properties of inputs that a protocol can recognise, we study the properties of outputs that a protocol eventually ensures. We define constructive expressive power. We show that for general population protocols and immediate observation population protocols the constructive expressive power coincides with the normal expressive power. Immediate observation protocols also preserve their relatively low verification complexity in the constructive expressive power setting.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/26/2019

Population protocols with unreliable communication

Population protocols are a model of distributed computation intended for...
research
11/23/2021

Modular population protocols

Population protocols are a model of distributed computation intended for...
research
02/05/2019

Expressive Power of Oblivious Consensus Protocols

Population protocols are a formal model of computation by identical, ano...
research
05/20/2021

Diversity, Fairness, and Sustainability in Population Protocols

Over the years, population protocols with the goal of reaching consensus...
research
08/23/2019

Immediate Observation in Mediated Population Protocols

In this paper we analyze the computational power of variants of populati...
research
09/12/2023

An improved protocol for ExactlyN with more than 3 players

The ExactlyN problem in the number-on-forehead (NOF) communication setti...
research
02/25/2020

Protocol Proxy: An FTE-based Covert Channel

In a hostile network environment, users must communicate without being d...

Please sign up or login with your details

Forgot password? Click here to reset