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 ∈ R≥0, 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 k log log 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 n log logn ) [Halperin et al., SODA’03 & SIAM J. Comput.] and Ω( √ k) [Zosin-Khuller, SODA’02] in some instance with √ k = O ( logn log logn ) . 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.

[1]  Fabrizio Grandoni,et al.  An improved LP-based approximation for steiner tree , 2010, STOC '10.

[2]  Guy Kortsarz,et al.  Approximating the Weight of Shallow Steiner Trees , 1999, Discret. Appl. Math..

[3]  Aravind Srinivasan,et al.  Integrality ratio for group Steiner trees and directed steiner trees , 2003, SODA '03.

[4]  Thomas Rothvoß Directed Steiner Tree and the Lasserre Hierarchy , 2011, ArXiv.

[5]  Miroslav Chlebík,et al.  The Steiner tree problem on graphs: Inapproximability results , 2008, Theor. Comput. Sci..

[6]  Shi Li,et al.  O(log2 k / log log k)-approximation algorithm for directed Steiner tree: a tight quasi-polynomial-time algorithm , 2018, STOC.

[7]  Samir Khuller,et al.  On directed Steiner trees , 2002, SODA '02.

[8]  Sudipto Guha,et al.  Rounding via Trees : Deterministic Approximation Algorithms forGroup , 1998 .

[9]  Dana Moshkovitz,et al.  The Projection Games Conjecture and the NP-Hardness of ln n-Approximating Set-Cover , 2012, Theory Comput..

[10]  Alex Zelikovsky,et al.  A series of approximation algorithms for the acyclic directed steiner tree problem , 1997, Algorithmica.

[11]  Aravind Srinivasan,et al.  Randomized Distributed Edge Coloring via an Extension of the Chernoff-Hoeffding Bounds , 1997, SIAM J. Comput..

[12]  Sudipto Guha,et al.  Approximation algorithms for directed Steiner problems , 1999, SODA '98.

[13]  Madhur Tulsiani,et al.  Linear Programming Hierarchies Suffice for Directed Steiner Tree , 2014, IPCO.

[14]  Marshall W. Bern,et al.  The Steiner Problem with Edge Lengths 1 and 2 , 1989, Inf. Process. Lett..

[15]  Robert Krauthgamer,et al.  Polylogarithmic inapproximability , 2003, STOC '03.

[16]  Viswanath Nagarajan,et al.  Quasi-Polynomial Algorithms for Submodular Tree Orienteering and Other Directed Network Design Problems , 2020, SODA.