skip to main content
10.1145/1132516.1132598acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
Article

On the importance of idempotence

Published: 21 May 2006 Publication History

Abstract

Range searching is among the most fundamental problems in computational geometry. An n-element point set in Rd is given along with an assignment of weights to these points from some commutative semigroup. Subject to a fixed space of possible range shapes, the problem is to preprocess the points so that the total semigroup sum of the points lying within a given query range η can be determined quickly. In the approximate version of the problem we assume that η is bounded, and we are given an approximation parameter ε > 0. 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 boundar.In this paper we contrast the complexity of range searching based on semigroup properties. 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. For example, (R, min) and (0,1, ∨) are both idempotent, and (N, +) is integral. To date, all upper and lower bounds hold irrespective of the semigroup. We show that semigroup properties do indeed make a difference for both exact and approximate range searching, and in the case of approximate range searching the differences are dramatic.First, we consider exact halfspace range searching. The assumption that the semigroup is integral allows us to improve the best lower bounds in the semigroup arithmetic model. For example, assuming O(n) storage in the plane and ignoring polylog factors, we provide an Ω*(n2/5) lower bound for integral semigroups, improving upon the best lower bound of Ω*(n1/3), thus closing the gap with the O(n1/2) upper bound.We also consider approximate range searching for Euclidean ball ranges. We present lower bounds and nearly matching upper bounds for idempotent semigroups. We also present lower bounds for range searching for integral semigroups, which nearly match existing upper bounds. These bounds show that the advantages afforded by idempotency can result in major improvements. In particular, assuming roughly linear space, the exponent in the ε-dependencies is smaller by a factor of nearly 1/2. All our results are presented in terms of space-time tradeoffs, and our lower and upper bounds match closely throughout the entire spectrum.To our knowledge, our results provide the first proof that semigroup properties affect the computational complexity of range searching in the semigroup arithmetic model. These are the first lower bound results for any approximate geometric retrieval problems. The existence of nearly matching upper bounds, throughout the range of space-time tradeoffs, suggests that we are close to resolving the computational complexity of both idempotent and integral approximate spherical range searching in the semigroup arithmetic model.

References

[1]
P. K. Agarwal and J. Erickson. Geometric range searching and its relatives. In B. Chazelle, J. E. Goodman, and R. Pollack, editors, Advances in Discrete and Computational Geometry, volume 223 of Contemporary Mathematics, pages 1--56. American Mathematical Society, Providence, RI, 1999.
[2]
S. Arya and T. Malamatos. Linear-size approximate Voronoi diagrams. In Proc. 13th ACM-SIAM Sympos. Discrete Algorithms, pages 147--155, 2002.
[3]
S. Arya, T. Malamatos, and D. M. Mount. Space-efficient approximate Voronoi diagrams. In Proc. 34th Annual ACM Sympos. Theory Comput., pages 721--730, 2002.
[4]
S. Arya, T. Malamatos, and D. M. Mount. Space-time tradeoffs for approximate spherical range counting. In Proc. 16th ACM-SIAM Sympos. Discrete Algorithms, pages 535--544, 2005.
[5]
S. Arya and D. M. Mount. Approximate range searching. Computational Geometry: Theory and Applications, 17:135--152, 2000.
[6]
J.-D. Boissonnat and M. Yvinec. Algorithmic Geometry. Cambridge University Press, UK, 1998. Translated by H. Brönnimann.
[7]
H. Brönnimann, B. Chazelle, and J. Pach. How hard is halfspace range searching. Discrete Comput. Geom., 10:143--155, 1993.
[8]
B. Chazelle. Lower bounds on the complexity of polytope range searching. J. Amer. Math. Soc., 2:637--666, 1989.
[9]
B. Chazelle, D. Liu, and A. Magen. Approximate range searching in higher dimension. In Proc. 16th Canad. Conf. Comput. Geom., 2004.
[10]
B. Chazelle, M. Sharir, and E. Welzl. Quasi-optimal upper bounds for simplex range searching and new zone theorems. Algorithmica, 8:407--429, 1992.
[11]
J. Erickson. Space-time tradeoffs for emptiness queries. SIAM J. Comput., 29:1968--1996, 2000.
[12]
M. L. Fredman. Lower bounds on the complexity of some optimal data structures. SIAM J. Comput., 10:1--10, 1981.
[13]
S. Har-Peled. A replacement for Voronoi diagrams of near linear size. In Proc. 42nd Annu. IEEE Sympos. Found. Comput. Sci., pages 94--103, 2001.
[14]
J. Matoušek. Range searching with efficient hierarchical cuttings. Discrete Comput. Geom., 10(2):157--182, 1993.
[15]
J. Matoušek. Geometric range searching. ACM Comput. Surv., 26:421--461, 1994.
[16]
A. C. Yao. On the complexity of maintaining partial sums. SIAM J. Comput., 14:277--288, 1985.

Cited By

View all

Index Terms

  1. On the importance of idempotence

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    STOC '06: Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing
    May 2006
    786 pages
    ISBN:1595931341
    DOI:10.1145/1132516
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 21 May 2006

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. approximation algorithms
    2. idempotence
    3. range searching

    Qualifiers

    • Article

    Conference

    STOC06
    Sponsor:
    STOC06: Symposium on Theory of Computing
    May 21 - 23, 2006
    WA, Seattle, USA

    Acceptance Rates

    Overall Acceptance Rate 1,469 of 4,586 submissions, 32%

    Upcoming Conference

    STOC '25
    57th Annual ACM Symposium on Theory of Computing (STOC 2025)
    June 23 - 27, 2025
    Prague , Czech Republic

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 14 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)On Semialgebraic Range ReportingDiscrete & Computational Geometry10.1007/s00454-023-00574-171:1(4-39)Online publication date: 24-Oct-2023
    • (2020)CSMO-DSEACM Journal on Emerging Technologies in Computing Systems10.1145/337140616:2(1-22)Online publication date: 30-Jan-2020
    • (2020)Sparse BD-NetACM Journal on Emerging Technologies in Computing Systems10.1145/336939116:2(1-24)Online publication date: 30-Jan-2020
    • (2019)MaMaDroidACM Transactions on Privacy and Security10.1145/331339122:2(1-34)Online publication date: 9-Apr-2019
    • (2019)Tractor BeamACM Transactions on Privacy and Security10.1145/330973522:2(1-26)Online publication date: 9-Apr-2019
    • (2017)Provision-After-Wait with Common PreferencesACM Transactions on Economics and Computation10.1145/30389105:2(1-36)Online publication date: 27-Mar-2017
    • (2017)Posting Prices with Unknown DistributionsACM Transactions on Economics and Computation10.1145/30373825:2(1-20)Online publication date: 13-Mar-2017
    • (2016)An introduction to gamification in human-computer interactionXRDS: Crossroads, The ACM Magazine for Students10.1145/298345723:1(15-17)Online publication date: 20-Sep-2016
    • (2016)The infinite mixtures of food productsXRDS: Crossroads, The ACM Magazine for Students10.1145/298344523:1(66-67)Online publication date: 20-Sep-2016
    • (2016)An Antifolk Theorem for Large Repeated GamesACM Transactions on Economics and Computation10.1145/29767345:2(1-20)Online publication date: 12-Oct-2016
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media