Bounded indegree $k$-forests problem and a faster algorithm for directed graph augmentation

Pavel Arkhipov,Vladimir Kolmogorov

2024-09-23

Abstract:We consider two problems for a directed graph $G$, which we show to be closely related. The first one is to find $k$ edge-disjoint forests in $G$ of maximal size such that the indegree of each vertex in these forests is at most $k$. We describe a min-max characterization for this problem and show that it can be solved in $O(k \delta m \log n)$ time, where $(n,m)$ is the size of $G$ and $\delta$ is the difference between $k$ and the edge connectivity of the graph. The second problem is the directed edge-connectivity augmentation problem, which has been extensively studied before: find a smallest set of directed edges whose addition to the graph makes it strongly $k$-connected. We improve the complexity for this problem from $O(k \delta (m+\delta n)\log n)$ [Gabow, STOC 1994] to $O(k \delta m \log n)$, by exploiting our solution for the first problem. A similar approach with the same complexity also works for the undirected version of the problem.

Data Structures and Algorithms,Discrete Mathematics,Combinatorics

What problem does this paper attempt to address?

This paper attempts to solve two problems related to directed graphs:

1. **Bounded Indegree k - Forest Problem** (Bounded In - degree k - Forest Problem):
Given a directed graph \(G\), it is required to find \(k\) edge - disjoint forests \(F_1, F_2,\ldots, F_k\) such that the size of the union of these forests is maximized, and the in - degree of each vertex in these forests does not exceed \(k-\tau(v)\), where \(\tau\) is a given vector.

The mathematical description is as follows:
\[
\text{Given input }(G, k, \tau), \text{ find } k \text{ edge - disjoint forests } F_1,\ldots, F_k \text{ such that }\sum_{i = 1}^k|F_i| \text{ is maximized, and for each vertex } v, \text{ satisfies } \text{indeg}_F(v)\leq k - \tau(v).
\]

2. **Directed Edge Connectivity Augmentation Problem**:
Given a directed graph \(G\) and a positive integer \(k\), it is required to find the smallest set of directed edges to be added to the graph \(G\) so that the graph \(G\) becomes a strongly \(k\)-connected graph.

The mathematical description is as follows:
\[
\text{Given input }(G, k), \text{ find the smallest set of directed edges } E' \text{ such that } G + E' \text{ is strongly } k\text{-connected}.
\]

### Research Contributions

The main contributions of the paper include:

- Proposing an effective algorithm for solving the bounded in - degree \(k\)-forest problem with a time complexity of \(O(k\delta m\log n)\), where \(\delta=k - k_G\), and \(k_G\) is the maximum strong connectivity of the graph \(G\).
- Using the above algorithm to improve the time complexity of the directed edge connectivity augmentation problem from \(O(k\delta(m + \delta n)\log n)\) to \(O(k\delta m\log n)\).
- For the edge connectivity augmentation problem in the undirected graph version, an algorithm with a time complexity of \(O(k\delta m\log n)\) is also given.

Through these improvements, the paper provides more efficient algorithms to solve these two important graph - theory problems.