2D Fractional Cascading on Axis-aligned Planar Subdivisions

09/11/2020
by   Peyman Afshani, et al.
0

Fractional cascading is one of the influential techniques in data structures, as it provides a general framework for solving the important iterative search problem. In the problem, the input is a graph G with constant degree and a set of values for every vertex of G. The goal is to preprocess G such that when given a query value q, and a connected subgraph π of G, we can find the predecessor of q in all the sets associated with the vertices of π. The fundamental result of fractional cascading is that there exists a data structure that uses linear space and it can answer queries in O(log n + |π|) time [Chazelle and Guibas, 1986]. While this technique has received plenty of attention in the past decades, an almost quadratic space lower bound for "2D fractional cascading" [Chazelle and Liu, 2001] has convinced the researchers that fractional cascading is fundamentally a 1D technique. In 2D fractional cascading, the input includes a planar subdivision for every vertex of G and the query is a point q and a subgraph π and the goal is to locate the cell containing q in all the subdivisions associated with the vertices of π. In this paper, we show that it is possible to circumvent the lower bound of Chazelle and Liu for axis-aligned planar subdivisions. We present a number of upper and lower bounds which reveal that in 2D, the problem has a much richer structure. When G is a tree and π is a path, then queries can be answered in O(logn+|π|+min{|π|√(logn),α(n)√(|π|)logn}) time using linear space where α is an inverse Ackermann function; surprisingly, we show both branches of this bound are tight, up to the inverse Ackermann factor. When G is a general graph or when π is a general subgraph, then the query bound becomes O(log n + |π|√(log n)) and this bound is once again tight in both cases.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/01/2020

A Lower Bound for Dynamic Fractional Cascading

We investigate the limits of one of the fundamental ideas in data struct...
research
11/29/2019

Tight Bounds for Planar Strongly Connected Steiner Subgraph with Fixed Number of Terminals (and Extensions)

(see paper for full abstract) Given a vertex-weighted directed graph G...
research
12/01/2020

Lower Bounds for Semialgebraic Range Searching and Stabbing Problems

In the semialgebraic range searching problem, we are to preprocess n poi...
research
02/06/2023

Tight bound on treedepth in terms of pathwidth and longest path

We show that every graph with pathwidth strictly less than a that contai...
research
08/15/2018

The Sketching Complexity of Graph and Hypergraph Counting

Subgraph counting is a fundamental primitive in graph processing, with a...
research
11/22/2022

Query Complexity of Inversion Minimization on Trees

We consider the following computational problem: Given a rooted tree and...
research
12/28/2018

Occupancy fraction, fractional colouring, and triangle fraction

Given ε>0, there exists f_0 such that, if f_0 < f <Δ^2+1, then for any g...

Please sign up or login with your details

Forgot password? Click here to reset