Animating a continuous family of two-site Voronoi diagrams (and a proof of a bound on the number of regions)

  • Authors:
  • Matthew T. Dickerson;David Eppstein

  • Affiliations:
  • Middlebury College, Middlebury, VT, USA;University of California, Irvine , Irvine, CA, USA

  • Venue:
  • Proceedings of the twenty-fifth annual symposium on Computational geometry
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

A two-site distance function defines a "distance" measure from a point to a pair of points; mathematically, it is a mapping D:R2×(R2×R2)R+. A Voronoi diagram for a two-site distance function D and a set S of planar point sites has a region V (p, q) for each pair of sites p,q-S , where V(p,q) is defined as the set of all points in the plane "closer" to (p, q)"under distance function D"than to any other pair of sites in S. Two-site distance functions and their Voronoi diagrams have been explored by Barequet et al. (2002) and animated by Barequet et al. (2001), who give the complexity of the Voronoi diagram for the two-site sum function (among others), and leave as an open question the complexity of the diagram for the two-site perimeter function. In this video, we introduce and animate a new continuous family of two-site distance functions Dc defined for any constant ce-1. This family includes both the sum and perimeter distance functions, providing a unifying model. We also present and animate in this video a new proof that the perimeter function Voronoi diagram has O(n) non-empty regions. The proof generalizes to any function in the Dc family when ce0. The animation also shows how the various functions in the family relate to one another.