HOME

TheInfoList



OR:

A triangulation of a set of points \mathcal 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 ...
\mathbb^d 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 \mathcal, and whose vertices belong to \mathcal. In the plane (when \mathcal is a set of points in \mathbb^2), triangulations are made up of triangles, together with their edges and vertices. Some authors require that all the points of \mathcal are vertices of its triangulations. In this case, a triangulation of a set of points \mathcal in the plane can alternatively be defined as a maximal set of non-crossing edges between points of \mathcal. 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 \mathcal 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 \mathcal. 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 \mathcal\subset\mathbb^d can be obtained by lifting the points of \mathcal into \mathbb^ (which amounts to add a coordinate x_ to each point of \mathcal), by computing the convex hull of the lifted set of points, and by projecting the lower faces of this convex hull back on \mathbb^d. The triangulations built this way are referred to as the regular triangulations of \mathcal. When the points are lifted to the paraboloid of equation x_ = x_1^2+\cdots+x_d^2, 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 \mathcal. 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 d+2 points of \mathcal lie in the same sphere.


Combinatorics in the plane

Every triangulation of any set \mathcal of n points in the plane has 2n - h - 2 triangles and 3n - h - 3 edges where h is the number of points of \mathcal in the boundary of the convex hull of \mathcal. 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 \mathcal 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 \mathcal according to x-coordinates. The first three points determine a triangle. Consider the next point p 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 \mathcal at a time until all of \mathcal 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 n 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