Polynomial Integrality Gap of Flow LP for Directed Steiner Tree
In the Directed Steiner Tree (DST) problem, we are given a directed graph G=(V,E) on n vertices with edge-costs c ∈ℝ_≥ 0^E, a root vertex r, and a set K of k terminals. The goal is to find a minimum-cost subgraph of G that contains a path from r to every terminal t ∈ K. DST has been a notorious problem for decades as there is a large gap between the best-known polynomial-time approximation ratio of O(k^ϵ) for any constant ϵ > 0, and the best quasi-polynomial-time approximation ratio of O(log^2 k/loglog k). Towards understanding this gap, we study the integrality gap of the standard flow LP relaxation for the problem. We show that the LP has an integrality gap polynomial in n. Previously, the integrality gap LP is only known to be Ω(log^2n/loglog n) [Halperin et al., SODA'03 & SIAM J. Comput.] and Ω(√(k)) [Zosin-Khuller, SODA'02] in some instance with √(k)=O(log n/loglog n). Our result gives the first known lower bound on the integrality gap of this standard LP that is polynomial in n, the number of vertices. Consequently, we rule out the possibility of developing a poly-logarithmic approximation algorithm for the problem based on the flow LP relaxation.
READ FULL TEXT