Disjoint S-paths

From Egres Open
Jump to: navigation, search

Let G=(V,E) be an undirected graph, and SV a subset of nodes. An S-path is a path between two distinct nodes in S that does not contain any other node from S. The problem of finding the maximum number of node-disjoint S-paths can be reduced to maximum matching.

If S is a collection of disjoint subsets of V, then a path is called an S-path if its endnodes are in different members of S.

The problem of finding the maximum number of node-disjoint S-paths is equivalent to the problem of finding the maximum number of internally node-disjoint S-paths. A min-max formula was given by Mader [1], see Mader's S-paths theorem. Lovász [2] showed that the problem can be reduced to matroid matching, which implies a polynomial algorithm. Combinatorial polynomial-time algorithms were given in [3] and [4].

References

  1. W. Mader, Über die Maximalzahl kreuzungsfreier H-Wege, Arch. Math. 31 (1978), 387-402, DOI link
  2. L. Lovász, Matroid matching and some applications, DOI link
  3. M. Chudnovsky, W.H. Cunningham, J. Geelen, An algorithm for packing non-zero A-paths in group-labelled graphs, DOI link, author link
  4. Gy. Pap, Packing non-returning A-paths algorithmically, DOI link, conference version