Point-set Triangulation
   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 ...
\mathbb^d is a simplicial complex that covers the convex hull of \mathcal, and whose vertices belong to \mathcal. In the
plane Plane(s) most often refers to: * Aero- or airplane, a powered, fixed-wing aircraft * Plane (geometry), a flat, 2-dimensional surface Plane or planes may also refer to: Biology * Plane (tree) or ''Platanus'', wetland native plant * ''Planes' ...
(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 In mathematics, a Voronoi diagram is a Partition of a set, partition of a plane (geometry), plane into regions close to each of a given set of objects. In the simplest case, these objects are just finitely many points in the plane (called seeds, s ...
. The Delaunay triangulation of a set of points \mathcal in the plane contains the
Gabriel graph In mathematics and computational geometry, the Gabriel graph of a set S of points in the Euclidean plane expresses one notion of proximity or nearness of those points. Formally, it is the graph G with vertex set S in which any two distinct po ...
, 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 nea ...
and the minimal spanning tree 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 trying ...
.


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 o ...
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 geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
. 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 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 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 input domain. ...
* Polygon triangulation


Notes


References

* * * * * * * * * * {{DEFAULTSORT:Point Set Triangulation Triangulation (geometry) de:Gitter (Geometrie)#Dreiecksgitter