DeepAI AI Chat
Log In Sign Up

Lower Bounds for Semialgebraic Range Searching and Stabbing Problems

by   Peyman Afshani, et al.
Aarhus Universitet

In the semialgebraic range searching problem, we are to preprocess n points in ℝ^d s.t. for any query range from a family of constant complexity semialgebraic sets, all the points intersecting the range can be reported or counted efficiently. When the ranges are composed of simplices, the problem can be solved using S(n) space and with Q(n) query time with S(n)Q^d(n) = Õ(n^d) and this trade-off is almost tight. Consequently, there exists low space structures that use Õ(n) space with O(n^1-1/d) query time and fast query structures that use O(n^d) space with O(log^d n) query time. However, for the general semialgebraic ranges, only low space solutions are known, but the best solutions match the same trade-off curve as the simplex queries. It has been conjectured that the same could be done for the fast query case but this open problem has stayed unresolved. Here, we disprove this conjecture. We give the first nontrivial lower bounds for semilagebraic range searching and related problems. We show that any data structure for reporting the points between two concentric circles with Q(n) query time must use S(n)=Ω(n^3-o(1)/Q(n)^5) space, meaning, for Q(n)=O(log^O(1)n), Ω(n^3-o(1)) space must be used. We also study the problem of reporting the points between two polynomials of form Y=∑_i=0^Δ a_i X^i where a_0, ⋯, a_Δ are given at the query time. We show S(n)=Ω(n^Δ+1-o(1)/Q(n)^Δ^2+Δ). So for Q(n)=O(log^O(1)n), we must use Ω(n^Δ+1-o(1)) space. For the dual semialgebraic stabbing problems, we show that in linear space, any data structure that solves 2D ring stabbing must use Ω(n^2/3) query time. This almost matches the linearization upper bound. For general semialgebraic slab stabbing problems, again, we show an almost tight lower bounds.


page 1

page 2

page 3

page 4


4D Range Reporting in the Pointer Machine Model in Almost-Optimal Time

In the orthogonal range reporting problem we must pre-process a set P of...

On Semialgebraic Range Reporting

In the problem of semialgebraic range searching, we are to preprocess a ...

Lower Bounds for Intersection Reporting among Flat Objects

Recently, Ezra and Sharir [ES22a] showed an O(n^3/2+σ) space and O(n^1/2...

On the complexity of range searching among curves

Modern tracking technology has made the collection of large numbers of d...

2D Fractional Cascading on Axis-aligned Planar Subdivisions

Fractional cascading is one of the influential techniques in data struct...

On Range Summary Queries

We study the query version of the approximate heavy hitter and quantile ...

Approximate Maximum Halfspace Discrepancy

Consider the geometric range space (X, ℋ_d) where X ⊂ℝ^d and ℋ_d is the ...