Geometric spanner

From Wikipedia, the free encyclopedia

A geometric spanner or a k-spanner graph or a k-spanner was initially introduced as a weighted graph over a set of points as its vertices which for every pair of vertices has a path between them of weight at most k times the spatial distance between these points for a fixed k. The parameter k is called the stretch factor or dilation factor of the spanner.

In computational geometry, the concept was first discussed by L.P. Chew in 1986, [1] although the term "spanner" was not used in the original paper.

The notion of graph spanners has been known in graph theory: k-spanners are spanning subgraphs of graphs with similar dilation property, where distances between graph vertices are defined in graph-theoretical terms. Therefore geometric spanners are graph spanners of complete graphs embedded in the plane with edge weights equal to the distances between the embedded vertices in the corresponding metric.

Spanners may be used in computational geometry for solving some proximity problems. They have also found applications in other areas, such as in motion planning, in telecommunication networks: network reliability, optimization of roaming in mobile networks, etc.

[edit] Research

Chew's main result was that for a set of points in the plane there is a triangulation of this pointset such that for any two points there is a path along the edges of the triangulation with length at most \scriptstyle\sqrt 10 the Euclidean distance between the two points. The result was applied in motion planning for finding reasonable approximations of shortest paths among obstacles.

Eventually it was proved that the Euclidean Delaunay triangulation in is a \scriptstyle{2\pi}/(3\cos (\pi/ 6))-spanner for its vertices.[2]

[edit] Sparse spanners

An area of research is spanners with small vertex degree or small number of edges.

It was proven that the problem of finding a spanner in the Euclidean plane with minimal dilation over n points with at most m edges is NP-hard.[3]

[edit] References

  1. ^ L. Paul Chew, "There is a planar graph almost as good as the complete graph", Proc. 2nd Annual Symposium on Computational Geometry (1986) 169 - 177.
  2. ^ J.M.Keil, C.A. Gutwin. Classes of graphs which approximate the complete Euclidean graph", Discrete and Computational Geometry, Vol. 7 , Issue 1 (1992) 13-28
  3. ^ Klein, Rolf and Kutz, Martin, "Computing Geometric Minimum-Dilation Graphs is NP-Hard" (In Kaufmann, Michael and Wagner, Dorothea, Eds. Proc. 14th International Symposium in Graph Drawing, Karlsruhe, Germany, 2006, Lecture Notes in Computer Science, Vol. 4372 (2007) ISBN 978-3-540-70903-9, pp. 196-207, Springer Verlag)