Let be a positive integer. A Steiner tree associated with a finite set of points in the Euclidean -space is a finite collection of straight-line segments in that space such that any two points in are joined by a unique path in ; its length is the sum of the segment lengths. Show that there exists a Steiner tree of length associated with the vertex set of a unit -cube.
, 2014
Solution
We describe a recursive procedure for constructing the desired Steiner tree. The case is handled by a single line segment.
Assume a Steiner tree of length associated with the vertex set of a unit -cube has been constructed such that each vertex of the -cube is the endpoint of just one segment, and the length of this segment is greater than . Now consider a unit -cube. Select a pair of opposite -faces and consider the -cube whose vertices are the midpoints of the edges joining the corresponding vertices of these faces. Start with the assumed Steiner tree associated with the vertex set of this -cube. For each vertex of this -cube, delete a segment of length from the segment terminating at , then add the segments joining the new endpoint to the two vertices of the -cube that are endpoints of the edge containing . By the Pythagorean theorem, these segments each have length . The net effect of these changes is to add to the length of the tree. Thus the resulting tree has length . It is clearly a Steiner tree associated with the vertex set of the -cube and has the additional properties required for the induction.