<< Chapter < Page Chapter >> Page >

Proof

If q were such a vertex, the Steiner minimal tree would contain either a edge from q to v i not containing v j , or vice versa. If the SMT contains a edge from q to v i , for example, the SMT can be shortened by deleting [ v i , v ] and adding [ q , v j ] , a contradiction.

Similar statements can be made to further specify where a Steiner hull may be.

Remark

It is easy to see that a full Steiner topology with n terminals has 2 n - 3 edges. Let f ( n ) , n 2 , denote the number of full Steiner topologies with n - 2 Steiner points. Adding a Steiner point to the middle of any of the edges and connecting it to a new terminal results in a full Steiner tree for n + 1 terminals. Geometrically, this causes the edge to become two separate edges, connected by the new Steiner point. In order to be consistent with the fact that edges must meet at 120 angles at Steiner points, the two new edges will rotate to meet at an angle of 120 with each other and with the edge connecting the new Steiner point to the new terminal. Thus there are 2 n - 3 ways to create a new full Steiner tree, so

f ( n + 1 ) = ( 2 n - 3 ) f ( n )

which has the solution

f ( n ) = ( 2 n - 4 ) ! 2 n - 2 ( n - 2 ) !

Let F ( n , k ) denote the number of Steiner topologies with n terminals and k Steiner points such that no terminal is of degree 3. Then F ( n , k ) can be obtained from f(k) by first selecting k + 2 terminals and a full Steiner topology on it, and then adding the remaining n - k - 2 terminals one at a time at interior points of some edges, creating a "kink" in each edge. The first terminal can go to one of the 2 k + 1 edges, the second to one of 2 k + 2 edges, and so on, until the ( n - k - 2 ) th point is added to one of the 2 k + ( n - k - 2 ) = n + k - 2 edges. Thus

F ( n , k ) = n k + 2 f ( k ) ( n + k - 2 ) ! ( 2 k ) !

Letting n 3 denote the number of terminals of degree 3

F ( n ) = k = 0 n - 2 n 3 = 0 n - k - 2 2 n n 3 F ( n - n 3 , k + n 3 ) ( n + n 3 ) ! k !

A table containing the values of f ( n ) and F ( n ) for n = 2 , ... , 8 is given.

n 2 3 4 5 6 7 8
f ( n ) 1 1 3 15 105 945 10395
F ( n ) 1 4 31 360 5625 110880 2643795

Computational complexity

The optimization problem:

Given : A set N of terminals in the Euclidean plane

Find : A Steiner tree of shortest length spanning N

can be recast as a decision problem:

Given : A set N of terminals in the Euclidean plane and an integer B

Decide : Is there a Steiner tree T that spans N such that | T | B

The Steiner tree problem is NP-complete. This means that it is at least as hard as any problem in NP, but the solution is still verifiable in polynomial time. However, the problem cannot be solved in polynomial time. The discrete Euclidean Steiner problem, however, is not known to be NP-complete.

Given : A set N of terminals with integer coordinates in the Euclidean plane and an integer B .

Decide : Is there a Steiner tree T that spans N such that all Steiner points have integer coordinates and the discrete length of T is less than or equal to B , where the discrete length of each edge of T is the smallest integer not less than the length of that edge.

There is a version of this problem that is in P: Given a finite set in a Banach-Minkowski plane, a minimal Steiner tree for this set can be found in polynomially bounded time with an algorithm that executes only graph theoretic functions.

The steiner ratio

The Steiner ratio is the smallest possible ratio between the total length of a minimum Steiner tree and the total length of a minimum spanning tree. It is conjectured that, in the Euclidean Steiner problem, the Steiner ratio is 3 2 . This is called the Gilbert-Pollak conjecture, and was though to be proven in 1990, but some people do not accept this proof. Gilbert and Pollak also conjectured the ratio for higher dimensional spaces, but this was disproven.

It's easy to see that this is true in the four point case. Alternatively, the Steiner ratio is sometimes given as the total length of the minimum spanning tree over the length of the minimum Steiner tree. The Steiner ratio for the rectilinear Steiner tree, which is when all edges of the Steiner tree are perpendicular, is 3 2 .

Other applications

Steiner trees have many biological applications. They can be used to describe the ways proteins connect and fold. Steiner trees are also used in phylogeny. Organic chemistry diagrams often include Steiner trees. For example, CH 6 N 3 is a regular hexagon Steiner tree.

Steiner trees have many computer science applications as well, such as in network design and circuit layout.

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Michell trusses study, rice u. nsf vigre group, summer 2013. OpenStax CNX. Sep 02, 2013 Download for free at http://cnx.org/content/col11567/1.2
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Michell trusses study, rice u. nsf vigre group, summer 2013' conversation and receive update notifications?

Ask