English

A $\frac{3}{2}$-Approximation Algorithm for Tree Augmentation via Chv\'atal-Gomory Cuts

Discrete Mathematics 2017-02-27 v2

Abstract

The weighted tree augmentation problem (WTAP) is a fundamental network design problem. We are given an undirected tree G=(V,E)G = (V,E), an additional set of edges LL called links and a cost vector cR1Lc \in \mathbb{R}^L_{\geq 1}. The goal is to choose a minimum cost subset SLS \subseteq L such that G=(V,ES)G = (V, E \cup S) is 22-edge-connected. In the unweighted case, that is, when we have c=1c_\ell = 1 for all L\ell \in L, the problem is called the tree augmentation problem (TAP). Both problems are known to be APX-hard, and the best known approximation factors are 22 for WTAP by (Frederickson and J\'aJ\'a, '81) and 32\tfrac{3}{2} for TAP due to (Kortsarz and Nutov, TALG '16). In the case where all link costs are bounded by a constant MM, (Adjiashvili, SODA '17) recently gave a 1.96418+ε\approx 1.96418+\varepsilon-approximation algorithm for WTAP under this assumption. This is the first approximation with a better guarantee than 22 that does not require restrictions on the structure of the tree or the links. In this paper, we improve Adjiashvili's approximation to a 32+ε\frac{3}{2}+\varepsilon-approximation for WTAP under the bounded cost assumption. We achieve this by introducing a strong LP that combines {0,12}\{0,\frac{1}{2}\}-Chv\'atal-Gomory cuts for the standard LP for the problem with bundle constraints from Adjiashvili. We show that our LP can be solved efficiently and that it is exact for some instances that arise at the core of Adjiashvili's approach. This results in the improved guarantee of 32+ε\frac{3}{2}+\varepsilon. For TAP, this is the best known LP-based result, and matches the bound of 32+ε\frac{3}{2}+\varepsilon achieved by the best SDP-based algorithm due to (Cheriyan and Gao, arXiv '15).

Keywords

Cite

@article{arxiv.1702.05567,
  title  = {A $\frac{3}{2}$-Approximation Algorithm for Tree Augmentation via Chv\'atal-Gomory Cuts},
  author = {Samuel Fiorini and Martin Groß and Jochen Könemann and Laura Sanità},
  journal= {arXiv preprint arXiv:1702.05567},
  year   = {2017}
}
R2 v1 2026-06-22T18:21:50.463Z