[論文レビュー] An O(1)-Approximation for Minimum Spanning Tree Interdiction

Rico Zenklusen|arXiv (Cornell University)|Aug 6, 2015

Infrastructure Resilience and Vulnerability Analysis参考文献 29被引用数 4

ひとこと要約

本稿では、最小全域木（MST）干渉問題に対する最初のO(1)-近似アルゴリズムを提示し、長年の近似アルゴリズムにおける障壁を克服することで14-近似を達成した。この手法は、辺集合の階層的分解に基づく新規な動的計画法フレームワークを活用し、最適干渉のコストを制限するための重要な構造的補題を用いる。これにより、従来O(log m)-近似しか得られなかった分野において、定数倍の保証が可能になった。

ABSTRACT

Network interdiction problems are a natural way to study the sensitivity of a network optimization problem with respect to the removal of a limited set of edges or vertices. One of the oldest and best-studied interdiction problems is minimum spanning tree (MST) interdiction. Here, an undirected multigraph with nonnegative edge weights and positive interdiction costs on its edges is given, together with a positive budget B. The goal is to find a subset of edges R, whose total interdiction cost does not exceed B, such that removing R leads to a graph where the weight of an MST is as large as possible. Frederickson and Solis-Oba (SODA 1996) presented an O(log m)-approximation for MST interdiction, where m is the number of edges. Since then, no further progress has been made regarding approximations, and the question whether MST interdiction admits an O(1)-approximation remained open. We answer this question in the affirmative, by presenting a 14-approximation that overcomes two main hurdles that hindered further progress so far. Moreover, based on a well-known 2-approximation for the metric traveling salesman problem (TSP), we show that our O(1)-approximation for MST interdiction implies an O(1)-approximation for a natural interdiction version of metric TSP.

研究の動機と目的

• 1996年以降20年以上にわたりO(log m)-近似しか得られなかった最小全域木（MST）干渉問題の近似可能性における長年のギャップを埋めること。
• 組合せ最適化分野における未解決問題である、MST干渉問題に対する定数倍近似アルゴリズムの開発。
• MSTとTSPの重みの間の2-近似関係を活用することで、MST干渉問題に対するO(1)-近似結果を、メトリックTSP干渉問題へと拡張すること。
• 2つの主要な障壁、すなわち目的関数の非下位モジュラリティと、異なるコスト構造を持つ干渉パターンを効率的に探索する難しさを克服すること。

提案手法

• 干渉コストに基づいて辺をレベルに階層的に分割し、候補となる干渉集合の木構造的構造上で動的計画法を適用可能にする。
• 各レベルでコスト制限付きの妥当性チェックに従い、貪欲に辺集合を選択する効率的な削除パターンの構築。
• あるレベルでの辺集合の削除が、コストを有界に保ちつつ完全な解に拡張可能であることを保証する、重要な構造的補題の構築。
• 双対適合法と費用対効果分析を用いて近似比を制限し、アルゴリズムの解が最適解の14倍以内であることを示す。
• MST干渉問題からメトリックTSP干渉問題への変換を、TSPに対するMSTのwell-knownな2-近似性質を用いて行い、MSTの14-近似がTSPの28-近似を意味することを証明。
• アルゴリズムは、反復的に候補となる干渉パターンの集合を構築し、費用と目的値の妥当性と単調性を維持しながら、貪欲な選択ルールにより最良のものを選択する。

実験結果

リサーチクエスチョン

• RQ1 20年以上にわたりO(log m)-近似しか得られていなかった最小全域木干渉問題に対して、O(1)-近似が達成可能か？
• RQ2 目的関数が非下位モジュラリティであるにもかかわらず、MST干渉問題が定数倍近似可能であるための構造的性質は何か？
• RQ3 MST干渉問題に開発された近似フレームワークを、メトリックTSP干渉問題のような他の干渉問題へと拡張可能か？
• RQ4 MST干渉問題においてO(log m)-近似を超える進展を妨げてきた2つの主な障壁は何か。それらはどのように克服できるか？
• RQ5 MST干渉問題の近似を、MSTとTSPの間の既知の構造的関係を用いて、メトリックTSP干渉問題に対する定数倍近似に変換可能か？

主な発見

• 本稿では、最小全域木干渉問題に対する最初のO(1)-近似アルゴリズムを提示し、14-近似比を達成した。
• アルゴリズムは、目的関数の非下位モジュラリティと、コスト制約付き干渉パターンを効率的に探索する難しさという2つの主要な障壁を克服した。
• 干渉コストに基づく辺の階層的分解に根ざした新規な動的計画法フレームワークにより、コストを有界に保ちつつ高いMST重みを持つ実行可能干渉集合の構築が可能になった。
• 本手法は、近似可能な最適干渉パターンが、階層の定数個のレベルに制限して探索可能であることを示す構造的補題に依存している。
• MSTとTSPの重みの間の2-近似関係を活用することで、MST干渉問題に対する結果は、具体的には28-近似を達成するメトリックTSP干渉問題に対してもO(1)-近似を意味する。
• 本研究は、ネットワーク干渉分野における長年の未解決問題を解決し、最高の既知の近似比と定数倍近似の可能性とのギャップを埋めた。