Bit-complexité des protocoles de gossip
Abstract
Nous étudions le problème du \emph{gossip} (i.e., diffusion de rumeurs) dans le modèle des appels aléatoires. Considérons $n$ noeuds communiquant en parallèle par étape. A chaque étape, un ensemble (potentiellement vide) de \emph{rumeurs} est généré à chaque noeud, la même rumeur pouvant être générée simultanément par plusieurs noeuds. L'objectif est de diffuser ces rumeurs à tous les noeuds. Pour ce faire, à chaque étape, chaque noeud appelle un autre noeud choisi uniformément aléatoirement parmi l'ensemble de tous les noeuds, et un noeud ne peut alors communiquer qu'avec le noeud qu'il a appelé, et les noeuds qui l'ont potentiellement appelé. Dans ce modèle, Karp et ses co-auteurs~\cite{Karp2000} ont montré qu'aucun algorithme de gossip ne peut être à la fois optimal en temps (i.e., s'exécuter en $O(\log n)$ étapes) et en volume de communication (i.e., s'exécuter en transmettant au plus $O(n)$ messages). En particulier, ils ont montré que tout algorithme de gossip n'utilisant pas les IDs des noeuds et diffusant toute rumeur en $O(\log n)$ étapes doit échanger $\Omega(n\log\log n)$ messages par rumeur. Karp et ses co-auteurs ont également montré que ce compromis peut être atteint. Dans cet article, nous étudions le volume de communication estimé en nombre de bits échangés plutôt qu'en nombre de messages. Nous montrons tout d'abord que tout algorithme de gossip n'utilisant pas les IDs des noeuds et diffusant toute rumeur en $O(\log n)$ étapes doit échanger $\Omega(n (b+\log\log n))$ bits pour diffuser une rumeur de $b$ bits. Nous proposons alors un algorithme de gossip n'utilisant pas les IDs des noeuds qui diffuse toute rumeur en $O(\log n)$ étapes, en échangeant $O(n(b+\log\log n\log b))$ bits pour une rumeur de $b$ bits. Ces résultats démontrent que contrairement à ce qu'il peut sembler lorsque l'on mesure le volume de communication en nombre de messages, il est possible d'être à la fois optimal en temps (i.e., s'exécuter en $O(\log n)$ étapes) et en volume de communication (i.e., s'exécuter en transmettant au plus $O(nb)$ bits), sauf pour des rumeurs extrêmement petites, de taille $b\ll\log\log n \log\log\log n$ bits.
Origin : Files produced by the author(s)
Loading...