﻿ Delaunay triangulation - Wikipedia, the free encyclopedia

Delaunay triangulation

From Wikipedia, the free encyclopedia

Jump to: navigation, search
A Delaunay triangulation in the plane with circumcircles shown
A Delaunay triangulation in the plane with circumcircles shown

In mathematics, and computational geometry, a Delaunay triangulation for a set P of points in the plane is a triangulation DT(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].


The Delaunay condition states that a triangle net is a Delaunay triangulation if all the circumcircles of all the triangles in the net are empty. This is the original definition for bidimensional spaces. It is possible to use it in tridimensional spaces by using a circumscribed sphere in place of the circumference.


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.



[edit] Relationship with the Voronoi diagram

The Delaunay triangulation of a discrete point set P corresponds to the dual graph of the Voronoi tessellation for P.

[edit] n-dimensional Delaunay

For a set P of points in the (d-dimensional) Euclidean space, a Delaunay triangulation is a triangulation DT(P) such that no point in P is inside the circum-hypersphere of any simplex in DT(P).

It is known that there exists a unique Delaunay triangulation for P, if P is a set of points in general position; that is, 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 an 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 each point p an extra coordinate equal to | p | 2, 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 simplices. 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.

[edit] Properties

Let n be the number of points and d the number of dimensions.

  • The union of all simplices in the triangulation is the convex hull of the points.
  • The Delaunay triangulation contains at most O(n^{\lceil d/2 \rceil}) simplices.
  • In the plane (d = 2), if there are b vertices on the convex hull, then any triangulation of the points has at most 2n − 2 − b triangles, plus one exterior face (see Euler characteristic).
  • A circle circumscribing any Delaunay triangle does not contain any other input points in its interior.
  • If a circle passing through two of the input points doesn't contain any other of them in its interior, then the segment connecting the two points is an edge of a Delaunay triangulation of the given points.
  • The Delaunay triangulation of a set of points in d-dimensional spaces is the projection of the convex hull of the projections of the points onto a (d+1)-dimensional paraboloid.
  • Surprisingly, for a point p inside the convex hull of a Delaunay triangulation, the nearest vertex to p need not be one of the vertices of the triangle containing p.

[edit] Visual Delaunay definition: Flipping



[edit] Algorithms


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{vmatrix} = \begin{vmatrix}
A_x - D_x & A_y - D_y & (A_x - D_x)^2 + (A_y - D_y)^2 \\
B_x - D_x & B_y - D_y & (B_x - D_x)^2 + (B_y - D_y)^2 \\
C_x - D_x & C_y - D_y & (C_x - D_x)^2 + (C_y - D_y)^2 \\
\end{vmatrix} > 0


[edit] 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(n2).

A common way to speed up this method is sweepline, which involves sorting the vertices by one coordinate and adding them in that order. Then, one only needs to keep track of circumcircles containing points of large enough first coordinate. The expected running time in two dimensions in this case is O(n3/2) although the worst case continues to be O(n2). Its performance at low numbers of points is competitive with divide and conquer (below) but does not scale as nicely above the tens of thousands of points. [2]

Another efficient O(n log n) incremental algorithm keeps the whole history of the triangulation in the form of a tree. The elements replacing a conflicting element in an insertion are called its children. When a parent is in conflict with a point to be inserted, so are its children. This provides a fast way of getting the list of triangles to remove (which is the slowest part of any incremental insertion algorithm).

[edit] Divide and conquer



A divide and conquer paradigm to performing a triangulation in d-dimensions is presented in "DeWall: A Fast Divide & Conquer Delaunay Triangulation Algorithm in Ed" by P. Cignoni, C. Montani, R. Scopigno.

[edit] Sweepline

See Fortune's Algorithm

[edit] 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.


The Delaunay triangulation of a random set of 100 points in a plane.

Delaunay triangulations are often used to build meshes for the finite element method, because of the angle guarantee and because fast triangulation algorithms have been developed. Typically, the domain to be meshed is specified as a coarse simplicial complex; for the mesh to be numerically stable, it must be refined, for instance by using Ruppert's algorithm. This has been implemented by Jonathan Shewchuk in the freely available Triangle package.

[edit] See also

[edit] References

  1. ^ a b B. Delaunay: Sur la sphère vide, Izvestia Akademii Nauk SSSR, Otdelenie Matematicheskikh i Estestvennykh Nauk, 7:793-800, 1934
  2. ^ http://www.gris.uni-tuebingen.de/gris/proj/dt/dteng.html
  3. ^ Computing Constrained Delaunay Triangulations
  4. ^ G. Leach: Improving Worst-Case Optimal Delaunay Triangulation Algorithms. June 1992

[edit] External links

Personal tools