Homonym Population Protocols - Equipe : Graphes, Algorithmes et Combinatoire Accéder directement au contenu
Article Dans Une Revue Theory of Computing Systems Année : 2018

Homonym Population Protocols

Résumé

The population protocol model was introduced by Angluin et al. as a model of passively mobile anonymous finite-state agents. This model computes a predicate on the multiset of their inputs via interactions by pairs. The original population protocol model has been proved to compute only semilinear predicates and has been extended in various ways. In the community protocol model by Guerraoui and Ruppert, the n agents have unique identifiers but may only store a finite number of the identifiers they already heard about. The community protocol model is known to provide the power of a non-deterministic Turing machine with an O (n log n) space. We consider variants of the two above-mentioned models and we obtain a whole landscape that covers and extends already known results. Namely, by considering the case of homonyms, that is to say the case when several agents may share the same identifier, we provide a hierarchy that goes from the case of no identifier (population protocol model) to the case of unique identifiers (community protocol model). In particular, we obtain that any Turing Machine on space O (log O (1) n) can be simulated with log rn identifiers, for any r >  0. Our results also extend and revisit the hierarchy provided by Chatzigiannakis et al. on population protocols carrying Turing Machines on limited space, reducing the gap left by this work between per-agent space o (loglog n) (proved to be equivalent to population protocols) and Ω(log n) (proved to be equivalent to Turing machines): We prove that per-agent space Θ(loglog n) corresponds to symmetric predicates computable in polylogarithmic non-deterministic space.
Fichier principal
Vignette du fichier
1602.03540.pdf (278.01 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01688764 , version 1 (31-01-2024)

Identifiants

Citer

Olivier Bournez, Johanne Cohen, Mikael Rabie. Homonym Population Protocols. Theory of Computing Systems, 2018, 62 (5), pp.1318-1346. ⟨10.1007/s00224-017-9833-2⟩. ⟨hal-01688764⟩
176 Consultations
5 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More