
A triangulation of a set of points
in the
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean sp ...
is a
simplicial complex
In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their ''n''-dimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial ...
that covers the
convex hull of
, and whose vertices belong to
.
In the
plane (when
is a set of points in
), triangulations are made up of triangles, together with their edges and vertices. Some authors require that all the points of
are vertices of its triangulations. In this case, a triangulation of a set of points
in the plane can alternatively be defined as a maximal set of non-crossing edges between points of
. In the plane, triangulations are special cases of
planar straight-line graphs.
A particularly interesting kind of triangulations are the
Delaunay triangulations. They are the
geometric duals of
Voronoi diagrams. The Delaunay triangulation of a set of points
in the plane contains the
Gabriel graph, the
nearest neighbor graph
The nearest neighbor graph (NNG) is a directed graph defined for a set of points in a metric space, such as the Euclidean distance in the plane. The NNG has a vertex for each point, and a directed edge from ''p'' to ''q'' whenever ''q'' is a near ...
and the
minimal spanning tree
A minimum spanning tree (MST) or minimum weight spanning tree is a subset of the edges of a connected, edge-weighted undirected graph that connects all the vertices together, without any cycles and with the minimum possible total edge weight. Th ...
of
.
Triangulations have a number of applications, and there is an interest to find the "good" triangulations of a given point set under some criteria as, for instance
minimum-weight triangulations. Sometimes it is desirable to have a triangulation with special properties, e.g., in which all triangles have large angles (long and narrow ("splinter") triangles are avoided).
Given a set of edges that connect points of the plane, the problem to determine whether they contain a triangulation is
NP-complete
In computational complexity theory, a problem is NP-complete when:
# it is a problem for which the correctness of each solution can be verified quickly (namely, in polynomial time) and a brute-force search algorithm can find a solution by tryin ...
.
Regular triangulations
Some triangulations of a set of points
can be obtained by lifting the points of
into
(which amounts to add a coordinate
to each point of
), by computing the convex hull of the lifted set of points, and by projecting the lower faces of this convex hull back on
. The triangulations built this way are referred to as the regular triangulations of
. When the points are lifted to the paraboloid of equation
, this construction results in the
Delaunay triangulation
In mathematics and computational geometry, a Delaunay triangulation (also known as a Delone triangulation) for a given set P of discrete points in a general position is a triangulation DT(P) such that no point in P is inside the circumcircle ...
of
. Note that, in order for this construction to provide a triangulation, the lower convex hull of the lifted set of points needs to be
simplicial. In the case of Delaunay triangulations, this amounts to require that no
points of
lie in the same sphere.
Combinatorics in the plane
Every triangulation of any set
of
points in the plane has
triangles and
edges where
is the number of points of
in the boundary of the
convex hull of
. This follows from a straightforward
Euler characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–PoincarĂ© characteristic) is a topological invariant, a number that describes a topological spac ...
argument.
Algorithms to build triangulations in the plane
Triangle Splitting Algorithm : Find the convex hull of the point set
and triangulate this hull as a polygon. Choose an interior point and draw edges to the three vertices of the triangle that contains it. Continue this process until all interior points are exhausted.
Incremental Algorithm : Sort the points of
according to x-coordinates. The first three points determine a triangle. Consider the next point
in the ordered set and connect it with all previously considered points
which are visible to p. Continue this process of adding one point of
at a time until all of
has been processed.
[Devadoss, O'Rourke ''Discrete and Computational Geometry''. Princeton University Press, 2011, p. 62.]
Time complexity of various algorithms
The following table reports time complexity results for the construction of triangulations of point sets in the plane, under different optimality criteria, where
is the number of points.
See also
*
Mesh generation
Mesh generation is the practice of creating a polygon mesh, mesh, a subdivision of a continuous geometric space into discrete geometric and topological cells.
Often these cells form a simplicial complex.
Usually the cells partition the geometric ...
*
Polygon triangulation
In computational geometry, polygon triangulation is the partition of a polygonal area ( simple polygon) into a set of triangles, i.e., finding a set of triangles with pairwise non-intersecting interiors whose union is .
Triangulations may ...
Notes
References
*
*
*
*
*
*
*
*
*
*
{{DEFAULTSORT:Point Set Triangulation
Triangulation (geometry)
de:Gitter (Geometrie)#Dreiecksgitter