Hyperbolic Delaunay Complexes and Voronoi Diagrams Made Practical

摘要

We study Delaunay complexes and Voronoi diagrams in the Poincare ball, a conformal model of the hyperbolic space, in any dimension. We elaborate on our earlier work on the space of spheres, giving a detailed description of algorithms. We also study algebraic and arithmetic issues, observing that only rational computations are needed. All proofs are based on geometric reasoning, they do not resort to any use of the analytic formula of the hyperbolic distance. This allows for an exact and efficient implementation in 2D. All degenerate cases are handled. The implementation will be submitted to the CGAL editorial board for future integration into the CGAL library.