---
title: Tree Augmentation Problem (TAP)
url: https://www.emergentmind.com/topics/tree-augmentation-problem-tap
type: topic
---

# Tree Augmentation Problem (TAP)

The Tree Augmentation Problem (TAP) is a central problem in combinatorial optimization and network design, with applications spanning survivable network design, communication infrastructures, and distributed computing. The core challenge in TAP is to transform a given tree into a 2-edge-connected graph by adding the minimum number (or cost) of supplementary edges, known as links. Despite its seemingly simple structure, TAP is APX-hard, and achieving approximation ratios close to 1 for general instances remains a major open challenge.

## 1. Formal Definition and Problem Models

Given an undirected tree $T=(V, E_T)$ and a set of potential augmentation edges ("links") $L \subseteq \binom{V}{2}$ (with $E_T \cap L = \emptyset$), TAP seeks a minimum-cardinality subset $F \subseteq L$ such that the augmented graph $(V, E_T \cup F)$ is 2-edge-connected. In the weighted variant (WTAP), each link $\ell \in L$ is assigned a nonnegative cost $c_\ell$, and the objective is to minimize $\sum_{\ell \in F} c_\ell$. The principal requirement is that every tree-edge $e \in E_T$ must be covered; that is, there must be at least one link in $F$ whose unique tree path in $T$ contains $e$.

Formally, the standard integer programming (cut cover) formulation is:
\[
\min \sum_{\ell \in L} x_\ell \quad \text{subject to} \quad \forall e \in E_T:\, \sum_{\ell\colon e \in P_T(\ell)} x_\ell \geq 1, \quad x_\ell \in \{0,1\}.
\]
where $P_T(\ell)$ denotes the unique path in $T$ between the endpoints of $\ell$.

## 2. Polyhedral Relaxations, LP and SDP Techniques

The baseline linear relaxation is the "cut-LP":
\[
\min \sum_{\ell \in L} c_\ell x_\ell \quad\text{s.t.}~\forall e \in E_T:\, \sum_{\ell: e \in P_T(\ell)} x_\ell \geq 1,~ x_\ell \geq 0.
\]
The cut-LP has integrality gap exactly 2 for arbitrary costs. Substantial progress has occurred by introducing combinatorial and lift-and-project polyhedral strengthening, such as:
- Bundle (or $k$-bundle) constraints: For any collection of up to $k$ subtrees (bundles), enforce $\sum_{\ell: P_\ell \cap B \neq \emptyset} c_\ell x_\ell \geq \mathrm{OPT}(B)$, where $\mathrm{OPT}(B)$ is the integrally minimal cover cost for bundle $B$.
- Chvátal–Gomory (CG) cuts, especially {0,½}-odd-cut constraints: For any odd-degree cut $S \subset V$, enforce $\sum_\ell \lceil |P_\ell \cap \delta_G(S)|/2 \rceil x_\ell \geq (|\delta_G(S)|+1)/2$.
- Lasserre/SoS hierarchy SDPs: Tighten the relaxation by positive semidefinite moment and localizing constraints, making fractional solutions closer to integral [1508.07504].

Recent work exploits the intersection of these strengthenings. The odd-cut-bundle LP achieves a $(3/2+\epsilon)$-approximation—matching the best known SDP-based integrality ratio for unweighted TAP [1702.05567]. These relaxations support both rounding and credit-based combinatorial methods.

## 3. Approximation Algorithms and Complexity Landscape

### 3.1 Historical Progression

A series of breakthroughs have steadily reduced the approximation guarantee for unweighted TAP:
- 2-approximation: Frederickson & JáJá (1981), primal-dual and iterative LP methods.
- 1.8: Even, Feldman, Kortsarz, Nutov (2009) via ear-decomposition.
- 1.75 and 1.5: Kortsarz & Nutov (2016), using primal-dual and credit invariant frameworks [1507.02799].
- $(1.5+\epsilon)$: Fiorini et al. (tightening with CG cuts and LP structure).
- 1.458: Grandoni, Kalaitzis, Zenklusen (rewiring and matching-in-expectation arguments, stack rounding) [1804.02242].
- 1.393: Traub, Zenklusen, Cecchetto (use of stack analysis and advanced convex combination techniques; unified with CAP) [2012.00086].
- $4/3$: Deferred local ratio, leaf-to-leaf and matching-based plus stack methods for special subcases [2204.06944, 2601.09219].

### 3.2 Sample of Algorithmic Milestones
| Reference                    | Guarantee      | Model(s)/Techniques                  | Notes                        |
|------------------------------|---------------|--------------------------------------|------------------------------|
| [1507.02799], [1508.07504]   | 1.5 - 1.5+ε   | Primal-dual, credit invariants, SDP  | Fundamental for lower bounds |
| [1702.05567], [2012.00086]   | 1.5+ε, 1.393  | {0,½}-CG cuts, stack analysis, LP    | Unified with CAP             |
| [1804.02242]                 | 1.458         | Rewiring, k-wide LPs, sampling       | k-wide decomposition         |
| [2601.09219], [2204.06944]   | 4/3, 1.29     | Matching-based, deferred LR, stack   | Leaf-to-leaf, O(1)-wide      |

