Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
420950 | Discrete Applied Mathematics | 2007 | 16 Pages |
A graph (digraph) G=(V,E)G=(V,E) with a set T⊆VT⊆V of terminals is called inner Eulerian if each nonterminal node vv has even degree (resp. the numbers of edges entering and leaving vv are equal). Cherkassky and Lovász, independently, showed that the maximum number of pairwise edge-disjoint T-paths in an inner Eulerian graph G is equal to 12∑s∈Tλ(s), where λ(s)λ(s) is the minimum number of edges whose removal disconnects s and T-{s}T-{s}. A similar relation for inner Eulerian digraphs was established by Lomonosov. Considering undirected and directed networks with “inner Eulerian” edge capacities, Ibaraki, Karzanov, and Nagamochi showed that the problem of finding a maximum integer multiflow (where partial flows connect arbitrary pairs of distinct terminals) is reduced to O(logT)O(logT) maximum flow computations and to a number of flow decompositions.In this paper we extend the above max–min relation to inner Eulerian bidirected graphs and inner Eulerian skew-symmetric graphs and develop an algorithm of complexity O(VElogTlog(2+V2/E)) for the corresponding capacitated cases. In particular, this improves the best known bound for digraphs. Our algorithm uses a fast procedure for decomposing a flow with O(1)O(1) sources and sinks in a digraph into the sum of one-source-one-sink flows.