[論文レビュー] Prize-collecting Network Design on Planar Graphs

MohammadHossein Bateni, MohammadTaghi Hajiaghayi+1 more|arXiv (Cornell University)|Jun 22, 2010

Complexity and Algorithms in Graphs参考文献 43被引用数 8

ひとこと要約

本稿では、平面的および有界種数のグラフ上の報酬回収ネットワーク設計問題（例：報酬回収スティーナー木（PCST）、報酬回収TSP（PCTSP）、報酬回収スティーナー森林（PCSF））を、有界幅の木幅を持つグラフ上の同等問題に変換する還元フレームワークを提示する。主な結果は、有界幅の木幅における任意の $\alpha$-近似解法に対して、$(\alpha + \epsilon)$-近似解法が得られることであり、これにより、平面的グラフ上におけるPCST、PCTSP、PCSFに対する初めてのPTASが得られるとともに、系列並列グラフ上におけるPCSFがAPX-hardであることを証明し、報酬回収型と非報酬回収型の変種間に根本的な難易度の差が存在することを明らかにする。

ABSTRACT

In this paper, we reduce Prize-Collecting Steiner TSP (PCTSP), Prize-Collecting Stroll (PCS), Prize-Collecting Steiner Tree (PCST), Prize-Collecting Steiner Forest (PCSF) and more generally Submodular Prize-Collecting Steiner Forest (SPCSF) on planar graphs (and more generally bounded-genus graphs) to the same problems on graphs of bounded treewidth. More precisely, we show any $α$-approximation algorithm for these problems on graphs of bounded treewidth gives an $(α+ ε)$-approximation algorithm for these problems on planar graphs (and more generally bounded-genus graphs), for any constant $ε> 0$. Since PCS, PCTSP, and PCST can be solved exactly on graphs of bounded treewidth using dynamic programming, we obtain PTASs for these problems on planar graphs and bounded-genus graphs. In contrast, we show PCSF is APX-hard to approximate on series-parallel graphs, which are planar graphs of treewidth at most 2. This result is interesting on its own because it gives the first provable hardness separation between prize-collecting and non-prize-collecting (regular) versions of the problems: regular Steiner Forest is known to be polynomially solvable on series-parallel graphs and admits a PTAS on graphs of bounded treewidth. An analogous hardness result can be shown for Euclidian PCSF. This ends the common belief that prize-collecting variants should not add any new hardness to the problems.

研究の動機と目的

• 平面的および有界種数のグラフ上における報酬回収ネットワーク設計問題を近似する一般フレームワークの開発。
• 有界幅の木幅における近似アルゴリズムが、近似比に $\epsilon$ の損失のみを伴って平面的グラフへ拡張可能であることを確立する。
• 報酬回収型と非報酬回収型の変種の間で、近似可能性に差が生じるかどうかという長年の未解決問題を解消する。
• PCSFが系列並列グラフ上でAPX-hardであることを示し、通常のスティーナー森林が同様のグラフ上で多項式時間で解けるのと対照的に、報酬回収型がより困難であることを示す。

提案手法

• ランダム化分解技術を用いて、平面的グラフ上における報酬回収問題を、有界幅の木幅を持つグラフ上の同等問題に還元する。
• 木幅分解に基づく動的計画法の定式化で、状態はノード部分集合 $S \subseteq B_i$ と $S$ の分割 $\mathcal{P}$ で定義され、接続性と未到達端末の追跡が可能になる。
• ペナルティの処理は、頂点に対してペナルティを支払うか、既存の成分に接続するかの状態遷移により行い、重複計算を避けるための注意深い会計処理が施されている。
• PCTSPおよびPCSFの動的計画法フレームワークを、経路や閉路の始点・終点ペアを追跡するように状態表現を変更することで適応する。
• 木幅が高々 $k$ であるような木幅分解を用い、$k$ を定数とすることで多項式時間計算が保証される。
• 結合ノード操作では、2つの子ノードからの解を、互換性のある分割の最小化と、共通部分集合に属する未到達端末の重複ペナルティの差し引くことで統合する。

実験結果

リサーチクエスチョン

• RQ1 平面的グラフ上における報酬回収型ネットワーク設計問題は、有界幅の木幅還元を用いて、より効果的に近似可能か？
• RQ2 系列並列グラフ上におけるスティーナー森林の報酬回収型は、依然として tractable か、それとも新たな近似不能性を導入するか？
• RQ3 ネットワーク設計問題の報酬回収型と非報酬回収型の間には、計算的難易度に明確な分離が存在するか？
• RQ4 有界幅の木幅における動的計画法は、スティーナー森林問題における下位集合関数のペナルティを扱えるように拡張可能か？

主な発見

• 本稿では、平面的および有界種数のグラフ上における報酬回収ネットワーク設計問題を、有界幅の木幅を持つグラフへの一般還元を確立し、有界幅の木幅における任意の $\alpha$-近似解法に対して、$(\alpha + \epsilon)$-近似解法が得られることを示した。
• その結果、平面的グラフおよび有界種数のグラフ上におけるPCST、PCTSP、PCSFに対してPTASが得られ、長年の未解決問題が解決された。
• 本稿では、系列並列グラフ上におけるPCSFがAPX-hardであることを証明した。系列並列グラフは木幅が2以下の平面的グラフであるため、非報酬回収型とは根本的に異なる難易度の分離を示している。
• この結果により、報酬回収型が非報酬回収型よりも計算的に難しいという一般的な誤解を覆し、報酬回収型が非報酬回収型の対応物よりも厳密に難しい場合があることを示した。
• 木幅分解に基づく動的計画法は、ペナルティと接続性制約を正しく処理でき、計算時間は $n$ および $2^k k^k$ に対して多項式時間で実現される。