[論文レビュー] On the Tree Augmentation Problem

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

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

ひとこと要約

本稿では、木補強問題に対する簡素化され、より効率的なアルゴリズムを提示する。最大辺コストを $M$ とすると、時間 $2^{O(M/ ho^2)} \cdot \text{poly}(n)$ で $\frac{12}{7} + \rho$ の近似比を達成する。長年の未解決問題を解決し、単位コストの場合に Cut-LP の整数性ギャップが $28/15 = 2 - 2/15$ 未満であることを証明した。また、構造的・実行時間の両面で従来の LP サブルラクセーションを改善する、よりコンactな $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$-Bundle-LP をより簡素な $k$-Branch-LP に置き換えることで、従来の LP サブルラクセーションを単純化・強化すること。
• スパイダー型インスタンスにおける Cut-ポリトープの半整数極点が $4/3$-近似を可能にすることを示し、既知の整数性ギャップ結果と関連付けること。

提案手法

• 枝（$k$ 個未満の葉を持つ部分木）に基づいた簡素化された LP サブルラクセーション、すなわち $k$-Branch-LP を導入し、より複雑な $k$-Bundle-LP を置き換える。
• 双対フィッティングと Cut-ポリトープにおける半整数極点の構造的解析を用いて、近似比を限定する。
• スパイダー型インスタンスの場合、Cut-ポリトープが半整数極点を持つことを証明し、これにより $4/3$-近似が可能であることを示す。
• $k$-Branch-LP の最適値が $k$-Bundle-LP のそれら以下であることを確立するが、実行時間の複雑さは著しく改善されている。
• エッジ被覆と木構造の組み合わせ的解析を用いて、計算された解のコストが LP 最適解に対して相対的にどの程度に抑えられるかを限定する。
• $\{0,\frac{1}{2}\}$-Chvátal-Gomory 割り当てを用いた双対変数割り当てスキームを導入し、特に単位コストの場合の整数性ギャップの境界を検証する。

実験結果

リサーチクエスチョン

• RQ1 $k$-Bundle-LP は、木補強問題の近似保証を維持または向上させつつ、より簡素でコンactな LP サブルラクセーションに置き換え可能か？
• RQ2 単位コスト木補強問題における標準 Cut-LP の真の整数性ギャップは何か？ 2 より小さいことが証明可能か？
• RQ3 スパイダー型インスタンスにおける Cut-ポリトープの半整数極点の存在が、従来の結果よりも良い近似比を可能にするか？
• 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 よりもよりコンactかつ効率的で、最適値はそれ以下である。
• 本稿では、スパイダー型インスタンスにおける Cut-ポリトープの極点が半整数であることを証明し、これによりそのようなケースで $4/3$-近似が可能であることを示した。
• $k$-Branch-LP を用いることで、定数コストインスタンスだけでなく、対数コストインスタンスに対しても 2 より良い近似比が達成可能であることが分かった。
• 解析により、簡素化された $k$-Branch-LP に双対フィッティング法を適用することで、強力な近似保証が得られることを確認した。これは Cut-LP がさらなる改善に十分である可能性を示唆している。