Files:

[PDF] 273.4kB  [gzipped postscript] 358.3kB  

Abstract:

This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation paradigm, for the predicates of an incremental algorithm: \ka decides which one of 2 given ellipses is closest to a given exterior point; \kb decides the position of a query ellipse relative to an external bitangent line of 2 given ellipses; \kc decides the position of a query ellipse relative to a Voronoi circle of 3 given ellipses; \kd determines the type of conflict between a Voronoi edge, defined by 4 given ellipses, and a query ellipse. The paper is restricted to non-intersecting ellipses, but the extension to arbitrary ones is straightforward. The ellipses are input in parametric representation or constructively in terms of their axes, center and rotation. For \ka and \kb we derive optimal algebraic conditions, solve them exactly and provide efficient implementations in C++. For \kc we compute a tight bound on the number of complex tritangent circles and use the parametric form of the ellipses in order to design an exact subdivision-based algorithm, which is implemented on Maple. This approach essentially answers \kd as well. We conclude with current work on optimizing \kc and implementing it in C++.

BibTeX:
@InProceedings{ett-socg-2006,
  author =       {Ioannis~Z. Emiris and Elias~P. Tsigaridas and George
                  Tzoumas},
  title =        {{The predicates for the Voronoi diagram of
                  ellipses}},
  booktitle =    SOCG_2006,
  pages =        {227--236},
  year =         2006,
  editor =       {N. Amenta and O. Cheong},
  address =      {Sedona, Arizona, USA},
  month =        {June 5-7},
  publisher =    {ACM},
  abstract =     " This paper examines the computation of the Voronoi
                  diagram of a set of ellipses in the Euclidean plane.
                  We propose the first complete algorithms, under the
                  exact computation paradigm, for the predicates of an
                  incremental algorithm: \ka{} decides which one of 2
                  given ellipses is closest to a given exterior point;
                  \kb{} decides the position of a query ellipse
                  relative to an external bitangent line of 2 given
                  ellipses; \kc{} decides the position of a query
                  ellipse relative to a Voronoi circle of 3 given
                  ellipses; \kd{} determines the type of conflict
                  between a Voronoi edge, defined by 4 given ellipses,
                  and a query ellipse.  The paper is restricted to
                  non-intersecting ellipses, but the extension to
                  arbitrary ones is straightforward.  The ellipses are
                  input in parametric representation or constructively
                  in terms of their axes, center and rotation.  For
                  \ka{} and \kb{} we derive optimal algebraic
                  conditions, solve them exactly and provide efficient
                  implementations in C++.  For \kc{} we compute a
                  tight bound on the number of complex tritangent
                  circles and use the parametric form of the ellipses
                  in order to design an exact subdivision-based
                  algorithm, which is implemented on Maple.  This
                  approach essentially answers \kd{} as well.  We
                  conclude with current work on optimizing \kc{} and
                  implementing it in C++.  ",
}

Generated by bib2html.pl (written by Patrick Riley , modified by Elias ) on Wed Oct 23, 2019 21:41:02