A well-known theorem of Nash-Williams and Tutte gives a necessary and sufficient condition for the existence of k edge-disjoint spanning trees in an undirected graph. A corollary of this theorem is that every 2k-edge-connected graph has k edge-disjoint spanning trees. We show that the splitting-off theorem of Mader in undirected graphs implies a generalization of this to finding k edgedisjoint Steiner forests in Eulerian graphs. This leads to new 2-approximation rounding algorithms for constrained 0-1 forest problems considered by Goemans and Williamson. These algorithms also produce approximate integer decompositions of fractional solutions. We then discuss open problems and outlets for this approach to the more general class of 0-1 skew supermodular network design problems. Key words. network design, supermodular function, integer decomposition, approximation algorithm. AMS subject classifications. 68Q25, 68W25, 90C27, 90C59
Chandra Chekuri, F. Bruce Shepherd