On Approximating Degree-Bounded Network Design Problems

Directed Steiner Tree (DST) is a central problem in combinatorial optimization and theoretical computer science: Given a directed graph $G=(V, E)$ with edge costs $c \in \mathbb{R}_{\geq 0}^E$, a root $r \in V$ and $k$ terminals $K\subseteq V$, we need to output the minimum-cost arborescence in $G$ that contains an $r$\textrightarrow $t$ path for every $t \in K$. Recently, Grandoni, Laekhanukit and Li, and independently Ghuge and Nagarajan, gave quasi-polynomial time $O(\log^2k/\log \log k)$-approximation algorithms for the problem, which are tight under popular complexity assumptions. In this paper, we consider the more general Degree-Bounded Directed Steiner Tree (DB-DST) problem, where we are additionally given a degree bound $d_v$ on each vertex $v \in V$, and we require that every vertex $v$ in the output tree has at most $d_v$ children. We give a quasi-polynomial time $(O(\log n \log k), O(\log^2 n))$-bicriteria approximation: The algorithm produces a solution with cost at most $O(\log n\log k)$ times the cost of the optimum solution that violates the degree constraints by at most a factor of $O(\log^2n)$. This is the first non-trivial result for the problem. While our cost-guarantee is nearly optimal, the degree violation factor of $O(\log^2n)$ is an $O(\log n)$-factor away from the approximation lower bound of $\Omega(\log n)$ from the set-cover hardness. The hardness result holds even on the special case of the {\em Degree-Bounded Group Steiner Tree} problem on trees (DB-GST-T). With the hope of closing the gap, we study the question of whether the degree violation factor can be made tight for this special case. We answer the question in the affirmative by giving an $(O(\log n\log k), O(\log n))$-bicriteria approximation algorithm for DB-GST-T.

[1]  Mohit Singh,et al.  Approximating Minimum Bounded Degree Spanning Trees to within One of Optimal , 2015, J. ACM.

[2]  Viswanath Nagarajan,et al.  A Quasi-Polynomial Algorithm for Submodular Tree Orienteering in Directed Graphs , 2018, ArXiv.

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

[4]  Jose Augusto Ramos Soares,et al.  Graph Spanners: a Survey , 1992 .

[5]  Chandra Chekuri,et al.  A recursive greedy algorithm for walks in directed graphs , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[6]  Satish Rao,et al.  A tight bound on approximating arbitrary metrics by tree metrics , 2003, STOC '03.

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

[8]  Yossi Azar,et al.  Buy-at-bulk network design , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[9]  R. Ravi,et al.  Many birds with one stone: multi-objective approximation algorithms , 1993, STOC '93.

[10]  Vahid Liaghat,et al.  Online Degree-Bounded Steiner Network Design , 2016, SODA.

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

[12]  R. Ravi,et al.  A matter of degree: improved approximation algorithms for degree-bounded minimum spanning trees , 2000, STOC '00.

[13]  Guy Kortsarz,et al.  Bounded Degree Group Steiner Tree Problems , 2020, IWOCA.

[14]  Bundit Laekhanukit Approximating Directed Steiner Problems via Tree Embedding , 2016, ICALP.

[15]  Mohit Singh,et al.  Additive Approximation for Bounded Degree Survivable Network Design , 2013, SIAM J. Comput..

[16]  Martin Fürer,et al.  Approximating the Minimum-Degree Steiner Tree to within One of Optimal , 1994, J. Algorithms.

[17]  Mohammad Taghi Hajiaghayi,et al.  Online Weighted Degree-Bounded Steiner Networks via Novel Online Mixed Packing/Covering , 2017, ICALP.

[18]  Mohit Singh,et al.  Survivable Network Design with Degree or Order Constraints , 2009, SIAM J. Comput..

[19]  Spyridon Antonakopoulos Approximating Directed Buy-at-Bulk Network Design , 2010, WAOA.

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

[21]  Mohammad Taghi Hajiaghayi,et al.  Approximation Algorithms for Nonuniform Buy-at-Bulk Network Design , 2010, SIAM J. Comput..

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

[23]  Ernst Althaus,et al.  Approximating k-hop minimum-spanning trees , 2005, Oper. Res. Lett..

[24]  Guy Kortsarz,et al.  Approximating Some Network Design Problems with Node Costs , 2009, APPROX-RANDOM.

[25]  Sudipto Guha,et al.  A Constant Factor Approximation for the Single Sink Edge Installation Problem , 2009, SIAM J. Comput..

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

[27]  R. Ravi,et al.  Bicriteria Network Design Problems , 1998, J. Algorithms.

[28]  Michel X. Goemans,et al.  Minimum Bounded Degree Spanning Trees , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

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

[30]  Mohammad Taghi Hajiaghayi,et al.  Greedy Algorithms for Online Survivable Network Design , 2018, ICALP.

[31]  R. Ravi,et al.  Primal-Dual Meets Local Search: Approximating MSTs With Nonuniform Degree Bounds , 2005, SIAM J. Comput..

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

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