Fast, Robust, Quantizable Approximate Consensus *

Abstract : We introduce a new class of distributed algorithms for the approximate consensus problem in dynamic rooted networks, which we call amortized averaging algorithms. They are deduced from ordinary averaging algorithms by adding a value-gathering phase before each value update. This results in a drastic drop in decision times, from being exponential in the number n of processes to being polynomial under the assumption that each process knows n. In particular, the amortized midpoint algorithm is the first algorithm that achieves a linear decision time in dynamic rooted networks with an optimal contraction rate of 1/2 at each update step. We then show robustness of the amortized midpoint algorithm under violation of network assumptions: it gracefully degrades if communication graphs from time to time are non rooted, or under a wrong estimate of the number of processes. Finally, we prove that the amortized midpoint algorithm behaves well if processes can store and send only quantized values, rendering it well-suited for the design of dynamic networked systems. As a corollary we obtain that the 2-set consensus problem is solvable in linear time in any dynamic rooted network model. 1 Introduction This paper studies the problem of approximate consensus: given a set of processes, each of them with an initial real value, for any positive real number ε, every process has to achieve ε-consensus, i.e., decides on one value that lies in the range of the initial values and that differs from the other decision values by at most ε. This problem, which is a weakening of exact (ε = 0) consensus, has a large variety of applications in distributed computing or multi-agent control (e.g., clock synchronization or geometric coordination tasks) and often has to be solved in the context of dynamic networks, using local information, and under adverse constraints. In recent work [8], we proved that approximate consensus is solvable in a dynamic network model if and only if the directed time-varying communication graph is always rooted, i.e., *
Type de document :
Communication dans un congrès
Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 〈http://www.easyconferences.eu/icalp2016/〉. 〈10.4230/LIPIcs.ICALP.2016.137〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01395576
Contributeur : Thomas Nowak <>
Soumis le : jeudi 10 novembre 2016 - 21:07:46
Dernière modification le : jeudi 20 septembre 2018 - 07:54:02
Document(s) archivé(s) le : mardi 21 mars 2017 - 03:46:22

Fichier

LIPIcs-ICALP-2016-137.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. Fast, Robust, Quantizable Approximate Consensus *. Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 〈http://www.easyconferences.eu/icalp2016/〉. 〈10.4230/LIPIcs.ICALP.2016.137〉. 〈hal-01395576〉

Partager

Métriques

Consultations de la notice

545

Téléchargements de fichiers

158