Sciweavers

SIAMCOMP
2012

An Optimal Dynamic Data Structure for Stabbing-Semigroup Queries

12 years 3 months ago
An Optimal Dynamic Data Structure for Stabbing-Semigroup Queries
Let S be a set of n intervals in R, and let (S, +) be any commutative semigroup. We assign a weight ω(s) ∈ S to each interval in S. For a point x ∈ R, let S(x) ⊆ S be the set of intervals that contain x. Given a point q ∈ R, the stabbing-semigroup query asks for computingP s∈S(q) ω(s). We propose a linear-size dynamic data structure, under the pointer-machine model, that answers queries in worst-case O(log n) time, and supports both insertions and deletions of intervals in amortized O(log n) time. It is the first data structure that attains the optimal O(log n) bound for all three operations. Furthermore, our structure can easily be adapted to external memory, where we obtain a linear-size structure that answers queries and supports updates in O(logB n) I/Os, where B is the disk block size. For the restricted case of nested family of intervals (every pair of intervals are either disjoint or one contains the other), we present a simpler solution based on dynamic trees.
Pankaj K. Agarwal, Lars Arge, Haim Kaplan, Eyal Mo
Added 29 Sep 2012
Updated 29 Sep 2012
Type Journal
Year 2012
Where SIAMCOMP
Authors Pankaj K. Agarwal, Lars Arge, Haim Kaplan, Eyal Molad, Robert Endre Tarjan, Ke Yi
Comments (0)