English
Related papers

Related papers: (Worst-Case) Optimal Adaptive Dynamic Bitvectors

200 papers

Many dynamic graph algorithms have an amortized update time, rather than a stronger worst-case guarantee. But amortized data structures are not suitable for real-time systems, where each individual operation has to be executed quickly. For…

Data Structures and Algorithms · Computer Science 2021-03-12 Aaron Bernstein , Sebastian Forster , Monika Henzinger

The representation of a dynamic ordered set of $n$ integer keys drawn from a universe of size $m$ is a fundamental data structuring problem. Many solutions to this problem achieve optimal time but take polynomial space, therefore preserving…

Data Structures and Algorithms · Computer Science 2020-03-27 Giulio Ermanno Pibiri , Rossano Venturini

We present a new distance oracle in the fully dynamic setting: given a weighted undirected graph $G=(V,E)$ with $n$ vertices undergoing both edge insertions and deletions, and an arbitrary parameter $\epsilon$ where $\epsilon\in[1/\log^{c}…

Data Structures and Algorithms · Computer Science 2024-04-12 Bernhard Haeupler , Yaowei Long , Thatchaphol Saranurak

It is widely assumed that $O(m+\lg \sigma)$ is the best one can do for finding a pattern of length $m$ in a compacted trie storing strings over an alphabet of size $\sigma$, if one insists on linear-size data structures and deterministic…

Data Structures and Algorithms · Computer Science 2013-02-15 Johannes Fischer , Pawel Gawrychowski

In this paper we describe a fully-dynamic data structure for the planar point location problem in the external memory model. Our data structure supports queries in $O(\log_B n(\log\log_B n)^3))$ I/Os and updates in $O(\log_B n(\log\log_B…

Data Structures and Algorithms · Computer Science 2019-03-18 J. Ian Munro , Yakov Nekrich

In 2010, P\v{a}tra\c{s}cu proposed the following three-phase dynamic problem, as a candidate for proving polynomial lower bounds on the operational time of dynamic data structures: I: Preprocess a collection of sets $\vec{S} = S_1, \ldots ,…

Data Structures and Algorithms · Computer Science 2019-10-31 Young Kun Ko , Omri Weinstein

We consider the classical problem of representing a collection of priority queues under the operations \Findmin{}, \Insert{}, \Decrease{}, \Meld{}, \Delete{}, and \Deletemin{}. In the comparison-based model, if the first four operations are…

Data Structures and Algorithms · Computer Science 2011-12-06 Amr Elmasry , Jyrki Katajainen

We introduce dynamic smooth (a.k.a. balanced) compressed quadtrees with worst-case constant time updates in constant dimensions. We distinguish two versions of the problem. First, we show that quadtrees as a space-division data structure…

Computational Geometry · Computer Science 2018-02-23 Ivor Hoog v. d. , Elena Khramtcova , Maarten Löffler

Filters (such as Bloom Filters) are data structures that speed up network routing and measurement operations by storing a compressed representation of a set. Filters are space efficient, but can make bounded one-sided errors: with tunable…

Data Structures and Algorithms · Computer Science 2021-05-25 Tsvi Kopelowitz , Samuel McCauley , Ely Porat

In this paper we describe a dynamic data structure that answers one-dimensional stabbing-max queries in optimal $O(\log n/\log\log n)$ time. Our data structure uses linear space and supports insertions and deletions in $O(\log n)$ and…

Data Structures and Algorithms · Computer Science 2011-09-20 Yakov Nekrich

We consider the problem of maintaining an (approximately) minimum vertex cover in an $n$-node graph $G = (V, E)$ that is getting updated dynamically via a sequence of edge insertions/deletions. We show how to maintain a…

Data Structures and Algorithms · Computer Science 2018-07-13 Sayan Bhattacharya , Janardhan Kulkarni

We give a fully dynamic deterministic algorithm for maintaining a maximal matching of an $n$-vertex graph in $\tilde{O}(n^{8/9})$ amortized update time. This breaks the long-standing $\Omega(n)$-update-time barrier on dense graphs,…

Data Structures and Algorithms · Computer Science 2025-09-01 Aaron Bernstein , Sayan Bhattacharya , Peter Kiss , Thatchaphol Saranurak

Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analysis either run to completion, or provide no suboptimal…

Logic in Computer Science · Computer Science 2016-08-03 Mario Alviano , Carmine Dodaro

We present two algorithms for dynamically maintaining a spanning forest of a graph undergoing edge insertions and deletions. Our algorithms guarantee {\em worst-case update time} and work against an adaptive adversary, meaning that an edge…

Data Structures and Algorithms · Computer Science 2017-04-19 Danupon Nanongkai , Thatchaphol Saranurak

Traditional databases commonly support efficient query and update procedures that operate in time which is sublinear in the size of the database. Our goal in this paper is to take a first step toward dynamic reasoning in probabilistic…

Artificial Intelligence · Computer Science 2009-09-25 A. L. Delcher , A. J. Grove , S. Kasif , J. Pearl

We solve the dynamic Predecessor Problem with high probability (whp) in constant time, using only $n^{1+\delta}$ bits of memory, for any constant $\delta > 0$. The input keys are random wrt a wider class of the well studied and practically…

Data Structures and Algorithms · Computer Science 2011-04-25 D. Belazzougui , A. C. Kaporis , P. G. Spirakis

For a set $P$ of $n$ points in the plane and a value $r > 0$, the unit-disk range reporting problem is to construct a data structure so that given any query disk of radius $r$, all points of $P$ in the disk can be reported efficiently. We…

Computational Geometry · Computer Science 2025-01-03 Haitao Wang , Yiming Zhao

In this paper we consider the following modification of the iterative search problem. We are given a tree $T$, so that a dynamic catalog $C(v)$ is associated with every tree node $v$. For any $x$ and for any node-to-root path $\pi$ in $T$,…

Data Structures and Algorithms · Computer Science 2010-07-21 Yakov Nekrich

Temporal graphs represent interactions between entities over time. Deciding whether entities can reach each other through temporal paths is useful for various applications such as in communication networks and epidemiology. Previous works…

Data Structures and Algorithms · Computer Science 2023-08-24 Luiz Fernando Afra Brito , Marcelo Keese Albertini , Bruno Augusto Nassif Travençolo , Gonzalo Navarro

We give a fully dynamic algorithm maintaining a $(1-\varepsilon)$-approximate directed densest subgraph in $\tilde{O}(\log^3(n)/\varepsilon^6)$ amortized time or $\tilde{O}(\log^4(n)/\varepsilon^7)$ worst-case time per edge update (where…

Data Structures and Algorithms · Computer Science 2023-12-19 Richard Li , Kent Quanrud