On the Tree Augmentation Problem
Author:
Preprint
Abstract
In the Tree Augmentation problem we are given a tree $T=(V,F)$ and a set $E \subseteq V \times V$ of edges with positive integer costs $\{c_e:e \in E\}$. The goal is to augment $T$ by a minimum cost edge set $J \subseteq E$ such that $T \cup J$ is $2$-edge-connected. We obtain the following results. Recently, Adjiashvili [SODA 17] introduced a novel LP for the problem and used it to break the $2$-approximation barrier for instances when the maximum cost $M$ of an edge in $E$ is bounded by a constant; his algorithm computes a $1.96418+\epsilon$ approximate solution in time $n^{{(M/\epsilon^2)}^{O(1)}}$. Using a simpler LP, we achieve ratio $\frac{12}{7}+\epsilon$ in time $2^{O(M/\epsilon^2)} poly(n)$.This gives ratio better than $2$ for logarithmic costs, and not only for constant costs. One of the oldest open questions for the problem is whether for unit costs (when $M=1$) the standard LP-relaxation, so called Cut-LP, has integrality gap less than $2$. We resolve this open question by proving that for unit costs the integrality gap of the Cut-LP is at most $28/15=2-2/15$. In addition, we will prove that another natural LP-relaxation, that is much simpler than the ones in previous work, has integrality gap at most $7/4$.
Keywords
All Related Versions
This publication has 20 references indexed in Scilit:
- A (1 + ln 2)-Approximation Algorithm for Minimum-Cost 2-Edge-Connectivity Augmentation of Trees with Constant RadiusLecture Notes in Computer Science, 2011
- Covering a laminar family by leaf to leaf linksDiscrete Applied Mathematics, 2010
- On the integrality ratio for tree augmentationOperations Research Letters, 2008
- Optimization with binet matricesOperations Research Letters, 2007
- Rational and integral k-regular matricesDiscrete Mathematics, 2004
- A Factor 2 Approximation Algorithm for the Generalized Steiner Network ProblemCombinatorica, 2001
- On 2-Coverings and 2-Packings of Laminar Families1999
- Approximation Algorithms for Graph AugmentationJournal of Algorithms, 1993
- Tight bounds and 2-approximation algorithms for integer programs with two variables per inequalityMathematical Programming, 1993
- Edmonds polytopes and a hierarchy of combinatorial problemsDiscrete Mathematics, 1973