Document Open Access Logo

Computational Geometry with Probabilistically Noisy Primitive Operations

Authors David Eppstein, Michael T. Goodrich , Vinesh Sridhar

PDF

File

Thumbnail PDF
PDF
LIPIcs.WADS.2025.24.pdf
  • Filesize: 1.42 MB
  • 20 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Theory of computation → Computational geometry
  • Theory of computation → Random walks and Markov chains
Keywords
  • Computational geometry
  • noisy comparisons
  • random walks

Metrics

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

Abstract

Much prior work has been done on designing computational geometry algorithms that handle input degeneracies, data imprecision, and arithmetic round-off errors. We take a new approach, inspired by the noisy sorting literature, and study computational geometry algorithms subject to noisy Boolean primitive operations in which, e.g., the comparison "is point q above line 𝓁?" returns the wrong answer with some fixed probability. We propose a novel technique called path-guided pushdown random walks that generalizes the results of noisy sorting. We apply this technique to solve point-location, plane-sweep, convex hulls in 2D and 3D, and Delaunay triangulations for noisy primitives in optimal time with high probability.

Cite As Get BibTex

David Eppstein, Michael T. Goodrich, and Vinesh Sridhar. Computational Geometry with Probabilistically Noisy Primitive Operations. In 19th International Symposium on Algorithms and Data Structures (WADS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 349, pp. 24:1-24:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.WADS.2025.24

Author Details

David Eppstein
  • University of California, Irvine, CA, USA
Michael T. Goodrich
  • University of California, Irvine, CA, USA
Vinesh Sridhar
  • University of California, Irvine, CA, USA

Funding

  • Eppstein, David: Research supported in part by NSF grant CCF-2212129.
  • Goodrich, Michael T.: Research supported in part by NSF grant CCF-2212129.

References

  1. Pankaj K Agarwal and Micha Sharir. Pseudo-line arrangements: Duality, algorithms, and applications. SIAM Journal on Computing, 34(3):526-552, 2005. URL: https://doi.org/10.1137/S0097539703433900.
  2. Jonathan Allcock, Jinge Bao, Aleksandrs Belovs, Troy Lee, and Miklos Santha. On the quantum time complexity of divide and conquer, 2023. URL: https://doi.org/10.48550/arXiv.2311.16401.
  3. Andris Ambainis and Nikita Larka. Quantum algorithms for computational geometry problems. arXiv preprint arXiv:2004.08949, 2020. URL: https://arxiv.org/abs/2004.08949.
  4. Franz Aurenhammer and Günter Paulini. On shape Delaunay tessellations. Inf. Process. Lett., 114(10):535-541, 2014. URL: https://doi.org/10.1016/j.ipl.2014.04.007.
  5. Yossi Azar, Andrei Z. Broder, Anna R. Karlin, Nathan Linial, and Steven Phillips. Biased random walks. Combinatorica, 16(1):1-18, 1996. URL: https://doi.org/10.1007/BF01300124.
  6. Jon L. Bentley and Thomas A. Ottmann. Algorithms for reporting and counting geometric intersections. IEEE Transactions on Computers, 100(9):643-647, 1979. URL: https://doi.org/10.1109/TC.1979.1675432.
  7. Chan. On levels in arrangements of curves. Discrete & Computational Geometry, 29:375-393, 2003. URL: https://doi.org/10.1007/S00454-002-2840-2.
  8. Mark de Berg, Marc van Kreveld, Mark Overmars, and Otfried Schwarzkopf. Computational Geometry: Algorithms and Applications. Springer, 3rd edition, 2008. Google Scholar
  9. Dariusz Dereniowski, Aleksander Lukasiewicz, and Przemyslaw Uznanski. Noisy searching: Simple, fast and correct, 2023. URL: https://arxiv.org/abs/2107.05753.
  10. Dariusz Dereniowski, Stefan Tiegel, Przemyslaw Uznanski, and Daniel Wolleb-Graf. A framework for searching in graphs in the presence of errors. In Jeremy T. Fineman and Michael Mitzenmacher, editors, 2nd Symp. on Simplicity in Algorithms (SOSA), volume 69, pages 4:1-4:17, 2019. URL: https://doi.org/10.4230/OASICS.SOSA.2019.4.
  11. Michael Dillencourt, Michael T. Goodrich, and Michael Mitzenmacher. Leveraging parameterized Chernoff bounds for simplified algorithm analyses. Inf. Process. Lett., 187:106516, 2025. URL: https://doi.org/10.1016/j.ipl.2024.106516.
  12. Robert L. (Scot) Drysdale, III. A practical algorithm for computing the Delaunay triangulation for convex distance functions. In David S. Johnson, editor, ACM-SIAM Symp. on Discrete Algorithms (SODA), 1990. URL: http://dl.acm.org/citation.cfm?id=320176.320194.
  13. Herbert Edelsbrunner and Ernst Peter Mücke. Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithms. ACM Trans. Graphics, 9(1):66-104, 1990. URL: https://doi.org/10.1145/77635.77639.
  14. Ehsan Emamjomeh-Zadeh, David Kempe, and Vikrant Singhal. Deterministic and probabilistic binary search in graphs. In Daniel Wichs and Yishay Mansour, editors, 48th ACM Symp. on Theory of Computing (STOC), pages 519-532, 2016. URL: https://doi.org/10.1145/2897518.2897656.
  15. Uriel Feige, Prabhakar Raghavan, David Peleg, and Eli Upfal. Computing with noisy information. SIAM J. Comput., 23(5):1001-1018, 1994. URL: https://doi.org/10.1137/S0097539791195877.
  16. Steven Fortune and Christopher J Van Wyk. Static analysis yields efficient exact integer arithmetic for computational geometry. ACM Trans. Graphics, 15(3):223-248, 1996. URL: https://doi.org/10.1145/231731.231735.
  17. Agata Fronczak and Piotr Fronczak. Biased random walks in complex networks: The role of local navigation rules. Phys. Rev. E, 80(1):016107, 2009. URL: https://doi.org/10.1103/PhysRevE.80.016107.
  18. Barbara Geissmann, Stefano Leucci, Chih-Hung Liu, and Paolo Penna. Optimal sorting with persistent comparison errors. In Michael A. Bender, Ola Svensson, and Grzegorz Herman, editors, 27th European Symp. on Algorithms (ESA), volume 144 of LIPIcs, pages 49:1-49:14, 2019. URL: https://doi.org/10.4230/LIPICS.ESA.2019.49.
  19. Benoît Groz, Frederik Mallmann-Trenn, Claire Mathieu, and Victor Verdugo. Skyline computation with noisy comparisons. In Leszek Gasieniec, Ralf Klasing, and Tomasz Radzik, editors, Combinatorial Algorithms, pages 289-303, Cham, 2020. Springer. URL: https://doi.org/10.1007/978-3-030-48966-3_22.
  20. Joachim Gudmundsson and Martin P. Seybold. A tail estimate with exponential decay for the randomized incremental construction of search structures. In Joseph (Seffi) Naor and Niv Buchbinder, editors, ACM-SIAM Symp. on Discrete Algorithms (SODA), pages 610-626, 2022. URL: https://doi.org/10.1137/1.9781611977073.28.
  21. Leonidas J. Guibas and Robert Sedgewick. A dichromatic framework for balanced trees. In 19th IEEE Symp. on Foundations of Computer Science (FOCS), pages 8-21, 1978. URL: https://doi.org/10.1109/SFCS.1978.3.
  22. Klaus Hinrichs, Jürg Nievergelt, and Peter Schorn. Plane-sweep solves the closest pair problem elegantly. Inf. Process. Lett., 26(5):255-261, 1988. URL: https://doi.org/10.1016/0020-0190(88)90150-0.
  23. Kazuo Iwama, Rudy Raymond, and Shigeru Yamashita. General bounds for quantum biased oracles. IPSJ Digital Courier, 1:415-425, 2005. URL: https://doi.org/10.2197/ipsjdc.1.415.
  24. Kamil Khadiev, Nikita Savelyev, Mansur Ziatdinov, and Denis Melnikov. Noisy tree data structures and quantum applications. Mathematics, 11(22), 2023. URL: https://doi.org/10.3390/math11224707.
  25. Rolf Klein, Rainer Penninger, Christian Sohler, and David P. Woodruff. Tolerant algorithms. In Camil Demetrescu and Magnús M. Halldórsson, editors, 19th European Symp. on Algorithms (ESA), volume 6942 of LNCS, pages 736-747. Springer, 2011. URL: https://doi.org/10.1007/978-3-642-23719-5_62.
  26. D. T. Lee and F. P. Preparata. Location of a point in a planar subdivision and its applications. SIAM J. Comput., 6(3):594-606, 1977. URL: https://doi.org/10.1137/0206043.
  27. Maarten Löffler. Data Imprecision in Computational Geometry. PhD thesis, Utrecht University, 2009. Google Scholar
  28. Maarten Löffler and Jack Snoeyink. Delaunay triangulation of imprecise points in linear time after preprocessing. Comput. Geom., 43(3):234-242, 2010. URL: https://doi.org/10.1016/j.comgeo.2008.12.007.
  29. Kurt Mehlhorn, Ralf Osbild, and Michael Sagraloff. Reliable and efficient computational geometry via controlled perturbation. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, and Ingo Wegener, editors, Int. Colloq. Automata, Languages and Programming (ICALP), volume 4051 of LNCS, pages 299-310. Springer, 2006. URL: https://doi.org/10.1007/11786986_27.
  30. Kurt Mehlhorn and Stefan Schirra. Exact computation with leda_real - theory and geometric applications. In Götz Alefeld, Jiri Rohn, Siegfried M. Rump, and Tetsuro Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods, pages 163-172. Springer, 2001. URL: https://doi.org/10.1007/978-3-7091-6280-4_16.
  31. Ketan Mulmuley. Computational Geometry: An Introduction Through Randomized Algorithms. Prentice Hall, 1994. Google Scholar
  32. Mark H. Overmars and Jan van Leeuwen. Maintenance of configurations in the plane. J. Comput. System Sci., 23(2):166-204, 1981. URL: https://doi.org/10.1016/0022-0000(81)90012-X.
  33. Andrzej Pelc. Searching with known error probability. Theoret. Comput. Sci., 63(2):185-202, 1989. URL: https://doi.org/10.1016/0304-3975(89)90077-7.
  34. Andrzej Pelc. Searching games with errors - fifty years of coping with liars. Theoret. Comput. Sci., 270(1-2):71-109, 2002. URL: https://doi.org/10.1016/S0304-3975(01)00303-6.
  35. Franco P. Preparata and Se June Hong. Convex hulls of finite sets of points in two and three dimensions. Communications of the ACM, 20(2):87-93, 1977. URL: https://doi.org/10.1145/359423.359430.
  36. Michael O. Rabin. Probabilistic algorithms. In J. F. Traub, editor, Symp. New Directions in Algorithms and Complexity, pages 21-39. Academic Press, 1976. Google Scholar
  37. Alfréd Rényi. On a problem in information theory. Magyar Tud. Akad. Mat. Kutató Int. Közl., 6:515-516, 1961. Google Scholar
  38. Sandeep Sen. A unified approach to tail estimates for randomized incremental construction. In 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), pages 58-1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. Google Scholar
  39. Sven Skyum. A sweepline algorithm for generalized Delaunay triangulations. DAIMI Report Series, 20(373), 1991. Google Scholar
  40. Emanuele Viola. The communication complexity of addition. Combinatorica, 35(6):703-747, 2015. URL: https://doi.org/10.1007/s00493-014-3078-3.
  41. Ziao Wang, Nadim Ghaddar, Banghua Zhu, and Lele Wang. Noisy sorting capacity. IEEE Transactions on Information Theory, 70(9):6121-6138, 2024. URL: https://doi.org/10.1109/TIT.2024.3425281.
  42. Chee-Keng Yap. Symbolic treatment of geometric degeneracies. J. Symbolic Comput., 10(3-4):349-370, 1990. URL: https://doi.org/10.1016/S0747-7171(08)80069-7.
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact