2000/01/01 by Jean‐Daniel Boissonnat, Franco P. Preparata · 1 citation
Computer Science · Engineering · Mathematics · #Computational Geometry and Mesh Generation #Advanced Numerical Analysis Techniques #3D Shape Modeling and Analysis #Computation #Degree (music) #Bounded function #Simple (philosophy) #Algorithm #Algebraic number #Predicate (mathematical logic) #Mathematics #Property (philosophy) #Computer science
paper · doi:10.1137/s0097539797329373
openalex publication_date 2000/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/02
In this paper, we reexamine in the framework of robust computation the Bentley--Ottmann algorithm for reporting intersecting pairs of segments in the plane. This algorithm has been reported as being very sensitive to numerical errors. Indeed, a simple analysis reveals that it involves predicates of degree 5, presumably never evaluated exactly in most implementations. Within the exact-computation paradigm we introduce two models of computation aimed at replacing the conventional model of real-number arithmetic. The first model (predicate arithmetic) assumes the exact evaluation of the signs of algebraic expressions of some degree, and the second model (exact arithmetic) assumes the exact computation of the value of such (bounded-degree) expressions. We identify the characteristic geometric property enabling the correct report of all intersections by plane sweeps. Verification of this property involves only predicates of (optimal) degree 2, but its straightforward implementation appears highly inefficient. We then present algorithmic variants that have low degree under these models and achieve the same performance as the original Bentley--Ottmann algorithm. The technique is applicable to a more general case of curved segments.