LIPIcs.ISAAC.2022.57.pdf
- Filesize: 0.9 MB
- 16 pages
Let P be a set of n points in ℝ^d where each point p ∈ P carries a weight drawn from a commutative monoid (ℳ, +, 0). Given a d-rectangle r_upd (i.e., an orthogonal rectangle in ℝ^d) and a value Δ ∈ ℳ, a range update adds Δ to the weight of every point p ∈ P∩ r_upd; given a d-rectangle r_qry, a range sum query returns the total weight of the points in P ∩ r_qry. The goal is to store P in a structure to support updates and queries with attractive performance guarantees. We describe a structure of Õ(n) space that handles an update in Õ(T_upd) time and a query in Õ(T_qry) time for arbitrary functions T_upd(n) and T_qry(n) satisfying T_upd ⋅ T_qry = n. The result holds for any fixed dimensionality d ≥ 2. Our query-update tradeoff is tight up to a polylog factor subject to the OMv-conjecture.
Feedback for Dagstuhl Publishing