English
Related papers

Related papers: Faster Deterministic Fully-Dynamic Graph Connectiv…

200 papers

A recent work by Christiansen, Nowicki, and Rotenberg provides dynamic algorithms for coloring sparse graphs, concretely as a function of the arboricity alpha of the input graph. They give two randomized algorithms: O({alpha} log {alpha})…

Data Structures and Algorithms · Computer Science 2024-10-28 Mohsen Ghaffari , Christoph Grunau

We design fast dynamic algorithms for proper vertex and edge colorings in a graph undergoing edge insertions and deletions. In the static setting, there are simple linear time algorithms for $(\Delta+1)$- vertex coloring and…

Data Structures and Algorithms · Computer Science 2017-11-15 Sayan Bhattacharya , Deeparnab Chakrabarty , Monika Henzinger , Danupon Nanongkai

Recently it was shown that the transitive closure of a directed graph can be updated using first-order formulas after insertions and deletions of single edges in the dynamic descriptive complexity framework by Dong, Su, and Topor, and…

Logic in Computer Science · Computer Science 2018-04-25 Samir Datta , Anish Mukherjee , Nils Vortmeier , Thomas Zeume

We consider the directed minimum weight cycle problem in the fully dynamic setting. To the best of our knowledge, so far no fully dynamic algorithms have been designed specifically for the minimum weight cycle problem in general digraphs.…

Data Structures and Algorithms · Computer Science 2021-06-23 Adam Karczmarz

We study the Temporal Exploration problem, where an agent must visit all vertices of a temporal graph while traversing at most one available edge per time step. Unlike static graphs, which can be explored in linear time, temporal…

Data Structures and Algorithms · Computer Science 2026-05-18 Ivan Lahtin , Viktor Zamaraev

In this paper, we show new data structures maintaining approximate shortest paths in sparse directed graphs with polynomially bounded non-negative edge weights under edge insertions. We give more efficient incremental…

Data Structures and Algorithms · Computer Science 2025-02-17 Adam Górkiewicz , Adam Karczmarz

Temporal graphs represent interactions between entities over the time. These interactions may be direct (a contact between two nodes at some time instant), or indirect, through sequences of contacts called temporal paths (journeys).…

Data Structures and Algorithms · Computer Science 2021-04-01 Luiz F. Afra Brito , Marcelo Albertini , Arnaud Casteigts , Bruno A. N. Travençolo

In this paper, we analyze timed systems with data structures, using a rich interplay of logic and properties of graphs. We start by describing behaviors of timed systems using graphs with timing constraints. Such a graph is called…

Logic in Computer Science · Computer Science 2019-04-30 S. Akshay , Paul Gastin , Vincent Juge , Shankara Narayanan Krishna

We study dynamic $(1-\epsilon)$-approximate rounding of fractional matchings -- a key ingredient in numerous breakthroughs in the dynamic graph algorithms literature. Our first contribution is a surprisingly simple deterministic rounding…

Data Structures and Algorithms · Computer Science 2024-02-26 Sayan Bhattacharya , Peter Kiss , Aaron Sidford , David Wajc

We solve, in a fully decentralised way (\ie with no message passing), the classic problem of colouring a graph. We propose a novel algorithm that is automatically responsive to topology changes, and we prove that it converges quickly to a…

Data Structures and Algorithms · Computer Science 2017-09-05 Alessandro Checco , Douglas J. Leith

We present a simple algorithm which maintains the topological order of a directed acyclic graph with n nodes under an online edge insertion sequence in O(n^{2.75}) time, independent of the number of edges m inserted. For dense DAGs, this is…

Data Structures and Algorithms · Computer Science 2007-05-23 Deepak Ajwani , Tobias Friedrich , Ulrich Meyer

Kallampally and Tewari showed in 2016 that there can be a trade-off between determinism and time in space-bounded computations. This they did by describing an unambiguous non-deterministic algorithm to solve Directed Graph Reachability that…

Computational Complexity · Computer Science 2025-04-16 Ronak Bhadra , Raghunath Tewari

We consider a discrete-time model of continuous-time distributed optimization over dynamic directed-graphs (digraphs) with applications to distributed learning. Our optimization algorithm works over general strongly connected dynamic…

Optimization and Control · Mathematics 2024-03-27 Mohammadreza Doostmohammadian , Wei Jiang , Muwahida Liaquat , Alireza Aghasi , Houman Zarrabi

Motion planning is a fundamental problem of robotics with applications in many areas of computer science and beyond. Its restriction to graphs has been investigated in the literature for it allows to concentrate on the combinatorial problem…

Discrete Mathematics · Computer Science 2009-04-14 Zhilin Wu , Stephane Grumbach

Computing the connected components of a graph is a fundamental problem in algorithmic graph theory. A major question in this area is whether we can compute connected components in $o(\log n)$ parallel time. Recent works showed an…

Data Structures and Algorithms · Computer Science 2025-01-31 Alireza Farhadi , S. Cliff Liu , Elaine Shi

We prove an optimal mixing time bound on the single-site update Markov chain known as the Glauber dynamics or Gibbs sampling in a variety of settings. Our work presents an improved version of the spectral independence approach of Anari et…

Discrete Mathematics · Computer Science 2023-03-24 Zongchen Chen , Kuikui Liu , Eric Vigoda

In the dynamic minimum set cover problem, a challenge is to minimize the update time while guaranteeing close to the optimal $\min(O(\log n), f)$ approximation factor. (Throughout, $m$, $n$, $f$, and $C$ are parameters denoting the maximum…

Data Structures and Algorithms · Computer Science 2020-04-20 Sayan Bhattacharya , Monika Henzinger , Danupon Nanongkai , Xiaowei Wu

In a very recent breakthrough, Behnezhad and Ghafari [FOCS'24] developed a novel fully dynamic randomized algorithm for maintaining a $(1-\epsilon)$-approximation of maximum matching with amortized update time potentially much better than…

Data Structures and Algorithms · Computer Science 2024-10-22 Sepehr Assadi , Sanjeev Khanna , Peter Kiss

We give new upper and lower bounds for the {\em dynamic} set cover problem. First, we give a $(1+\epsilon) f$-approximation for fully dynamic set cover in $O(f^2\log n /\epsilon^5)$ (amortized) update time, for any $\epsilon > 0$, where $f$…

Data Structures and Algorithms · Computer Science 2019-05-16 Amir Abboud , Raghavendra Addanki , Fabrizio Grandoni , Debmalya Panigrahi , Barna Saha

The dynamic set cover problem has been subject to growing research attention in recent years. In this problem, we are given as input a dynamic universe of at most $n$ elements and a fixed collection of $m$ sets, where each element appears…

Data Structures and Algorithms · Computer Science 2024-07-10 Shay Solomon , Amitai Uzrad , Tianyi Zhang