ACM Computing Surveys (CSUR)
Space-Time Tradeoffs for Emptiness Queries
SIAM Journal on Computing
Computational Geometry: Theory and Applications
Space-efficient approximate Voronoi diagrams
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Linear-size approximate voronoi diagrams
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Space-time tradeoffs for approximate spherical range counting
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
On the importance of idempotence
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
On approximate halfspace range counting and relative epsilon-approximations
SCG '07 Proceedings of the twenty-third annual symposium on Computational geometry
approximate range searching: the absolute model
WADS'07 Proceedings of the 10th international conference on Algorithms and Data Structures
Hi-index | 0.00 |
Range searching is among the most fundamental problems in computational geometry. Given an n-element point set in Rd, the problem is to preprocess the points so that the total weight (or generally semigroup sum) of the points lying within a given query range η can be determined quickly. In the ε-approximate version we assume that η is bounded and we are to determine the semigroup sum of all the points contained within η and may additionally include any of the points lying within distance ε ⋅ diam(η) of η's boundary.In this paper we contrast the complexity of approximate range searching based on properties of the semigroup and range space. A semigroup (S,+) is idempotent if x + x = x for all x ∈ S, and it is integral if for all k ≥ 2, the k-fold sum x + … + x is not equal to x. Idempotence is important because points may be multiply counted, and this implies that generator subsets may overlap one another. Our recent results [Arya, Malamatos, Mount, "On the Importance of Idempotence," STOC 2006, to appear] imply that for approximate Euclidean-ball range searching, idempotence offers significant advantages. In particular, nearly matching upper and lower bounds show that the exponents in the ε-dependencies are roughly halved for idempotent semigroups.These prior results made critical use of two properties of Euclidean balls: smoothness and rotational symmetry. In this paper we consider two alternative formulations that arise from relaxing these properties. The first involves ranges with sharp corners and the second involves arbitrary smooth convex ranges. We show that, as with integrality, sharp corners have an adverse effect on the problem's complexity. We consider d-dimensional unit hypercube ranges under rigid motions. Assuming linear space, we show here that in the semigroup arithmetic model the worst-case query time assuming an arbitrary (possibly idempotent) faithful semigroup is Ω(1/εd−2√d). We further prove a tighter lower bound of Ω(1/εd−2 for the special case of integral semigroups. This nearly matches the best known upper bound of O(log n + (1/ε)d−1), which holds for arbitrary semigroups.In contrast, we show that the improvements offered by idempotence do apply to smooth convex ranges. We define a class of smooth convex ranges to have the property that at any boundary point of the range, it is possible to place a large Euclidean ball within the range that touches this point. We show that for smooth ranges and idempotent semigroups, ε-approximate range queries can be answered in O(log n + (1/ε)(d−1)/2 log (1/ε)) time using O(n/ε) space. We show that this is nearly tight by presenting a lower bound of Ω(log n + (1/ε)(d−1)/2). This bound is in the algebraic decision-tree model and holds irrespective of space.Our results show that, in contrast to exact range searching, the interplay of semigroup properties and the range space can result in dramatic differences in query times. This is born out through both upper and lower bounds.