Abstract:We investigate the limits of one of the fundamental ideas in data structures: fractional cascading. This is an important data structure technique to speed up repeated searches for the same key in multiple lists and it has numerous applications. Specifically, the input is a "catalog" graph, $G$, of constant degree together with a list of values assigned to every vertex of $G$. The goal is to preprocess the input such that given a connected subgraph $H$ of $G$ and a single query value $q$, one can find the predecessor of $q$ in every list that belongs to $\scat$. The classical result by Chazelle and Guibas shows that in a pointer machine, this can be done in the optimal time of $Ø(\log n + |\scat|)$ where $n$ is the total number of values. However, if insertion and deletion of values are allowed, then the query time slows down to $Ø(\log n + |\scat| \log\log n)$. If only insertions (or deletions) are allowed, then once again, an optimal query time can be obtained but by using amortization at update time. We prove a lower bound of $\Omega( \log n \sqrt{\log\log n})$ on the worst-case query time of dynamic fractional cascading, when queries are paths of length $O(\log n)$. The lower bound applies both to fully dynamic data structures with amortized polylogarithmic update time and incremental data structures with polylogarithmic worst-case update time. As a side, this also roves that amortization is crucial for obtaining an optimal incremental data structure. This is the first non-trivial pointer machine lower bound for a dynamic data structure that breaks the $\Omega(\log n)$ barrier. In order to obtain this result, we develop a number of new ideas and techniques that hopefully can be useful to obtain additional dynamic lower bounds in the pointer machine model.

An implementation of range trees with fractional cascading in C++

A Lower Bound for Dynamic Fractional Cascading

GDCRT: In-Memory 2D Geographical Dynamic Cascading Range Tree

Distributed Ranges: A Model for Distributed Data Structures, Algorithms, and Views

Biased Range Trees

The Cascading Metric Tree

Improved Time and Space Bounds for Dynamic Range Mode

Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric

An Efficient Indexing Structure for Multidimensional Categorical Range Aggregation Query

Persistent Non-Blocking Binary Search Trees Supporting Wait-Free Range Queries

Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs

RCT: A distributed tree for supporting efficient range and multi-attribute queries in grid computing

An efficient way to manage ranges of data with Wise Red-Black Trees

The C-ND Tree: a Multidimensional Index for Hybrid Continuous and Non-Ordered Discrete Data Spaces

Range Reporting for Time Series via Rectangle Stabbing

An Optimal Algorithm for Range Search on Multidimensional Points

RW-Tree: A Learned Workload-aware Framework for R-tree Construction

KDTREE 2: Fortran 95 and C++ software to efficiently search for near neighbors in a multi-dimensional Euclidean space

Task-based Augmented Contour Trees with Fibonacci Heaps

iRangeGraph: Improvising Range-dedicated Graphs for Range-filtering Nearest Neighbor Search

Lock-free Linearizable 1-Dimensional Range Queries