Computer Science > Data Structures and Algorithms
[Submitted on 10 Sep 2019 (this version), latest version 1 Dec 2022 (v3)]
Title:Combinatorial Algorithms for Edge-Disjoint $T$-Paths and Integer Free Multiflow
View PDFAbstract:Let $G=(V,E)$ be a multigraph with a set $T\subseteq V$ of terminals. A path in $G$ is called a $T$-path if its ends are distinct vertices in $T$ and no internal vertices belong to $T$. In 1978, Mader showed a characterization of the maximum number of edge-disjoint $T$-paths. The original proof was not constructive, and hence it did not suggest an efficient algorithm.
In this paper, we provide a combinatorial, deterministic algorithm for finding the maximum number of edge-disjoint $T$-paths. The algorithm adopts an augmenting path approach. More specifically, we introduce a novel concept of augmenting walks in auxiliary labeled graphs to capture a possible augmentation of the number of edge-disjoint $T$-paths. To design a search procedure for an augmenting walk, we introduce blossoms analogously to the matching algorithm of Edmonds (1965), while it is neither a special case nor a generalization of the present problem. When the search procedure terminates without finding an augmenting walk, the algorithm provides a certificate for the optimality of the current edge-disjoint $T$-paths. Thus the correctness argument of the algorithm serves as an alternative direct proof of Mader's theorem on edge-disjoint $T$-paths. The algorithm runs in $O(|V|\cdot |E|^2)$ time, which is much faster than the best known deterministic algorithm based on a reduction to the linear matroid parity problem.
We also present a strongly polynomial algorithm for solving the integer free multiflow problem, which asks for a nonnegative integer combination of $T$-paths maximizing the sum of the coefficients subject to capacity constraints on the edges.
Submission history
From: Yu Yokoi Dr. [view email][v1] Tue, 10 Sep 2019 04:25:39 UTC (95 KB)
[v2] Thu, 12 May 2022 09:53:34 UTC (138 KB)
[v3] Thu, 1 Dec 2022 01:46:39 UTC (193 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.