For TAP with unit costs, the best known integrality gap for the cut-LP is at most $28/15 \approx 1.8667$; for the 3-Branch-LP it is $7/4=1.75$ [1703.07247].

## 4. Representative Techniques: Local Ratio, Matching, Stack, and Deferred LR

- **Local Ratio & Credit Invariants**: Augmentation is performed by greedily matching leaves and tracking "coupons" (tokens) to manage legal contractions and exploit the combinatorial structure of TAP subtrees (“semi-closed subtrees”), ensuring each operation can be “paid for” under tight budget [1507.02799].
- **Rewiring and Stack Rounding**: After splitting the tree into principal O(1)-wide subtrees, combine LP-optimal fractional solutions by randomized sampling and strategically recombine cross-links via matching and rewiring, saving over the naive $1.5$ barrier [1804.02242, 2012.00086].
- **Deferred Local Ratio**: Departing from recursive disjointness in local-ratio, allows temporary overlap via “shadow-sets” and uses “golden-ticket” nodes to globally control charge. This yields the first purely combinatorial $4/3$-approximation for unweighted TAP on general trees [2601.09219].
- **Bundle/CG Cut Lifting**: Carefully chosen bundle constraints and odd-cut CG inequalities narrow the LP gap and can be solved efficiently for bounded link costs, leading to $3/2$-type bounds for WTAP [1702.05567, 1607.03791].

## 5. Special Cases, Hardness, and Structural Results

- **Leaf-to-leaf TAP**: Restricting all links to have both endpoints as leaves captures the hardest known TAP instances and enables sharper analysis. Here, a $(4/3+\epsilon)$-approximation is available, further improved to $1.29$ via stack-based analysis [2204.06944].
- **Stemless TAP**: Excluding so-called stems (degree-2 nodes whose two incident tree-edges are always covered together by the same augmentation edge) permits structural decomposition leading to tight $3/2+\epsilon$-approximation via SDP/[SoS] relaxations [1508.07504].
- **APX-hardness**: TAP is APX-hard even for the leaf-to-leaf case and when each link is only between leaves [2601.09219].

## 6. Distributed and Online Variants

Recently, distributed algorithms for TAP were developed in the CONGEST model, delivering:
- Weighted TAP: 2-approximation in $O(h)$ rounds, where $h$ is the tree height.
- Unweighted TAP: 4-approximation in $O(D + \sqrt{n}\log^* n)$ rounds, where $D$ is diameter, $n$ the node count [1711.03359].
- Online WTAP: Deterministic $O(\log n)$-competitive, tight up to constants, via path decomposition and online set cover [1904.11777].

## 7. Open Problems and Recent Advances

- **Breaking $1.393$ barrier for general TAP**: Theoretical evidence suggests the true integrality gap of natural LP relaxations may be as low as $4/3$; no counterexamples known, but best presently-achievable guarantee for all general TAP is $1.393$ [2012.00086].
- **Combinatorial vs LP/SDP Approaches**: New combinatorial techniques such as deferred local-ratio may supersede dependence on heavy LP or SDP machinery in practice [2601.09219].
- **Extensions**: General $k$-edge-connectivity augmentation, higher survivability, and the weighted case with arbitrary costs remain the subject of ongoing research [2012.00086, 1607.03791].
- **Dynamic and distributed TAP**: Designing fully dynamic (edge insert/delete) data structures with near-optimal approximations and extending sub-2 approximations to distributed settings are major open problems [1711.03359].

## 8. Summary Table: Best Known Approximations and Key References

| Setting/Restriction                 | Approximation     | Main Technique(s)           | Reference                   |
|-------------------------------------|-------------------|-----------------------------|-----------------------------|
| General TAP (unit costs)            | 1.393             | Stack analysis, CG cuts     | [2012.00086]                |
| Leaf-to-leaf TAP                    | $4/3+\epsilon$    | Matching + O(1)-width decomp| [2204.06944]                |
| Weighted TAP, costs in $[1, M]$     | $3/2+\epsilon$    | Odd-cut bundle LP           | [1702.05567]                |
| Unweighted TAP, combinatorial       | $4/3$             | Deferred local ratio        | [2601.09219]                |
| Weighted TAP, online                | $O(\log n)$       | Path-decomp, online covering| [1904.11777]                |
| Distributed TAP, CONGEST            | 2, 4 (weighted, unweighted) | Virtual tree, scans    | [1711.03359]                |

---

**References**:  
- [1507.02799]  
- [1508.07504]  
- [1702.05567]  
- [2012.00086]  
- [1804.02242]  
- [2204.06944]  
- [2601.09219]  
- [1607.03791]  
- [1711.03359]  
- [1904.11777]  

This landscape demonstrates that substantial progress has been made in both the theoretical guarantee and algorithmic structure for TAP, though tightening the approximation ratio for both weighted and unweighted cases, and understanding the precise combinatorial barriers, remains an area of active research.

Source: https://www.emergentmind.com/topics/tree-augmentation-problem-tap