Approximating Directed Steiner Problems via Tree Embedding

In the k-edge connected directed Steiner tree (k-DST) problem, we are given a directed graph G on n vertices with edge-costs, a root vertex r, a set of h terminals T and an integer k. The goal is to find a min-cost subgraph H of G that connects r to each terminal t by k edge-disjoint r,t-paths. This problem includes as special cases the well-known directed Steiner tree (DST) problem (the case k = 1) and the group Steiner tree (GST) problem. Despite having been studied and mentioned many times in literature, e.g., by Feldman et al. [SODA'09, JCSS'12], by Cheriyan et al. [SODA'12, TALG'14] and by Laekhanukit [SODA'14], there was no known non-trivial approximation algorithm for k-DST for k >= 2 even in the special case that an input graph is directed acyclic and has a constant number of layers. If an input graph is not acyclic, the complexity status of k-DST is not known even for a very strict special case that k= 2 and |T| = 2. In this paper, we make a progress toward developing a non-trivial approximation algorithm for k-DST. We present an O(D k^{D-1} log n)-approximation algorithm for k-DST on directed acyclic graphs (DAGs) with D layers, which can be extended to a special case of k-DST on "general graphs" when an instance has a D-shallow optimal solution, i.e., there exist k edge-disjoint r,t-paths, each of length at most D, for every terminal t. For the case k= 1 (DST), our algorithm yields an approximation ratio of O(D log h), thus implying an O(log^3 h)-approximation algorithm for DST that runs in quasi-polynomial-time (due to the height-reduction of Zelikovsky [Algorithmica'97]). Consequently, as our algorithm works for general graphs, we obtain an O(D k^{D-1} log n)-approximation algorithm for a D-shallow instance of the k-edge-connected directed Steiner subgraph problem, where we wish to connect every pair of terminals by k-edge-disjoint paths.

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

[2]  Guy Kortsarz,et al.  Improved approximating algorithms for Directed Steiner Forest , 2009, SODA.

[3]  Noga Alon,et al.  A Graph-Theoretic Game and Its Application to the k-Server Problem , 1995, SIAM J. Comput..

[4]  R. Ravi,et al.  A polylogarithmic approximation algorithm for the group Steiner tree problem , 2000, SODA '98.

[5]  Carsten Lund,et al.  On the hardness of approximating minimization problems , 1993, STOC.

[6]  Adrian Vetta,et al.  Approximating Rooted Steiner Networks , 2012, SODA.

[7]  Harald Räcke,et al.  Optimal hierarchical decompositions for congestion minimization in networks , 2008, STOC.

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

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

[10]  Harald Räcke,et al.  Minimizing Congestion in General Networks , 2002, FOCS.

[11]  Alex Zelikovsky,et al.  An improved approximation scheme for the Group Steiner Problem , 2001, Networks.

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

[13]  Kunal Talwar,et al.  A tight bound on approximating arbitrary metrics by tree metrics , 2004, J. Comput. Syst. Sci..

[14]  Yair Bartal,et al.  Probabilistic approximation of metric spaces and its algorithmic applications , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

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

[16]  Fabrizio Grandoni,et al.  On Survivable Set Connectivity , 2015, SODA.

[17]  Bundit Laekhanukit Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems , 2014, SODA.