Approximations for the Disjoint Paths Problem in High-Diameter Planar Networks

We consider the problem of connecting distinguished terminal pairs in a graph via edge-disjoint paths. This is a classical NP-complete problem for which no general approximation techniques are known; it has recently been brought into focus in papers discussing applications to admission control in high-speed networks and to routing in all- optical networks. In this paper we provideO(logn)-approximation algorithms for two natural optimization versions of this problem for the class of nearly Eulerian, uniformly high-diameter planar graphs, which includes two-dimensional meshes and other common planar interconnection networks. We give anO(logn)-approximation to the maximum number of terminal pairs that can be simultaneously connected via edge-disjoint paths, and anO(logn)-approximation to the minimum number of wavelengths needed to route a collection of terminal pairs in the “optical routing” model considered by Raghavan, Upfal, and others. The latter result improves on anO(log2n)-approximation for the special case of the mesh obtained independently by Aumann and Rabani. For both problems theO(logn)-approximation is a consequence of anO(1)-approximation for the special case when all terminal pairs are roughly the same distance apart. Our algorithms make use of a number of new techniques, including the construction of a “crossbar” structure in any nearly Eulerian planar graph, and develops some connections with classical matroid algorithms.

[1]  Prabhakar Raghavan,et al.  Randomized rounding: A technique for provably good algorithms and algorithmic proofs , 1985, Comb..

[2]  Yuval Rabani,et al.  Improved bounds for all optical routing , 1995, SODA '95.

[3]  Eli Upfal,et al.  Constructing disjoint paths on expander graphs , 1987, Comb..

[4]  Alok Aggarwal,et al.  Efficient routing and scheduling algorithms for optical networks , 1994, SODA '94.

[5]  Raymond E. Miller,et al.  Complexity of Computer Computations , 1972 .

[6]  Haruko Okamura,et al.  Multicommodity flows in planar graphs , 1981, J. Comb. Theory, Ser. B.

[7]  Colin McDiarmid,et al.  Disjoint Common Transversals and Exchange Structures , 1976 .

[8]  Yuval Rabani,et al.  On-line admission control and circuit routing for high performance computing and communication , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[9]  Éva Tardos,et al.  Disjoint paths in densely embedded graphs , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[10]  Alan M. Frieze,et al.  Existence and construction of edge disjoint paths on expander graphs , 1992, STOC '92.

[11]  Alexander Schrijver,et al.  Paths, Flows, and VLSI-Layout , 1990 .

[12]  Alan M. Frieze,et al.  Optimal construction of edge-disjoint paths in random graphs , 1994, SODA '94.

[13]  J. Edmonds Minimum partition of a matroid into independent subsets , 1965 .

[14]  MATTHIAS MIDDENDORF,et al.  On the complexity of the disjoint paths problem , 1993, Comb..

[15]  Mihalis Yannakakis,et al.  Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees, with Applications to Matching and Set Cover , 1993, ICALP.

[16]  Prabhakar Raghavan,et al.  Probabilistic construction of deterministic algorithms: Approximating packing integer programs , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[17]  András Frank Edge-disjoint paths in planar graphs , 1985, J. Comb. Theory, Ser. B.