A Network-Flow Technique for Finding Low-Weight Bounded-Degree Spanning Trees

Given a graph with edge weights satisfying the triangle inequality, and a degree bound for each vertex, the problem of computing a low-weight spanning tree such that the degree of each vertex is at most its specified bound is considered. In particular, modifying a given spanning treeTusingadoptionsto meet the degree constraints is considered. A novel network-flow-based algorithm for finding a good sequence of adoptions is introduced. The method yields a better performance guarantee than any previous algorithm. If the degree constraintd(v) for eachvis at least 2, the algorithm is guaranteed to find a tree whose weight is at most the weight of the given tree times 2?min{(d(v)?2)/(degT(v)?2):degT(v)2}, where degT(v) is the initial degree ofv. Equally importantly, it takes this approach to the limit in the following sense: if any performance guarantee that is solely a function of the topology and edge weights of a given tree holds foranyalgorithm at all, then it also holds for the given algorithm. Examples are provided in which no lighter tree meeting the degree constraint exists. Linear-time algorithms are provided with the same worst-case performance guarantee. ChoosingTto be a minimum spanning tree yields approximation algorithms with factors less than 2 for the general problem on geometric graphs with distances induced by variousLpnorms. Finally, examples of Euclidean graphs are provided in which the ratio of the lengths of an optimal Traveling Salesman path and a minimum spanning tree can be arbitrarily close to 2.

[1]  Subhash C. Narula,et al.  Degree-constrained minimum spanning tree , 1980, Comput. Oper. Res..

[2]  Robert E. Tarjan,et al.  Efficient Algorithms for a Family of Matroid Intersection Problems , 1984, J. Algorithms.

[3]  Jeffrey S. Salowe,et al.  Low-degree minimum spanning trees , 1995, Discret. Comput. Geom..

[4]  R. Ravi,et al.  Many birds with one stone: multi-objective approximation algorithms , 1993, STOC '93.

[5]  Hasan Pirkul,et al.  Topological Design of Centralized Computer Networks , 1997 .

[6]  F. Glover,et al.  Finding Minimum Spanning Trees with a Fixed Number of Links at a Node , 1975 .

[7]  Fred W. Glover,et al.  A matroid algorithm and its application to the efficient solution of two optimization problems on graphs , 1988, Math. Program..

[8]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[9]  Harold N. Gabow A good algorithm for smallest spanning trees with a degree constraint , 1978, Networks.

[10]  Samir Khuller,et al.  Low-Degree Spanning Trees of Small Weight , 1996, SIAM J. Comput..

[11]  Ravindra K. Ahuja,et al.  Network Flows: Theory, Algorithms, and Applications , 1993 .

[12]  Samir Khuller,et al.  Balancing minimum spanning and shortest path trees , 1993, SODA '93.

[13]  Bezalel Gavish,et al.  Topological design of centralized computer networks - formulations and algorithms , 1982, Networks.

[14]  Martin Fürer,et al.  Approximating the Minimum-Degree Steiner Tree to within One of Optimal , 1994, J. Algorithms.

[15]  Ted Fischer,et al.  Optimizing the Degree of Minimum Weight Spanning Trees , 1993 .

[16]  Martin W. P. Savelsbergh,et al.  Edge exchanges in the degree-constrained minimum spanning tree problem , 1985, Comput. Oper. Res..

[17]  M. Stoer Design of Survivable Networks , 1993 .

[18]  Clyde L. Monma,et al.  Transitions in geometric minimum spanning trees , 1991, SCG '91.

[19]  C. Monma,et al.  Methods for Designing Communications Networks with Certain Two-Connected Survivability Constraints , 1989, Oper. Res..

[20]  Jeffrey S. Salowe Euclidean Spanner Graphs with Degree Four , 1994, Discret. Appl. Math..

[21]  Christos H. Papadimitriou,et al.  On Two Geometric Problems Related to the Traveling Salesman Problem , 1984, J. Algorithms.

[22]  P. Macdonald Combinatorial Programming: Methods and Applications , 1976 .

[23]  A. Volgenant A Lagrangean approach to the degree-constrained minimum spanning tree problem , 1989 .