[论文解读] On the Tree Augmentation Problem

Zeev Nutov|arXiv (Cornell University)|Mar 21, 2017

Complexity and Algorithms in Graphs参考文献 21被引用 12

一句话总结

本文提出了一种简化且更高效的树增强问题算法，时间复杂度为 $2^{O(M/\epsilon^2)} \cdot \text{poly}(n)$，逼近比为 $\frac{12}{7} + \epsilon$，其中 $M$ 为最大边权。该工作通过证明单位成本下割-线性规划（Cut-LP）的整数规划间隙至多为 $\frac{28}{15} = 2 - \frac{2}{15}$，解决了长期悬而未决的开放问题，并引入了一种更紧凑的 $k$-Branch-LP，其在结构与运行时间上均优于以往的线性规划松弛。

ABSTRACT

In the Tree Augmentation problem we are given a tree $T=(V,F)$ and a set $E \subseteq V imes 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+ε$ approximate solution in time $n^{{(M/ε^2)}^{O(1)}}$. Using a simpler LP, we achieve ratio $\frac{12}{7}+ε$ in time $2^{O(M/ε^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$.

研究动机与目标

• 改进边权有界的树增强问题的逼近比与运行时间。
• 解决长期悬而未决的开放问题：标准割-线性规划（Cut-LP）在单位成本下是否具有小于 2 的整数规划间隙。
• 简化并强化先前的线性规划松弛，特别是用更紧凑的 $k$-Branch-LP 替代 $k$-Bundle-LP。
• 证明在蜘蛛形实例中，割-多面体的半整数极点可实现 $4/3$-逼近，从而与已知的整数规划间隙结果建立联系。

提出的方法

• 提出 $k$-Branch-LP，一种基于分支（叶节点少于 $k$ 个的子树）的简化线性规划松弛，替代结构更复杂的 $k$-Bundle-LP。
• 利用对偶拟合与割-多面体中半整数极点的结构分析，控制逼近比。
• 证明在蜘蛛形实例中，割-多面体具有半整数极点，从而可实现 $4/3$-逼近。
• 建立 $k$-Branch-LP 的最优值不超过 $k$-Bundle-LP，但运行时间复杂度显著降低。
• 通过边覆盖与树结构的组合分析，将计算解的成本相对于线性规划最优解进行有界控制。
• 采用 $\{0,\frac{1}{2}\}$-Chvátal-Gomory 割的对偶变量分配方案，验证整数规划间隙界限，尤其针对单位成本情形。

实验结果

研究问题

• RQ1 能否用更简单、更紧凑的线性规划松弛替代 $k$-Bundle-LP，同时保持或改进树增强问题的逼近保证？
• RQ2 标准割-线性规划（Cut-LP）在单位成本树增强问题中的真实整数规划间隙是多少？能否证明其严格小于 2？
• RQ3 在蜘蛛形实例中，割-多面体的半整数极点是否存在？其是否存在优于以往已知逼近比的潜力？
• RQ4 能否将基于 $k$-LP 的算法运行时间从 $n^{k^{O(1)}}$ 降低至 $2^{O(k)} \cdot \text{poly}(n)$，而无需牺牲逼近质量？
• RQ5 $k$-Branch-LP 是否足以实现任意成本下的 $\frac{12}{7}+\epsilon$ 逼近？该结果能否推广至对数成本情形？

主要发现

• 本文在时间复杂度 $2^{O(M/\epsilon^2)} \cdot \text{poly}(n)$ 内实现了树增强问题的 $\frac{12}{7} + \epsilon$ 逼近比，优于先前的 $1.96418 + \epsilon$。
• 对于单位成本情形，标准割-线性规划（Cut-LP）的整数规划间隙至多为 $\frac{28}{15} = 2 - \frac{2}{15}$，解决了长期悬而未决的开放问题。
• 提出一种新的 $k$-Branch-LP 松弛，其在紧凑性与效率上均优于 $k$-Bundle-LP，且最优值不超过后者。
• 本文证明了在蜘蛛形实例中，割-多面体的极点为半整数，从而可实现此类情形下的 $4/3$-逼近。
• $k$-Branch-LP 不仅在常数成本情形下可实现优于 2 的逼近比，亦适用于对数成本情形。
• 分析表明，对简化后的 $k$-Branch-LP 应用对偶拟合方法可获得强逼近保证，提示割-线性规划（Cut-LP）本身可能足以支持进一步改进。