Aarhus University Seal

On Semialgebraic Range Reporting

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Semialgebraic range searching, arguably the most general version of range searching, is a fundamental problem in computational geometry. In the problem, we are to preprocess a set of points in RD such that the subset of points inside a semialgebraic region described by a constant number of polynomial inequalities of degree ? can be found efficiently. Relatively recently, several major advances were made on this problem. Using algebraic techniques, “near-linear space” data structures [6, 18] with almost optimal query time of Q(n) = O(n1-1/D+o(1)) were obtained. For “fast query” data structures (i.e., when Q(n) = no(1)), it was conjectured that a similar improvement is possible, i.e., it is possible to achieve space S(n) = O(nD+o(1)). The conjecture was refuted very recently by Afshani and Cheng [3]. In the plane, i.e., D = 2, they proved that S(n) = ?(n?+1-o(1)/Q(n)(?+3)?/2) which shows ?(n?+1-o(1)) space is needed for Q(n) = no(1). While this refutes the conjecture, it still leaves a number of unresolved issues: the lower bound only works in 2D and for fast queries, and neither the exponent of n or Q(n) seem to be tight even for D = 2, as the best known upper bounds have S(n) = O(nm+o(1)/Q(n)(m-1)D/(D-1)) where m = (DD+?) - 1 = ?(?D) is the maximum number of parameters to define a monic degree-? D-variate polynomial, for any constant dimension D and degree ?. In this paper, we resolve two of the issues: we prove a lower bound in D-dimensions, for constant D, and show that when the query time is no(1) + O(k), the space usage is ?(nm-o(1)), which almost matches the Õ(nm) upper bound and essentially closes the problem for the fast-query case, as far as the exponent of n is considered in the pointer machine model. When considering the exponent of Q(n), we show that the analysis in [3] is tight for D = 2, by presenting matching upper bounds for uniform random point sets. This shows either the existing upper bounds can be improved or to obtain better lower bounds a new fundamentally different input set needs to be constructed.

Original languageEnglish
Title of host publication38th International Symposium on Computational Geometry, SoCG 2022
EditorsXavier Goaoc, Michael Kerber
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publication yearJun 2022
Article number3
ISBN (Electronic)9783959772273
DOIs
Publication statusPublished - Jun 2022
Event38th International Symposium on Computational Geometry, SoCG 2022 - Berlin, Germany
Duration: 7 Jun 202210 Jun 2022

Conference

Conference38th International Symposium on Computational Geometry, SoCG 2022
LandGermany
ByBerlin
Periode07/06/202210/06/2022
SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume224
ISSN1868-8969

Bibliographical note

Publisher Copyright:
© Peyman Afshani and Pingan Cheng; licensed under Creative Commons License CC-BY 4.0

    Research areas

  • Computational Geometry, Data Structures and Algorithms, Lower Bounds, Range Searching

See relations at Aarhus University Citationformats

ID: 278737159