Optimal Proportion Computation with Population Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès 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
PropRI.pdf (359.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Yves Mocquard, Emmanuelle Anceaume, Bruno Sericola. Optimal Proportion Computation with Population Protocols. Symposium on Network Computing and Applications, IEEE, Oct 2016, Cambridge, United States. ⟨10.1109/nca.2016.7778621⟩. ⟨hal-01354352v2⟩
430 Consultations
226 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More