Abstract:Given an undirected graph $G = (V,E)$ with a set of terminals $T\subseteq V$ partitioned into a family $\mathcal{S}$ of disjoint blocks, find the maximum number of vertex-disjoint paths whose endpoints belong to two distinct blocks while no other internal vertex is a terminal. This problem is called Mader's $\mathcal{S}$-path packing. It has been of remarkable interest as a common generalization of the non-bipartite matching and vertex-disjoint $s\text{-}t$ paths problem.
This paper presents a new deterministic algorithm for this problem via known reduction to linear matroid parity. The algorithm utilizes the augmenting-path algorithm of Gabow and Stallmann (1986), while replacing costly matrix operations between augmentation steps with a faster algorithm that exploits the original $\mathcal{S}$-path packing instance. The proposed algorithm runs in $O(mnk)$ time, where $n = |V|$, $m = |E|$, and $k = |T|\le n$. This improves on the previous best bound $O(mn^{\omega})$ for deterministic algorithms, where $\omega\ge2$ denotes the matrix multiplication exponent.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to solve **Mader's S - path packing problem**, which is a combinatorial optimization problem. Specifically, given an undirected graph \(G=(V, E)\), there is a set of terminal nodes \(T\subseteq V\) in the vertex set \(V\), and these terminal nodes are partitioned into several disjoint blocks \(S\), each block corresponding to a subset of \(T\). The goal of the problem is to find as many vertex - disjoint paths (i.e., S - paths) as possible, where the endpoints of these paths belong to different blocks respectively, and the nodes inside the paths are not terminal nodes.
#### Problem background and significance
1. **Generalization of non - bipartite matching and vertex - disjoint s - t path problems**:
- When each terminal node is a single block by itself (i.e., \(S = \{\{v\} | v\in V\}\)), Mader's S - path packing problem degenerates into the classic non - bipartite matching problem.
- When the terminal nodes are partitioned into two disjoint sets \(R\) and \(S\) (i.e., \(S=\{R, S\}\)), the problem degenerates into the vertex - disjoint \(s - t\) path problem.
2. **Time complexity bottleneck of existing algorithms**:
- Existing deterministic algorithms rely on the reduction method of the linear matroid parity problem, and their time complexity is \(O(mn^{\omega})\), where \(m\) is the number of edges, \(n\) is the number of vertices, and \(\omega\geq2\) is the matrix multiplication exponent.
- This complexity is less efficient when dealing with large - scale graphs, so more efficient algorithms are required.
#### Main contributions of the paper
The paper proposes a new deterministic algorithm. By improving the existing method based on linear matroid parity, the time complexity is reduced to \(O(mnk)\), where \(k = |T|\) is the number of terminal nodes. Specific improvements include:
1. **Avoiding matrix operations**: The new algorithm bypasses expensive matrix operations (such as matrix inversion and multiplication) and instead uses combinatorial techniques to update the auxiliary graph.
2. **Using the interpretation of the original instance**: The new algorithm uses the parity solution as the interpretation of the subgraph of the original graph \(G\), thus simplifying the calculation process.
3. **Simple arithmetic operations on finite fields**: All operations are carried out on the finite field \(F_q\), where \(q = O(|S|)\), ensuring efficiency.
Through these improvements, the paper provides a faster and more practical solution for dealing with Mader's S - path packing problem.