Delaunay Triangulation

In mathematics, and computational geometry, the Delaunay triangulation or Delone triangularization for a set P of points in the plane is the triangulation DT(P) of P such that no point in P is inside the circumcircle of any triangle in DT(P). Delaunay triangulations maximize the minimum angle of all the angles of the triangles in the triangulation; they tend to avoid "sliver" triangles. The triangulation was invented by Boris Delaunay in 1934 [1]. In the n-dimensional case it is stated as follows. For a set P of points in the (n-dimensional) Euclidean space, the Delaunay triangulation is the triangulation DT(P) of P such that no point in P is inside the circum-hypersphere of any simplex in DT(P). Equivalently, the Delaunay triangulation of a discrete point set P is the geometric dual of the Voronoi tessellation for P. It is known that the Delaunay triangulation exists and is unique for P, if P is a set of points in general position, i.e., no three points are on the same line and no four are on the same circle, for a two dimensional set of points, or no n + 1 points are on the same hyperplane and no n + 2 points are on the same hypersphere, for a n-dimensional set of points. An elegant proof of this fact is outlined below. It is worth mentioning, because it reveals connections between the two constructs fundamental for computational and combinatorial geometry. The problem of finding the Delaunay triangulation of a set of points in n-dimensional Euclidean space can be converted to the problem of finding the convex hull of a set of points in (n + 1)-dimensional space, by giving all points p an extra coordinate equal to p2, taking the bottom side of the convex hull, and mapping back to n-dimensional space by deleting the last coordinate. As the convex hull is unique, so is the triangulation, assuming all facets of the convex hull are simplexes. A facet not being a simplex implies that n + 2 of the original points lay on the same d-hypersphere, and the points were not in general position. On the other hand, it is easily seen that for the set of three points on the same line there is no Delaunay triangulation (in fact, no triangulation at all). On the other hand, for 4 points on the same circle (e.g., the vertices of a rectangle) the Delaunay triangulation is not unique: clearly, the two possible triangulations that split the quadrangle into two triangles satisfy the Delaunay condition. Generalizations are possible to metrics other than Euclidean. However in these cases the Delaunay triangulation is not guaranteed to exist or be unique.

Properties

Let n be the number of points and d the number of dimensions.
  • The Delaunay triangulation contains at most d(n-d) simplices.
  • The union of all simplices in the triangulation is the convex hull of the points.

Algorithms

All algorithms for computing Delaunay triangulations rely on fast operations for detecting when a point is within a triangle's circumcircle and an efficient data structure for storing triangles and edges. In two dimensions, one way to detect if point D lies in the circumcircle of A, B, C is to evaluate the determinant
\begin{bmatrix}A_x&A_y&A_x^2 + A_y^2&1\\
B_x&B_y&B_x^2 + B_y^2&1\\ C_x&C_y&C_x^2 + C_y^2&1\\ D_x&D_y&D_x^2 + D_y^2&1\end{bmatrix} This is positive if and only if D lies in the circumcircle.

Incremental

The most straightforward way of computing the Delaunay triangulation is to repeatedly add one vertex at a time, retriangulating the affected parts of the graph. When a vertex is added, a search is done for all triangles' circumcircles containing the vertex. Then, those triangles are removed and that part of the graph retriangulated. Done naively, this results in a running time of O(n^2). A common way to speed up this method is to sort the vertices by the first coordinate, and add them in that order. Then, one only needs to keep track of circumcircles containing points of large of enough first coordinate. The expected running time in two dimensions in this case is O(n^{3/2}) although the worst case continues to be O(n^2).

Divide and conquer

This algorithm applies to two dimensions only and is due to Guibas and Stolfi. In this algorithm, one recursively draws a line to split the vertices into two sets, then the Delaunay triangulation is computed for each set, then the two sets are merged along the splitting line. Using some clever tricks, the merge operation can be done in time O(n), so the total running time is O(n \log n). For certain types of point sets, such as a uniform random distribution, by intelligently picking the splitting lines the expected time can be reduced to O(n \log \log n) while still maintaining worst-case performance.

Sweepline

This is another O(n \log n) algorithm for two dimensions. However in most implementations the divide and conquer approach provides better performance.

Applications

The Euclidean minimum spanning tree of a set of points is a subset of the Delaunay triangulation of the same points, and this can be exploited to compute it efficiently. For modeling terrain or other objects given a set of sample points, the Delaunay triangulation gives a nice set of triangles to use as polygons in the model. In particular, the Delaunay triangulation avoids narrow triangles (as they have large circumcircles compared to their area).

References

  1. B. Delaunay, Sur la sphre vide, Izvestia Akademii Nauk SSSR, Otdelenie Matematicheskikh i Estestvennykh Nauk, 7:793-800, 1934

External links

  • http://www.cs.cornell.edu/Info/People/chew/Delaunay.html
  • http://goanna.cs.rmit.edu.au/~gl/research/comp_geom/delaunay/delaunay.html
  • http://astronomy.swin.edu.au/~pbourke/terrain/triangulate
  • http://www.simula.no/~oyvindhj/INF-MAT5370/eksamensFigurer.pdf
  • http://www-2.cs.cmu.edu/~quake/tripaper/triangle0.html

 

<< PreviousWord BrowserNext >>
docklands light railway
dundee
do not adjust your set
west memphis 3
donald dewar
dronning maud land
digimon
david beatty, 1st earl beatty
dictum of kenilworth
docklands
diesel multiple unit
disneyland
donald a. wollheim
digital cinema
democratic progressive party
datura
derived group
december 19
december 20
december 21
december 14
december 13
dr. seuss
digital compositing
dandy
dubbing (filmmaking)
defendant
domitius afer
davis
dan simmons
denis auguste affre
dione
denis leary
dextromethorphan
dryope
doctor
donald i of scotland
danse macabre
david abercromby
deconstruction
direct product
dj vu
dionysius thrax
december 29