Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time - Archive ouverte HAL
Reports (Research Report) Year : 2019

Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time

Abstract

The computational model of population protocols is a formalism that allows the analysis of properties emerging from simple and pairwise interactions among a very large number of anonymous finite-state agents. Among the different problems addressed in this model, average-based problems have been studied for the last few years. In these problems, agents start independently from each other with an initial integer state, and at each interaction with another agent, keep the average of their states as their new state. In this paper, using a well chosen stochastic coupling, we considerably improve upon existing results by providing explicit and tight bounds of the time required to converge to the solution of these problems. We apply these general results to the proportion problem, which consists for each agent to compute the proportion of agents that initially started in one predetermined state, and to the counting population size problem, which aims at estimating the size of the system. Both protocols are uniform, i.e., each agent's local algorithm for computing the outputs, given the inputs, does not require the knowledge of the number of agents. Numerical simulations illustrate our bounds of the convergence time, and show that these bounds are tight in the sense that among extensive simulations, numerous ones exactly fit with our bounds.
Fichier principal
Vignette du fichier
soda20-paper875.pdf (726.75 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02178618 , version 1 (10-07-2019)

Licence

Identifiers

  • HAL Id : hal-02178618 , version 1

Cite

Yves Mocquard, Frédérique Robin, Bruno Sericola, Emmanuelle Anceaume. Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time. [Research Report] Irisa. 2019. ⟨hal-02178618⟩
192 View
158 Download

Share

More