English
Related papers

Related papers: Time-optimal self-stabilizing leader election in p…

200 papers

We study the problem of optimal leader selection in consensus networks with noisy relative information. The objective is to identify the set of $k$ leaders that minimizes the formation's deviation from the desired trajectory established by…

Optimization and Control · Mathematics 2014-12-23 Stacy Patterson , Neil McGlohon , Kirill Dyagilev

We describe a slightly sub-exponential time algorithm for learning parity functions in the presence of random classification noise. This results in a polynomial-time algorithm for the case of parity functions that depend on only the first…

Machine Learning · Computer Science 2007-05-23 Avrim Blum , Adam Kalai , Hal Wasserman

A distributed algorithm is self-stabilizing if after faults and attacks hit the system and place it in some arbitrary global state, the systems recovers from this catastrophic situation without external intervention in finite time.…

Data Structures and Algorithms · Computer Science 2009-09-29 Samuel Bernard , Stéphane Devismes , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

We describe a protocol for the average consensus problem on any fixed undirected graph whose convergence time scales linearly in the total number nodes $n$. The protocol is completely distributed, with the exception of requiring all nodes…

Optimization and Control · Mathematics 2017-08-07 Alex Olshevsky

Understanding how information can efficiently spread in distributed systems under noisy communications is a fundamental question in both biological research and artificial system design. When agents are able to control whom they interact…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-11 Niccolò D'Archivio , Amos Korman , Emanuele Natale , Robin Vacus

Suppose that a set of $m$ tasks are to be shared as equally as possible amongst a set of $n$ resources. A game-theoretic mechanism to find a suitable allocation is to associate each task with a ``selfish agent'', and require each agent to…

Computer Science and Game Theory · Computer Science 2007-05-23 Petra Berenbrink , Tom Friedetzky , Leslie Ann Goldberg , Paul Goldberg , Zengjian Hu , Russell Martin

In this paper, we investigate the leader election problem in diameter-two networks. Recently, Chatterjee et al. [DC 2020] studied the leader election in diameter-two networks. They presented a $O(\log n)$-round deterministic {implicit}…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-23 Manish Kumar , Anisur Rahaman Molla , Sumathi Sivasubramaniam

In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. Unlike existing approaches, where synthesis algorithms…

Software Engineering · Computer Science 2023-06-22 Fathiyeh Faghih , Borzoo Bonakdarpour , Sebastien Tixeuil , Sandeep Kulkarni

We propose a new protocol solving the fundamental problem of disseminating a piece of information to all members of a group of n players. It builds upon the classical randomized rumor spreading protocol and several extensions. The main…

Data Structures and Algorithms · Computer Science 2015-03-17 Benjamin Doerr , Mahmoud Fouz

Population protocols are a model of distributed computation in which an arbitrary number of indistinguishable finite-state agents interact in pairs to decide some property of their initial configuration. We investigate the behaviour of…

Formal Languages and Automata Theory · Computer Science 2024-12-17 Benno Lossin , Philipp Czerner , Javier Esparza , Roland Guttenberg , Tobias Prehn

We consider synchronous distributed systems in which anonymous processors communicate by shared read-write variables. The goal is to have all the processors assign unique names to themselves. We consider the instances of this problem…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-09-02 Bogdan S. Chlebus , Gianluca De Marco , Muhammed Talo

Self-stabilization is a versatile fault-tolerance approach that characterizes the ability of a system to eventually resume a correct behavior after any finite number of transient faults. In this paper, we propose a self-stabilizing reset…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-23 Stéphane Devismes , Colette Johnen

We study Plurality Consensus in the Gossip Model over a network of $n$ anonymous agents. Each agent supports an initial opinion or color. We assume that at the onset, the number of agents supporting the plurality color exceeds that of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-11 L. Becchetti , A. Clementi , E. Natale , F. Pasquale , R. Silvestri

We give a simple characterization of the functions that can be computed deterministically by anonymous processes in dynamic networks, depending on the number of leaders in the network. In addition, we provide efficient distributed…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-21 Giuseppe A. Di Luna , Giovanni Viglietta

In this paper we present a framework for leader election in multi-hop radio networks which yield randomized leader election algorithms taking $O(\text{broadcasting time})$ in expectation, and another which yields algorithms taking fixed…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-19 Artur Czumaj , Peter Davies

Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all fair executions reach a common consensus. The central…

Logic in Computer Science · Computer Science 2018-07-31 Michael Blondin , Javier Esparza , Stefan Jaax , Philipp J. Meyer

We study the Consensus problem among $n$ agents, defined as follows. Initially, each agent holds one of two possible opinions. The goal is to reach a consensus configuration in which every agent shares the same opinion. To this end, agents…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-18 Petra Berenbrink , Amin Coja-Oghlan , Oliver Gebhard , Max Hahn-Klimroth , Dominik Kaaser , Malin Rau

This paper studies a variant of the \emph{leader election} problem under the \emph{stone age} model (Emek and Wattenhofer, PODC 2013) that considers a network of $n$ randomized finite automata with very weak communication capabilities (a…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-26 Yehuda Afek , Yuval Emek , Noa Kolikant

This paper revisits a fundamental distributed computing problem in the population protocol model. Provided $n$ agents each starting with an input color in $[k]$, the relative majority problem asks to find the predominant color. In the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-06 Tom-Lukas Breitkopf , Julien Dallot , Antoine El-Hayek , Stefan Schmid

The maximal matching problem has received considerable attention in the self-stabilizing community. Previous work has given different self-stabilizing algorithms that solves the problem for both the adversarial and fair distributed daemon,…

Data Structures and Algorithms · Computer Science 2016-08-14 Fredrik Manne , Morten Mjelde , Laurence Pilard , Sébastien Tixeuil