The Voronoi Diagram of Three Lines

Hazel Everett 1 Daniel Lazard 2 Sylvain Lazard 1 Mohab Safey El Din 2
1 VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We give a complete description of the Voronoi diagram of three lines in $\R^3$. In particular, we show that the topology of the Voronoi diagram is invariant for three lines in general position, that is, that are pairwise skew and not all parallel to a common plane. The trisector consists of four unbounded branches of either a non-singular quartic or of a cubic and line that do not intersect in real space. Each cell of dimension two consists of two connected components on a hyperbolic paraboloid that are bounded, respectively, by three and one of the branches of the trisector. The proof technique, which relies heavily upon modern tools of computer algebra, is of interest in its own right. This characterization yields some fundamental properties of the Voronoi diagram of three lines. In particular, we present linear semi-algebraic tests for separating the two connected components of each two-dimensional Voronoi cell and for separating the four connected components of the trisector. This enables us to answer queries of the form, given a point, determine in which connected component of which cell it lies. We also show that the arcs of the trisector are monotonic in some direction. These properties imply that points on the trisector of three lines can be sorted along each branch using only linear semi-algebraic tests.
Document type :
Conference papers
23rd Annual Symposium on Computational Geometry (SoCG'07), Jun 2007, Gyeongju, South Korea. ACM, Proceedings of the twenty-third annual symposium on Computational geometry, pp.255-264, 2007, <10.1145/1247069.1247116>
Liste complète des métadonnées


https://hal.inria.fr/inria-00186085
Contributor : Sylvain Lazard <>
Submitted on : Wednesday, November 7, 2007 - 7:41:33 PM
Last modification on : Monday, May 29, 2017 - 2:22:29 PM
Document(s) archivé(s) le : Monday, April 12, 2010 - 1:38:03 AM

File

Voronoi_SoCG07.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Hazel Everett, Daniel Lazard, Sylvain Lazard, Mohab Safey El Din. The Voronoi Diagram of Three Lines. 23rd Annual Symposium on Computational Geometry (SoCG'07), Jun 2007, Gyeongju, South Korea. ACM, Proceedings of the twenty-third annual symposium on Computational geometry, pp.255-264, 2007, <10.1145/1247069.1247116>. <inria-00186085>

Share

Metrics

Record views

294

Document downloads

154