English
Related papers

Related papers: Distributed Self-Stabilizing MIS with Few States a…

200 papers

In the fully dynamic maximal independent set (MIS) problem our goal is to maintain an MIS in a given graph $G$ while edges are inserted and deleted from the graph. The first non-trivial algorithm for this problem was presented by Assadi,…

Data Structures and Algorithms · Computer Science 2021-04-02 Shiri Chechik , Tianyi Zhang

We give a maximal independent set (MIS) algorithm that runs in $O(\log \log \Delta)$ rounds in the congested clique model, where $\Delta$ is the maximum degree of the input graph. This improves upon the $O(\frac{\log(\Delta) \cdot \log \log…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-22 Christian Konrad

We present randomized distributed algorithms for the maximal independent set problem (MIS) that, while keeping the time complexity nearly matching the best known, reduce the energy complexity substantially. These algorithms work in the…

Data Structures and Algorithms · Computer Science 2023-05-24 Mohsen Ghaffari , Julian Portmann

We investigate the distributed complexity of maximal matching and maximal independent set (MIS) in hypergraphs in the LOCAL model. A maximal matching of a hypergraph $H=(V_H,E_H)$ is a maximal disjoint set $M\subseteq E_H$ of hyperedges and…

Data Structures and Algorithms · Computer Science 2022-11-04 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti

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 develop the first theoretically-efficient algorithm for maintaining the maximal independent set (MIS) of a graph in the parallel batch-dynamic setting. In this setting, a graph is updated with batches of edge insertions/deletions, and…

Data Structures and Algorithms · Computer Science 2026-04-10 Guy Blelloch , Andrew Brady , Laxman Dhulipala , Jeremy Fineman , Jared Lo

We study the problem of finding a maximal independent set (MIS) in the standard LOCAL model of distributed computing. Classical algorithms by Luby [JACM'86] and Alon, Babai, and Itai [JALG'86] find an MIS in $O(\log n)$ rounds in $n$-node…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-22 Seri Khoury , Aaron Schild

We develop a general deterministic distributed method for locally rounding fractional solutions of graph problems for which the analysis can be broken down into analyzing pairs of vertices. Roughly speaking, the method can transform…

Data Structures and Algorithms · Computer Science 2022-09-26 Salwa Faour , Mohsen Ghaffari , Christoph Grunau , Fabian Kuhn , Václav Rozhoň

The field of dynamic graph algorithms aims at achieving a thorough understanding of real-world networks whose topology evolves with time. Traditionally, the focus has been on the classic sequential, centralized setting where the main…

Data Structures and Algorithms · Computer Science 2021-09-23 Shiri Antaki , Quanquan C. Liu , Shay Solomon

We present a simple distributed $\Delta$-approximation algorithm for maximum weight independent set (MaxIS) in the $\mathsf{CONGEST}$ model which completes in $O(\texttt{MIS}(G)\cdot \log W)$ rounds, where $\Delta$ is the maximum degree,…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-02 Reuven Bar-Yehuda , Keren Censor-Hillel , Mohsen Ghaffari , Gregory Schwartzman

The greedy sequential algorithm for maximal independent set (MIS) loops over the vertices in arbitrary order adding a vertex to the resulting set if and only if no previous neighboring vertex has been added. In this loop, as in many…

Data Structures and Algorithms · Computer Science 2012-02-16 Guy Blelloch , Jeremy Fineman , Julian Shun

Two of the most fundamental distributed symmetry-breaking problems are that of finding a maximal independent set (MIS) and a maximal matching (MM) in a graph. It is a major open question whether these problems can be solved in constant…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-03 Keren Censor-Hillel , Tomer Even , Maxime Flin , Magnús M. Halldórsson

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

A maximal independent set (MIS) can be maintained in an evolving $m$-edge graph by simply recomputing it from scratch in $O(m)$ time after each update. But can it be maintained in time sublinear in $m$ in fully dynamic graphs? We answer…

Data Structures and Algorithms · Computer Science 2018-02-28 Sepehr Assadi , Krzysztof Onak , Baruch Schieber , Shay Solomon

Given a stream $\mathcal{S}$ of insertions and deletions of edges of an underlying graph $G$ (with fixed vertex set $V$ where $n=|V|$ is the number of vertices of $G$), we propose a dynamic algorithm that maintains a maximal independent set…

Data Structures and Algorithms · Computer Science 2019-06-25 Morteza Monemizadeh

We consider the classic maximal and maximum independent set problems in three models of graph streams: In the edge-arrival model we see a stream of edges which collectively define a graph, this model has been well-studied for a variety of…

Data Structures and Algorithms · Computer Science 2018-07-24 Graham Cormode , Jacques Dark , Christian Konrad

The problem of distributed maximal independent set (MIS) is investigated on inhomogeneous random graphs with power-law weights by which the scale-free networks can be produced. Such a particular problem has been solved on graphs with $n$…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-13 Hasan Heydari , S. Mahmoud Taheri , Kaveh Kavousi

We present a uniform self-stabilizing algorithm, which solves the problem of distributively finding a minimum diameter spanning tree of an arbitrary positively real-weighted graph. Our algorithm consists in two stages of stabilizing…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-12 Franck Butelle , Christian Lavault , Marc Bui

In the distributed backup-placement problem each node of a network has to select one neighbor, such that the maximum number of nodes that make the same selection is minimized. This is a natural relaxation of the perfect matching problem, in…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-19 Leonid Barenboim , Gal Oren

We show that the maximum independent set problem (MIS) on an $n$-vertex graph can be solved in $1.1996^nn^{O(1)}$ time and polynomial space, which even is faster than Robson's $1.2109^{n}n^{O(1)}$-time exponential-space algorithm published…

Data Structures and Algorithms · Computer Science 2017-08-08 Mingyu Xiao , Hiroshi Nagamochi