[論文レビュー] A Logarithmic Integrality Gap for Generalizations of Quasi-Bipartite Instances of Directed Steiner Tree

Chan, Chun-Hsiang, Laekhanukit, Bundit+2 more|arXiv (Cornell University)|Nov 20, 2019

Complexity and Algorithms in Graphs参考文献 49被引用数 3

ひとこと要約

本稿では、2つの非端点頂点を結ぶ辺が存在しない準二部グラフ上で、k-Connected Directed Steiner Tree (k-DST) 問題に対する最初の多項式時間 O(log q log k)-近似アルゴリズムを提示する。この手法は、ハロ集合分解を介した未交差族の被覆問題から集合被覆問題への新しい還元を活用しており、任意の k ≥ 1 に対して、最適解の構造に依存しない多対数近似を可能にする。

ABSTRACT

In the classic Directed Steiner Tree problem (DST), we are given an edge-weighted directed graph G = (V,E) with n nodes, a specified root node r ∈ V, and k terminals X ⊆ V-{r}. The goal is to find the cheapest F ⊆ E such that r can reach any terminal using only edges in F. Designing approximation algorithms for DST is quite challenging, to date the best approximation guarantee of a polynomial-time algorithm for DST is O(k^ε) for any constant ε > 0 [Charikar et al., 1999]. For network design problems like DST, one often relies on natural cut-based linear programming (LP) relaxations to design approximation algorithms. In general, the integrality gap of such an LP for DST is known to have a polynomial integrality gap lower bound [Zosin and Khuller, 2002; Li and Laekhanukit, 2021]. So particular interest has been invested in special cases or in strengthenings of this LP. In this work, we show the integrality gap is only O(log k) for instances of DST where no Steiner node has both an edge from another Steiner node and an edge to another Steiner node, i.e. the longest path using only Steiner nodes has length at most 1. This generalizes the well-studied case of quasi-bipartite DST where no edge has both endpoints being Steiner nodes. Our result is also optimal in the sense that the integrality gap can be as bad as poly(n) even if the longest path with only Steiner nodes has length 2.

研究の動機と目的

• k ≥ 3 の故障耐性設定における k-DST の多項式時間近似アルゴリズムの設計。これまでの結果は特殊ケースに限られていた。
• 従来 k=1 の古典的 Directed Steiner Tree 問題に用いられていた準二部グラフの研究を、k-連結ケースに拡張すること。
• 最適解の直径や構造的複雑さに依存しない多対数近似比の達成。
• 従来の木ラウンドや埋め込みに基づく手法の限界を乗り越えるために、集合被覆問題への新しい還元技術を導入すること。

提案手法

• Kortsarz と Nutov が開発した元々のハロ集合分解フレームワークを、k-DST の文脈に適応する。
• 各コア C ∈ C に対してハロ集合 H(C) を定義し、H(C) は解から導かれる部分集合族のすべての不足集合を含む。
• 未交差族の被覆問題を集合被覆インスタンスに還元し、確率的ラウンド技術の適用を可能にする。
• ハロ族 H(C) を被覆するコストが、整数線形計画法または最小コスト (ℓ+1)-フローを用いて正確に計算可能であることを証明し、多項式時間での実行を保証する。
• 準二部グラフでは各辺が高々1つの H(C) に属することを活用し、コア間で辺が互いに素であることを保証する。
• 集合被覆定式化に対して従属確率的ラウンドを適用し、有効な k-DST 解をコスト制限内で構築する。

実験結果

リサーチクエスチョン

• RQ1 任意の k ≥ 1 に対して、最適解の構造的仮定に依存せずに、準二部グラフ上での k-DST 問題に対して多対数近似アルゴリズムを達成できるか？
• RQ2 Klein-Ravi と Nutov のスパイダー分解法を、未交差族への新しい集合被覆還元を用いて k-連結設定に一般化できるか？
• RQ3 ハロ集合分解技術を、k-DST 問題における非未交差族に対しても適応可能か？
• RQ4 k ≥ 3 の領域において、提案されたアルゴリズムは、従来の木ラウンドや埋め込みに基づく手法よりも優れた近似比を達成できるか？
• RQ5 同じコア分解と還元戦略を用いて、ハロ集合ラウンドフレームワークを k-DST を超える他の問題へ拡張可能か？

主な発見

• 本稿では、任意の k ≥ 1 に対して、準二部グラフ上での k-DST 問題に対して O(log q log k)-近似アルゴリズムを提示し、多項式時間で実行可能である。
• アルゴリズムは最適解の直径や構造に依存しない多対数近似比を達成しており、従来手法に比べ顕著な改善を示している。
• 各ハロ族 H(C) を被覆するコストは、整数線形計画法または最小コスト (ℓ+1)-フローを用いて正確に計算可能であり、多項式時間での実行可能性が保証されている。
• 未交差族の被覆問題から集合被覆問題への還元は非自明であり、従属ラウンドを伴う確率的ラウンドの適用を可能にする。
• k = O(1) のとき、準二部グラフ上の k-DST 問題と集合被覆問題との間に構造的同値性が確立され、この領域では k-DST 問題が集合被覆問題と同等の難易度であることを示唆する。
• 本アルゴリズムは、木埋め込みや木サポートを持つ線形計画法に依存せず、[GL17] や [CGL15] などの先行研究とは異なったアプローチをとる。