English
Related papers

Related papers: Red-Black Trees with Constant Update Time

200 papers

This paper presents a new kind of self-balancing ternary search trie that uses a randomized balancing strategy adapted from Aragon and Seidel's randomized binary search trees ("treaps"). After any sequence of insertions and deletions of…

Data Structures and Algorithms · Computer Science 2017-01-10 Nicolai Diethelm

The "ordered set" abstract data type with operations "insert", "erase", "find", "min", "max", "next" and "prev" is ubiquitous in computer science. It is usually implemented with red-black trees, $B$-trees, or $B^+$-trees. We present our…

Data Structures and Algorithms · Computer Science 2025-06-18 Viktor Krapivensky

We start by summarizing the recently proposed implementation of the first non-blocking concurrent interpolation search tree (C-IST) data structure. We then analyze the individual operations of the C-IST, and show that they are correct and…

Data Structures and Algorithms · Computer Science 2020-01-03 Aleksandar Prokopec , Trevor Brown , Dan Alistarh

Classic dynamic data structure problems maintain a data structure subject to a sequence S of updates and they answer queries using the latest version of the data structure, i.e., the data structure after processing the whole sequence. To…

Data Structures and Algorithms · Computer Science 2021-12-02 Monika Henzinger , Xiaowei Wu

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

In this article, we give a precise mathematical meaning to `linear? time' that matches experimental behaviour of the algorithm. The sorting algorithm is not our own, it is a variant of radix sort with counting sort as a subroutine. The true…

Computational Complexity · Computer Science 2019-01-01 Laurent Lyaudet

This article describes a new system for induction of oblique decision trees. This system, OC1, combines deterministic hill-climbing with two forms of randomization to find a good oblique split (in the form of a hyperplane) at each node of a…

Artificial Intelligence · Computer Science 2008-02-03 S. K. Murthy , S. Kasif , S. Salzberg

Tackling simulation optimization problems with non-convex objective functions remains a fundamental challenge in operations research. In this paper, we propose a class of random search algorithms, called Regular Tree Search, which…

Optimization and Control · Mathematics 2025-06-24 Du-Yi Wang , Guo Liang , Guangwu Liu , Kun Zhang

While the algorithmic drawing of static trees is well-understood and well-supported by software tools, creating animations depicting how a tree changes over time is currently difficult: software support, if available at all, is not…

Computational Geometry · Computer Science 2016-08-31 Malte Skambath , Till Tantau

We present a study of several generic tree search techniques applied to the Sequential Ordering Problem. This study enables us to propose a simple and competitive tree search algorithm. It consists of an iterative Beam Search algorithm that…

Discrete Mathematics · Computer Science 2020-01-26 Luc Libralesso , Abdel-Malik Bouhassoun , Hadrien Cambazard , Vincent Jost

We define simple variants of zip trees, called zip-zip trees, which provide several advantages over zip trees, including overcoming a bias that favors smaller keys over larger ones. We analyze zip-zip trees theoretically and empirically,…

Data Structures and Algorithms · Computer Science 2025-02-11 Ofek Gila , Michael T. Goodrich , Robert E. Tarjan

We study the metric facility location problem with client insertions and deletions. This setting differs from the classic dynamic facility location problem, where the set of clients remains the same, but the metric space can change over…

Data Structures and Algorithms · Computer Science 2019-09-17 Gramoz Goranci , Monika Henzinger , Dariusz Leniowski

In this paper, we resolve a long-standing question in self-stabilization by demonstrating that it is indeed possible to construct a spanning tree in a semi-uniform network using constant memory per node. We introduce a self-stabilizing…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-13 Lélia Blin , Franck Petit , Sébastien Tixeuil

Succinct data structures give space-efficient representations of large amounts of data without sacrificing performance. They rely one cleverly designed data representations and algorithms. We present here the formalization in Coq/SSReflect…

Programming Languages · Computer Science 2019-07-03 Reynald Affeldt , Jacques Garrigue , Xuanrui Qi , Kazunari Tanaka

We give improved algorithms for maintaining edge-orientations of a fully-dynamic graph, such that the out-degree of each vertex is bounded. On one hand, we show how to orient the edges such that the out-degree of each vertex is proportional…

Data Structures and Algorithms · Computer Science 2023-11-07 Chandra Chekuri , Aleksander Bjørn Christiansen , Jacob Holm , Ivor van der Hoog , Kent Quanrud , Eva Rotenberg , Chris Schwiegelshohn

Suffix trees are key and efficient data structure for solving string problems. A suffix tree is a compressed trie containing all the suffixes of a given text of length $n$ with a linear construction cost. In this work, we introduce an…

Data Structures and Algorithms · Computer Science 2024-06-04 Anas Al-okaily

We consider the phylogenetic tree reconstruction problem with insertions and deletions (indels). Phylogenetic algorithms proceed under a model where sequences evolve down the model tree, and given sequences at the leaves, the problem is to…

Data Structures and Algorithms · Computer Science 2019-02-22 Arun Ganesh , Qiuyi Zhang

Which dynamic queries can be maintained efficiently? For constant-size changes, it is known that constant-depth circuits or, equivalently, first-order updates suffice for maintaining many important queries, among them reachability, tree…

Logic in Computer Science · Computer Science 2024-07-30 Samir Datta , Asif Khan , Anish Mukherjee , Felix Tschirbs , Nils Vortmeier , Thomas Zeume

Stabbing queries in sets of intervals are usually answered using segment trees. A dynamic variant of segment trees has been presented by van Kreveld and Overmars, which uses red-black trees to do rebalancing operations. This paper presents…

Data Structures and Algorithms · Computer Science 2020-07-03 Lukas Barth , Dorothea Wagner

Random survival forests are widely used for estimating covariate-conditional survival functions under right-censoring. Their standard log-rank splitting criterion is typically recomputed at each candidate split. This O(M) cost per split,…

Methodology · Statistics 2026-04-23 Erik Sverdrup , James Yang , Michael LeBlanc