Preprocessing Ambiguous Imprecise Points

Authors Ivor van der Hoog, Irina Kostitsyna, Maarten Löffler, Bettina Speckmann



PDF
Thumbnail PDF

File

LIPIcs.SoCG.2019.42.pdf
  • Filesize: 0.81 MB
  • 16 pages

Document Identifiers

Author Details

Ivor van der Hoog
  • Department of Information and Computing Sciences, Utrecht University, The Netherlands
Irina Kostitsyna
  • Department of Mathematics and Computer Science, TU Eindhoven, The Netherlands
Maarten Löffler
  • Department of Information and Computing Sciences, Utrecht University, The Netherlands
Bettina Speckmann
  • Department of Mathematics and Computer Science, TU Eindhoven, The Netherlands

Acknowledgements

The authors would like to thank Jean Cardinal for insightful discussions.

Cite AsGet BibTex

Ivor van der Hoog, Irina Kostitsyna, Maarten Löffler, and Bettina Speckmann. Preprocessing Ambiguous Imprecise Points. In 35th International Symposium on Computational Geometry (SoCG 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 129, pp. 42:1-42:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.SoCG.2019.42

Abstract

Let R = {R_1, R_2, ..., R_n} be a set of regions and let X = {x_1, x_2, ..., x_n} be an (unknown) point set with x_i in R_i. Region R_i represents the uncertainty region of x_i. We consider the following question: how fast can we establish order if we are allowed to preprocess the regions in R? The preprocessing model of uncertainty uses two consecutive phases: a preprocessing phase which has access only to R followed by a reconstruction phase during which a desired structure on X is computed. Recent results in this model parametrize the reconstruction time by the ply of R, which is the maximum overlap between the regions in R. We introduce the ambiguity A(R) as a more fine-grained measure of the degree of overlap in R. We show how to preprocess a set of d-dimensional disks in O(n log n) time such that we can sort X (if d=1) and reconstruct a quadtree on X (if d >= 1 but constant) in O(A(R)) time. If A(R) is sub-linear, then reporting the result dominates the running time of the reconstruction phase. However, we can still return a suitable data structure representing the result in O(A(R)) time. In one dimension, {R} is a set of intervals and the ambiguity is linked to interval entropy, which in turn relates to the well-studied problem of sorting under partial information. The number of comparisons necessary to find the linear order underlying a poset P is lower-bounded by the graph entropy of P. We show that if P is an interval order, then the ambiguity provides a constant-factor approximation of the graph entropy. This gives a lower bound of Omega(A(R)) in all dimensions for the reconstruction phase (sorting or any proximity structure), independent of any preprocessing; hence our result is tight. Finally, our results imply that one can approximate the entropy of interval graphs in O(n log n) time, improving the O(n^{2.5}) bound by Cardinal et al.

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
Keywords
  • preprocessing
  • imprecise points
  • entropy
  • sorting
  • proximity structures

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Graham Brightwell and Peter Winkler. Counting linear extensions. Order, 8(3):225-242, 1991. Google Scholar
  2. Kevin Buchin, Maarten Löffler, Pat Morin, and Wolfgang Mulzer. Delaunay triangulation of imprecise points simplified and extended. Algorithmica, 61:674-693, 2011. URL: http://dx.doi.org/10.1007/s00453-010-9430-0.
  3. Kevin Buchin and Wolfgang Mulzer. Delaunay triangulations in O (sort (n)) time and more. Journal of the ACM (JACM), 58(2):6, 2011. Google Scholar
  4. Jean Cardinal, Samuel Fiorini, Gwenaël Joret, Raphaël M Jungers, and J Ian Munro. Sorting under partial information (without the ellipsoid algorithm). Combinatorica, 33(6):655-697, 2013. Google Scholar
  5. Mark De Berg, Otfried Cheong, Marc Van Kreveld, and Mark Overmars. Computational Geometry: Introduction. Springer, 2008. Google Scholar
  6. Olivier Devillers. Delaunay triangulation of imprecise points, preprocess and actually get a fast query time. Journal of Computational Geometry, 2(1):30-45, 2011. Google Scholar
  7. Esther Ezra and Wolfgang Mulzer. Convex hull of points lying on lines in o(nlog n) time after preprocessing. Computational Geometry, 46(4):417-434, 2013. Google Scholar
  8. P.C. Fishburn and W.T. Trotter. Geometric containment orders: a survey. Order, 15:167-182, 1998. Google Scholar
  9. Michael L Fredman. How good is the information theory bound in sorting? Theoretical Computer Science, 1(4):355-361, 1976. Google Scholar
  10. Sariel Har-Peled. Geometric approximation algorithms. Number 173 in Mathematical Surveys and Monographs. American Mathematical Soc., 2011. Google Scholar
  11. Martin Held and Joseph SB Mitchell. Triangulating input-constrained planar point sets. Information Processing Letters, 109(1):54-56, 2008. Google Scholar
  12. Ivor Hoog vd, Elena Khramtcova, and Maarten. Löffler. Dynamic Smooth Compressed Quadtrees. In LIPIcs-Leibniz International Proceedings in Informatics, volume 99. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018. Google Scholar
  13. Jeff Kahn and Jeong Han Kim. Entropy and sorting. Journal of Computer and System Sciences, 51(3):390-399, 1995. Google Scholar
  14. János Körner. Coding of an information source having ambiguous alphabet and the entropy of graphs. In 6th Prague conference on information theory, pages 411-425, 1973. Google Scholar
  15. Maarten Löffler and Wolfgang Mulzer. Triangulating the square and squaring the triangle: quadtrees and Delaunay triangulations are equivalent. SIAM Journal on Computing, 41(4):941-974, 2012. Google Scholar
  16. Maarten Löffler and Wolfgang Mulzer. Unions of onions: Preprocessing imprecise points for fast onion decomposition. Journal of Computational Geometry, 5:1-13, 2014. Google Scholar
  17. Maarten Löffler, Joseph A Simons, and Darren Strash. Dynamic planar point location with sub-logarithmic local updates. In Workshop on Algorithms and Data Structures, pages 499-511. Springer, 2013. Google Scholar
  18. Maarten Löffler and Jack Snoeyink. Delaunay triangulation of imprecise points in linear time after preprocessing. Computational Geometry, 43(3):234-242, 2010. Google Scholar
  19. Kurt Mehlhorn and Athanasios Tsakalidis. An amortized analysis of insertions into AVL-trees. SIAM Journal on Computing, 15(1):22-33, 1986. Google Scholar
  20. Jürg Nievergelt and Edward M Reingold. Binary search trees of bounded balance. SIAM journal on Computing, 2(1):33-43, 1973. Google Scholar
  21. Hanan Samet. The quadtree and related hierarchical data structures. ACM Computing Surveys (CSUR), 16(2):187-260, 1984. Google Scholar
  22. Gábor Simonyi. Graph entropy: a survey. Combinatorial Optimization, 20:399-441, 1995. Google Scholar
  23. Marc Van Kreveld, Maarten Löffler, and Joseph SB Mitchell. Preprocessing imprecise points and splitting triangulations. SIAM Journal on Computing, 39(7):2990-3000, 2010. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail