[論文レビュー] Prize-Collecting Steiner Tree and Forest in Planar Graphs

Chandra Chekuri, Alina Ene+1 more|arXiv (Cornell University)|Jun 22, 2010

Advanced Graph Theory Research参考文献 23被引用数 8

ひとこと要約

本稿では、平面グラフにおける報酬収集型Steiner木および森林問題を、有界な幅のグラフにおける同じ問題へ、近似比を保つ多項式時間還元を提示する。この還元を、有界幅グラフにおける正確な動的計画法アルゴリズムと組み合わせることで、報酬収集型Steiner木問題に対する最初の多項式時間近似スキーム（PTAS）を確立する。これは、標準的Steiner木問題に対する既存の結果を一般化するものである。

ABSTRACT

We obtain polynomial-time approximation-preserving reductions (up to a factor of 1 + ε) from the prize-collecting Steiner tree and prize-collecting Steiner forest problems in planar graphs to the corresponding problems in graphs of bounded treewidth. We also give an exact algorithm for the prize-collecting Steiner tree problem that runs in polynomial time for graphs of bounded treewidth. This, combined with our reductions, yields a PTAS for the prize-collecting Steiner tree problem in planar graphs and generalizes the PTAS of Borradaile, Klein and Mathieu for the Steiner tree problem in planar graphs. Our results build upon the ideas of Borradaile, Klein and Mathieu and the work of Bateni, Hajiaghayi and Marx on a PTAS for the Steiner forest problem in planar graphs. Our main technical result is on the properties of primal-dual algorithms for Steiner tree and forest problems in general graphs when they are run with scaled up penalties.

研究の動機と目的

• 平面グラフにおける報酬収集型Steiner木問題のPTASの開発。
• この手法を平面グラフにおける報酬収集型Steiner森林問題へ拡張すること。
• 平面グラフのインスタンスから有界幅グラフへの近似を保つ還元を確立すること。
• 有界幅グラフにおける報酬収集型Steiner木問題の正確な動的計画法アルゴリズムの設計。
• 結果を有界な genus を持つグラフや関連する報酬収集型ネットワーク設計問題へ一般化すること。

提案手法

• 報酬収集型Steiner木および森林問題を、近似比が $1+\varepsilon$ の要因内で保たれるように、平面グラフから有界幅グラフへの還元を提案する。
• 有界幅グラフの木分解に基づく動的計画法を用い、各バッグで部分グラフと成分分割を追跡する。
• 導入ノードおよび忘れノードの状態遷移を、頂点の含む・含まない、辺の選択、成分の統合を考慮した再帰的漸化式で定義する。
• 還元プロセスの分析と誘導に、スケーリングされたペナルティをプライマル・デュアルアルゴリズムで用いる。
• 平面グラフの構造と木分解の性質を活用し、還元が近似を保つことを保証する。
• 木分解における帰納法を用いて、動的計画法の漸化式の正しさを証明し、連結性とペナルティの一貫性を維持する。

実験結果

リサーチクエスチョン

• RQ1 平面グラフにおける報酬収集型Steiner木問題は、任意の $(1+\varepsilon)$-要因内で多項式時間内に近似可能か？
• RQ2 平面グラフにおける報酬収集型Steiner木問題から、有界幅グラフへの近似を保つ還元は存在するか？
• RQ3 有界幅グラフにおける報酬収集型Steiner木問題の正確なアルゴリズムは設計可能か？
• RQ4 この還元技術は、平面グラフにおける報酬収集型Steiner森林問題へ拡張可能か？
• RQ5 このアプローチは、有界な genus を持つグラフやその他の関連する報酬収集型ネットワーク設計問題へ一般化可能か？

主な発見

• 本稿では、有界幅グラフへの還元を用いることで、平面グラフにおける報酬収集型Steiner木問題に対するPTASを確立した。
• 幅が $k$ 以下のグラフにおける報酬収集型Steiner木問題の正確な動的計画法アルゴリズムは、$O(b_k^3 \cdot s_k \cdot |V|)$ 時間で実行可能であり、ここで $b_k$ は $k$ 番目のベル数、$s_k$ は $k$ 頂点上の部分グラフの数である。
• 還元は近似比を $1+\varepsilon$ の要因内で保つため、有界幅グラフで $\rho$-近似が存在する場合、平面グラフでも $\rho(1+\varepsilon)$-近似が可能となる。
• 同じ還元フレームワークは報酬収集型Steiner森林問題にも適用可能であり、有界幅グラフで同様の比が存在する場合、平面グラフでも $\rho(1+\varepsilon)$-近似が得られる。
• 結果は有界な genus を持つグラフへも拡張可能であり、平面グラフを超えた広範な適用可能性を示唆する。
• 本研究は、Borradaile, Klein, および Mathieu が提案した標準的Steiner木問題のPTASを、報酬収集型に一般化するものである。