Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2019

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-02178618 , version 1

Citer

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⟩
209 Consultations
169 Téléchargements

Partager

More