[論文レビュー] Minimum Latency Submodular Cover

Sungjin Im, Viswanath Nagarajan+1 more|arXiv (Cornell University)|Oct 10, 2011

Complexity and Algorithms in Graphs被引用数 7

ひとこと要約

本稿は、部分集合被覆問題とグループSteiner木問題の一般化として、遅延コストを考慮したメトリックに基づく最小遅延部分被覆問題（MLSC）を導入し、$ O(\log \frac{1}{\epsilon} \cdot \log^{2+\delta}|V|) $ の多項式時間近似アルゴリズムを提示する。また、遅延被覆Steiner木問題（LCST）に対しては $ O(\log^2|V|) $ の近似アルゴリズムを、確率的拡張に対しては $ O(\log \frac{1}{\epsilon}) $ の近似アルゴリズムを提示し、これらはすべて部分被覆順序付けの貪欲法に対する洗練された解析に基づく。

ABSTRACT

We study the Minimum Latency Submodular Cover problem (MLSC), which consists of a metric $(V,d)$ with source $r\in V$ and $m$ monotone submodular functions $f_1, f_2, ..., f_m: 2^V ightarrow [0,1]$. The goal is to find a path originating at $r$ that minimizes the total cover time of all functions. This generalizes well-studied problems, such as Submodular Ranking [AzarG11] and Group Steiner Tree [GKR00]. We give a polynomial time $O(\log \frac{1}{\eps} \cdot \log^{2+δ} |V|)$-approximation algorithm for MLSC, where $ε>0$ is the smallest non-zero marginal increase of any $\{f_i\}_{i=1}^m$ and $δ>0$ is any constant. We also consider the Latency Covering Steiner Tree problem (LCST), which is the special case of \mlsc where the $f_i$s are multi-coverage functions. This is a common generalization of the Latency Group Steiner Tree [GuptaNR10a,ChakrabartyS11] and Generalized Min-sum Set Cover [AzarGY09, BansalGK10] problems. We obtain an $O(\log^2|V|)$-approximation algorithm for LCST. Finally we study a natural stochastic extension of the Submodular Ranking problem, and obtain an adaptive algorithm with an $O(\log 1/ \eps)$ approximation ratio, which is best possible. This result also generalizes some previously studied stochastic optimization problems, such as Stochastic Set Cover [GoemansV06] and Shared Filter Evaluation [MunagalaSW07, LiuPRY08].

研究の動機と目的

• 部分被覆順序付けとグループSteiner木問題を統合的かつメトリックに基づく問題に一般化すること。
• Web検索やスケジューリングにおけるデータローカリティやコンテキストスイッチングといった実用的課題を、メトリック距離を組み込むことで扱うこと。
• 最小非ゼロの限界増加量 $\epsilon$ に依存する性能保証を持つ、MLSCの多項式時間近似アルゴリズムの開発。
• 適応的スケジューリングを用いた確率的部分被覆順序付けの変種を考察し、タイトな近似比を導出すること。
• 一般化された最小和集合被覆、グループSteiner木、確率的最適化の技術を統合・拡張すること。

提案手法

• 部分被覆順序付けのメトリック拡張として、経路に基づく被覆時間最小化を目的とする最小遅延部分被覆問題（MLSC）を提案する。
• 時間区間の階層的分解を導入し、距離あたりの限界増加に基づく貪欲選択ルールを用いて経路を構築する。
• 性能が最小非ゼロ限界増加 $\epsilon$ に依存することを示すために、パラメータ $\alpha = 1 + \ln \frac{1}{\epsilon}$ を用いた新しい解析技術を適用する。
• 条件付き期待値と部分被覆性を用いて、アルゴリズムの期待進捗を最適解に対して下界づける。
• 双対適合と時間区間分割を用いて、アルゴリズムの性能を最適解の被覆速度と関連付ける。
• 要素の実現をモデル化し、期待コスト解析を用いた適応的スケジューリングを導入することで、確率的設定へのフレームワークの拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 一般メトリック上での最小遅延部分被覆問題に対して、性能保証付きの多項式時間近似アルゴリズムを設計できるか？
• RQ2 MLSCの特殊ケースとしてのLCST問題（複数被覆関数を伴う）は、多項式対数近似を満たすか？
• RQ3 確率的部分被覆順序付け問題に対して、タイトな近似比を達成できるか？また、$ O(\log \frac{1}{\epsilon}) $ は最適か？
• RQ4 部分被覆順序付けの技術は、どの程度メトリックおよび確率的設定に一般化可能か？
• RQ5 一般メトリック上での確率的MLSCに対して、多項式対数近似を達成できるか？

主な発見

• 本稿では、$\epsilon$ を最小非ゼロ限界増加量、$\delta > 0$ を任意の定数とするとき、MLSCに対して $ O(\log \frac{1}{\epsilon} \cdot \log^{2+\delta}|V|) $ の近似を達成した。
• 遅延被覆Steiner木問題（LCST）に対しては $ O(\log^2|V|) $ の近似アルゴリズムを導出し、これは遅延グループSteiner木問題および一般化された最小和集合被覆問題の両方を一般化する。
• 確率的部分被覆順序付け問題に対しては $ O(\log \frac{1}{\epsilon}) $ の近似を達成し、これがタイトであることが証明された。
• 解析により、MLSCの近似比を著しく改善することは、長年の未解決問題であるグループSteiner木問題の改善を意味することを示した。
• アルゴリズムの性能は、時間区間分解と双対適合を用いて分析され、部分被覆性と条件付き期待値を用いて主要な境界が導出された。
• 結果として、部分被覆順序付けの貪欲法が、強い理論的保証のもとでメトリックおよび確率的設定に効果的に拡張可能であることが示された。