Files:

[PDF] 366.6kB  [gzipped postscript] 454.3kB  

Abstract:

This article examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete methods, under the exact computation paradigm, for the predicates of an incremental algorithm: \ka decides which one of two given ellipses is closest to a given exterior point; \kb decides the position of a query ellipse relative to an external bitangent line of two given ellipses; \kc decides the position of a query ellipse relative to a Voronoi circle of three given ellipses; \kd determines the type of conflict between a Voronoi edge, defined by four given ellipses, and a query ellipse. The article is restricted to non-intersecting ellipses, but the extension to arbitrary ones is possible. The ellipses are input in parametric representation, i.e. constructively in terms of their axes, center and rotation. For \ka and \kb we derive optimal algebraic conditions and provide efficient implementations in \cpp. For \kc we compute a tight bound on the number of complex tritangent circles and design an exact symbolic-numeric algorithm, which is implemented in \maple. This essentially answers \kd as well. We conclude with current work on optimizing \kc and on its implementation in \cpp.

BibTeX:
@Article{ett-ijcga-2007,
  author =       {Ioannis~Z. Emiris and Elias~P. Tsigaridas and George
                  Tzoumas},
  title =        {{Predicates for the exact Voronoi diagram of
                  ellipses under the Euclidean metric}},
  journal =      IJCGA,
  year =         2008,
  volume =       18,
  number =       6,
  pages =        "567--597",
  editor =       {N. Amenta and O. Cheong},
  note =         {(special issue devoted to SoCG 2007)},
  abstract =     " This article examines the computation of the
                  Voronoi diagram of a set of ellipses in the
                  Euclidean plane.  We propose the first complete
                  methods, under the exact computation paradigm, for
                  the predicates of an incremental algorithm: \ka
                  decides which one of two given ellipses is closest
                  to a given exterior point; \kb decides the position
                  of a query ellipse relative to an external bitangent
                  line of two given ellipses; \kc decides the position
                  of a query ellipse relative to a Voronoi circle of
                  three given ellipses; \kd determines the type of
                  conflict between a Voronoi edge, defined by four
                  given ellipses, and a query ellipse.  The article is
                  restricted to non-intersecting ellipses, but the
                  extension to arbitrary ones is possible.  The
                  ellipses are input in parametric representation,
                  i.e. constructively in terms of their axes, center
                  and rotation.  For \ka and \kb we derive optimal
                  algebraic conditions and provide efficient
                  implementations in \cpp.  For \kc we compute a tight
                  bound on the number of complex tritangent circles
                  and design an exact symbolic-numeric algorithm,
                  which is implemented in \maple.  This essentially
                  answers \kd as well.  We conclude with current work
                  on optimizing \kc and on its implementation in
                  \cpp.",
}

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