Minimum-diameter Spanning Tree

In metric geometry and computational geometry, a minimum-diameter spanning tree of a finite set of points in a metric space is a spanning tree in which the diameter (the longest path length in the tree between two of its points) is as small as possible.

In general metric spaces

It is always possible to find a minimum-diameter spanning tree with one or two vertices that are not leaves. This can be proven by transforming any other tree into a tree of this special form, without increasing its diameter. To do so, consider the longest path in any given tree (its diameter path), and the vertex or edge at the midpoint of this path. If there is a vertex at the midpoint, it is the non-leaf vertex of a star, whose diameter is at most that of the given tree. If the midpoint is interior to an edge of the given tree, then there exists a tree that includes this edge, and in which every remaining vertex is a leaf connected to the endpoint of this edge that is nearest in the given tree, with diameter at most that of the given tree.

Because of this special form, it is possible to construct a minimum-diameter spanning tree of $n$ points in time $O(n^3)$, assuming that the distance between two points can be computed in constant time. To do so, test all candidates for the single point or pair of points that are not leaves. Each single point can be tested in $O(n)$ time. Each pair of points can also be tested in $O(n)$, after a precomputation step in which, for each point, the other points are sorted by their distance from it. To test a pair of points, start with a tree in which all remaining points are attached to one point of the pair, and then in decreasing order by distance from that point, reattach these points one at a time to the other point of the pair, keeping track of the diameter of the tree at each step. There are $O(n^2)$ candidate pairs of non-leaf points, each of which can be evaluated in time $O(n)$, giving a total time bound of $O(n^3)$.

The problem of constructing a minimum-diameter spanning tree is different from computing the diameter of the given points, the maximum pairwise distance. For some sets of points, the diameter of the points and the diameter of their minimum-diameter spanning tree are equal; for others (for instance, three equidistant points) these two distances can differ from each other by a factor of two.

In graphs

For the metric space of shortest-path distances on a weighted undirected graph, a minimum-diameter spanning tree can also be a spanning tree of the graph, a tree whose edges all belong to the graph. However, this may require it to have more than two non-leaf vertices. In this case, the problem is equivalent to finding an ''absolute 1-center'' of the graph. This is a point in a metric space obtained from the given graph by replacing each edge by a continuous interval of the same length. That is, it can either be a vertex or it can lie partway along any edge of the given graph. Among such points, the absolute 1-center is a point minimizing the maximum distance to all vertices. The shortest-path tree from this point to all vertices in the graph is a minimum-diameter spanning tree of the graph. The absolute 1-center problem was introduced long before the first study of the minimum-diameter spanning tree problem, and in a graph with $n$ vertices and $m$ edges it can be solved in time $O(mn+n^2\log n)$.

In the Euclidean plane

The exact solution of the minimum-diameter spanning tree problem, in the Euclidean plane, can be sped up from $O(n^3)$ to $n^$, at the expense of using complicated range search data structures. The same method extends to higher dimensions, with smaller reductions in the exponent compared to the cubic algorithm. In $d$ dimensions, the time bound for this method is

A polynomial-time approximation scheme is known for the minimum-diameter spanning tree in the plane. For any $\varepsilon>0$, one can find a tree whose diameter is at most $1+\varepsilon$ times the optimum, in time $O(n+\varepsilon^)$. The algorithm involves approximating the input by the points of a coarse grid, chosen to give the best tree among a small number of grid orientations.

For points in the Euclidean plane, the minimum-diameter spanning tree problem can also be approximated by the minimum-sum dipolar spanning tree. This is a tree having two non-leaf vertices, minimizing the sum of two quantities: the distance between the two non-leaf vertices, and the largest distance from a leaf vertex to the closer of the two non-leaf vertices. This approximation can be found in time $O(n^2\log n)$, and achieves an approximation ratio of $\tfrac43$.

With only one non-leaf

For the minimum-diameter tree among trees with only one non-leaf vertex, the non-leaf vertex of the tree is the 1-center of the points.

If additional Steiner points are allowed to be added to the given set of points, their addition may reduce the diameter. In this case, a minimum-diameter Steiner spanning tree exists with only one non-leaf vertex, a Steiner point at the center of the smallest bounding sphere of the points. Its diameter is twice the radius of this sphere. For points in a Euclidean space of bounded dimension, this sphere and this tree can be found in linear time using algorithms for the smallest-circle problem and its generalizations.

References

{{reflist, refs=

{{citation
, last = Chan , first = Timothy M. , author-link = Timothy M. Chan
, doi = 10.1137/S0097539702404389
, issue = 3
, journal = SIAM Journal on Computing
, mr = 2001751
, pages = 700–716
, title = Semi-online maintenance of geometric optima and measures
, volume = 32
, year = 2003

{{citation
, last1 = Gudmundsson , first1 = Joachim
, last2 = Haverkort , first2 = Herman
, last3 = Park , first3 = Sang-Min
, last4 = Shin , first4 = Chan-Su
, last5 = Wolff , first5 = Alexander
, doi = 10.1016/j.comgeo.2003.07.007
, issue = 1
, journal = Computational Geometry
, mr = 2045249
, pages = 87–106
, title = Facility location and the geometric minimum-diameter spanning tree
, volume = 27
, year = 2004, hdl = 1874/24413
, hdl-access = free

{{citation
, last = Hakimi , first = S. L. , author-link = S. L. Hakimi
, date = June 1964
, doi = 10.1287/opre.12.3.450
, issue = 3
, journal = Operations Research
, jstor = 168125
, pages = 450–459
, title = Optimum locations of switching centers and the absolute centers and medians of a graph
, volume = 12

{{citation
, last1 = Ho , first1 = Jan-Ming
, last2 = Lee , first2 = D. T. , author2-link = Der-Tsai Lee
, last3 = Chang , first3 = Chia-Hsiang
, last4 = Wong , first4 = C. K.
, doi = 10.1137/0220060
, issue = 5
, journal = SIAM Journal on Computing
, mr = 1115662
, pages = 987–997
, title = Minimum diameter spanning trees and related problems
, volume = 20
, year = 1991

{{citation
, last1 = Hassin , first1 = Refael
, last2 = Tamir , first2 = Arie
, doi = 10.1016/0020-0190(94)00183-Y
, issue = 2
, journal = Information Processing Letters
, mr = 1314717
, pages = 109–111
, title = On the minimum diameter spanning tree problem
, url = https://www.tau.ac.il/~hassin/diameter_95.pdf
, volume = 53
, year = 1995

{{citation
, last1 = Kariv , first1 = O.
, last2 = Hakimi , first2 = S. L. , author2-link = S. L. Hakimi
, doi = 10.1137/0137040
, issue = 3
, journal = SIAM Journal on Applied Mathematics
, mr = 549138
, pages = 513–538
, title = An algorithmic approach to network location problems, I: The $p$-centers
, volume = 37
, year = 1979

{{citation
, last1 = Spriggs , first1 = Michael J.
, last2 = Keil , first2 = J. Mark
, last3 = Bespamyatnikh , first3 = Sergei
, last4 = Segal , first4 = Michael
, last5 = Snoeyink , first5 = Jack
, doi = 10.1007/s00453-003-1056-z
, issue = 4
, journal = Algorithmica
, mr = 2032526
, pages = 577–589
, title = Computing a $(1+\epsilon)$-approximate geometric minimum-diameter spanning tree
, volume = 38
, year = 2004

Spanning tree
Computational problems in graph theory
Geometric algorithms