Steiner tree

From Wikipedia, the free encyclopedia

Solution for three points; the Steiner point is in the middle—note there are no direct connections between A, B, C

Solution for four points—note that there are two Steiner points, S₁ and S₂

The Steiner tree problem is a problem in combinatorial optimization.

The Steiner tree problem is superficially similar to the minimum spanning tree problem: given a set V of points (vertices), interconnect them by a network (graph) of shortest length. The difference between the Steiner tree problem and the minimum spanning tree problem is that, in the Steiner tree problem, extra intermediate vertices and edges may be added to the graph in order to reduce the length of the spanning tree. These new vertices introduced to decrease the total length of connection are known as Steiner points or Steiner vertices. In addition, the vertices in V cannot have direct connections amongst themselves. It is proven that the resulting connection is a tree, known as the Steiner tree. There may be several Steiner trees for a given set of initial vertices.

The original problem was stated in the form that has become known as the Euclidean Steiner tree problem: Given N points in the plane, it is required to connect them by lines of minimal total length in such a way that any two points may be interconnected by line segments either directly or via other points and line segments.

For the Euclidean Steiner problem, points added to the graph (Steiner points) must have a degree of three, and the three edges incident to such a point must form three 120 degree angles. It follows that the maximum number of Steiner points that a Steiner tree can have is N-2, where N is the initial number of given points.

It may be further generalized to the metric Steiner tree problem. Given a weighted graph G(S,E,w) whose vertices correspond to points in a metric space, with edge weights being the distances in the space, it is required to find a tree of minimum total length whose vertices are a superset of set S of the vertices in G.

The most general version is Steiner tree in graphs: Given a weighted graph G(V,E,w) and a vertices subset find a tree of minimal weight which includes all vertices in S.

The metric Steiner tree problem corresponds to the Steiner tree in graphs problem where the graph has an infinite number of vertices, which are all points of the metric space.

The Steiner tree problem has applications in circuit layout or network design. Most versions of the Steiner tree problem are NP-complete, i.e., computationally hard. In fact, one of these was among Karp's original 21 NP-complete problems. Some restricted cases can be solved in polynomial time. In practice, heuristics are used.

One common approximation to the Euclidean Steiner tree problem is to compute the Euclidean minimum spanning tree.

[edit] See also

• http://twt.mpei.ac.ru/MAS/Worksheets/Sn.mcd (Mathcad Application Server)
• GeoSteiner (open-source Steiner tree solver)
• http://www.archive.org/details/RonaldLG1988 (Movie: Ronald L Graham: The Shortest Network Problem (1988))

[edit] References

• F.K. Hwang, D.S. Richards, P. Winter, The Steiner Tree Problem. Elsevier, North-Holland, 1992, ISBN 0-444-89098-X (hardbound) (Annals of Discrete Mathematics, vol. 53).