English
Related papers

Related papers: Maintaining $\mathsf{CMSO}_2$ properties on dynami…

200 papers

Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for graphs of bounded treewidth. Unfortunately, the running time's dependence on…

Data Structures and Algorithms · Computer Science 2009-11-05 Michael Lampis

Geometric set cover is a classical problem in computational geometry, which has been extensively studied in the past. In the dynamic version of the problem, points and ranges may be inserted and deleted, and our goal is to efficiently…

Computational Geometry · Computer Science 2021-11-03 Timothy M. Chan , Qizheng He , Subhash Suri , Jie Xue

We provide the first deterministic data structure that given a weighted undirected graph undergoing edge insertions, processes each update with polylogarithmic amortized update time and answers queries for the distance between any pair of…

Data Structures and Algorithms · Computer Science 2023-03-28 Sebastian Forster , Yasamin Nazari , Maximilian Probst Gutenberg

We introduce new data structures for answering connectivity queries in graphs subject to batched vertex failures. A deterministic structure processes a batch of $d\leq d_{\star}$ failed vertices in $\tilde{O}(d^3)$ time and thereafter…

Data Structures and Algorithms · Computer Science 2017-09-08 Ran Duan , Seth Pettie

We study the problem of efficiently answering strong connectivity queries under two vertex failures. Given a directed graph $G$ with $n$ vertices, we provide a data structure with $O(nh)$ space and $O(h)$ query time, where $h$ is the height…

Data Structures and Algorithms · Computer Science 2023-12-05 Loukas Georgiadis , Evangelos Kosinas , Daniel Tsokaktsis

We present the first data structures that maintain near optimal maximum cardinality and maximum weighted matchings on sparse graphs in sublinear time per update. Our main result is a data structure that maintains a $(1+\epsilon)$…

Data Structures and Algorithms · Computer Science 2013-04-11 Manoj Gupta , Richard Peng

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

Dynamic connectivity is one of the most fundamental problems in dynamic graph algorithms. We present a randomized Las Vegas dynamic connectivity data structure with $O(\log n(\log\log n)^2)$ amortized expected update time and $O(\log…

Data Structures and Algorithms · Computer Science 2024-02-14 Shang-En Huang , Dawei Huang , Tsvi Kopelowitz , Seth Pettie , Mikkel Thorup

Fix a parameter $k\in \mathbf{N}$. We give dynamic data structures that for a fully dynamic undirected graph $G$, updated over time by edge insertions and edge deletions, can answer the following queries: - Long $(u,v)$-path: Given $u,v\in…

Data Structures and Algorithms · Computer Science 2026-05-06 Daniel Dadush , Michał Pilipczuk , Amadeus Reinald , Marek Sokołowski , Michał Włodarczyk

We study dynamic algorithms in the model of algorithms with predictions. We assume the algorithm is given imperfect predictions regarding future updates, and we ask how such predictions can be used to improve the running time. This can be…

Data Structures and Algorithms · Computer Science 2023-12-11 Jan van den Brand , Sebastian Forster , Yasamin Nazari , Adam Polak

We introduce top trees as a design of a new simpler interface for data structures maintaining information in a fully-dynamic forest. We demonstrate how easy and versatile they are to use on a host of different applications. For example, we…

Data Structures and Algorithms · Computer Science 2007-05-23 Stephen Alstrup , Jacob Holm , Kristian de Lichtenberg , Mikkel Thorup

Motivated by an application in computational topology, we consider a novel variant of the problem of efficiently maintaining dynamic rooted trees. This variant requires merging two paths in a single operation. In contrast to the standard…

Data Structures and Algorithms · Computer Science 2007-11-13 Loukas Georgiadis , Haim Kaplan , Nira Shafrir , Robert E. Tarjan , Renato F. Werneck

We present two on-line algorithms for maintaining a topological order of a directed $n$-vertex acyclic graph as arcs are added, and detecting a cycle when one is created. Our first algorithm handles $m$ arc additions in $O(m^{3/2})$ time.…

Data Structures and Algorithms · Computer Science 2011-05-13 Bernhard Haeupler , Telikepalli Kavitha , Rogers Mathew , Siddhartha Sen , Robert Endre Tarjan

The dynamic set cover problem has been subject to extensive research since the pioneering works of [Bhattacharya et al, 2015] and [Gupta et al, 2017]. The input is a set system $(U, S)$ on a fixed collection $S$ of sets and a dynamic…

Data Structures and Algorithms · Computer Science 2024-10-29 Anton Bukov , Shay Solomon , Tianyi Zhang

In the fully dynamic edge connectivity problem, the input is a simple graph $G$ undergoing edge insertions and deletions, and the goal is to maintain its edge connectivity, denoted $\lambda_G$. We present two simple randomized algorithms…

Data Structures and Algorithms · Computer Science 2025-10-21 Yotam Kenneth-Mordoch , Robert Krauthgamer

We consider the problem of maintaining a $(1-\epsilon)$-approximation to the densest subgraph (DSG) in an undirected multigraph as it undergoes edge insertions and deletions (the fully dynamic setting). Sawlani and Wang [SW20] developed a…

Data Structures and Algorithms · Computer Science 2022-10-07 Chandra Chekuri , Kent Quanrud

We initiate the study of approximate maximum matching in the vertex partition model, for graphs subject to dynamic changes. We assume that the $n$ vertices of the graph are partitioned among $k$ players, who execute a distributed algorithm…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-01 Peter Robinson , Xianbin Zhu

We present a randomized algorithm for dynamic graph connectivity. With failure probability less than $1/n^c$ (for any constant $c$ we choose), our solution has worst case running time $O(\log^3 n)$ per edge insertion, $O(\log^4 n)$ per edge…

Data Structures and Algorithms · Computer Science 2015-10-16 Zhengyu Wang

We present a new data structure for maintaining dynamic permutations, which we call a $\textit{forest of splay trees (FST)}$. The FST allows one to efficiently maintain the cycle structure of a permutation $\pi$ when the allowed updates are…

Data Structures and Algorithms · Computer Science 2023-06-08 Zsuzsanna Lipták , Francesco Masillo , Gonzalo Navarro

We present a general framework of designing efficient dynamic approximate algorithms for optimization on undirected graphs. In particular, we develop a technique that, given any problem that admits a certain notion of vertex sparsifiers,…

Data Structures and Algorithms · Computer Science 2020-05-06 Li Chen , Gramoz Goranci , Monika Henzinger , Richard Peng , Thatchaphol Saranurak