Optimal Proportion Computation with Population Protocols - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport Technique) Année : 2016

Optimal Proportion Computation with Population Protocols

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. Significant work has been done so far to determine which problems are solvable in this model and at which cost in terms of states used by the protocols and time needed to converge. The problem tackled in this paper is the population proportion problem: each agent starts independently from each other in one of two states, say A or B, and the objective is for each agent to determine the proportion of agents that initially started in state A, assuming that each agent only uses a finite set of state, and does not know the number n of agents. We propose a solution which guarantees with any high probability that after O(log n) interactions any agent outputs with a precision given in advance, the proportion of agents that start in state A. The population proportion problem is a generalization of both the majority and counting problems, and thus our solution solves both problems. We show that our solution is optimal in time and space. Simulation results illustrate our theoretical analysis.
Fichier principal
Vignette du fichier
OptimalProportion.pdf (292.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01354352 , version 1 (18-08-2016)
hal-01354352 , version 2 (19-08-2016)

Identifiants

  • HAL Id : hal-01354352 , version 1

Citer

Yves Mocquard, Emmanuelle Anceaume, Bruno Sericola. Optimal Proportion Computation with Population Protocols. [Technical Report] IRISA, 263 avenue Général Leclerc, 35000 Rennes. 2016. ⟨hal-01354352v1⟩
430 Consultations
227 Téléchargements

Partager

Gmail Facebook X LinkedIn More