[論文レビュー] Fault-Tolerant Shortest Paths - Beyond the Uniform Failure Model

David Adjiashvili|arXiv (Cornell University)|Jan 26, 2013

Risk and Portfolio Optimization参考文献 20被引用数 4

ひとこと要約

本稿では、『故障する』とされる特定のエッジ集合（『故障エッジ』と呼ばれる）に限って故障が発生するという制限を設けた、古典的なエッジ素性パス問題（Edge-Disjoint Paths problem）の一般化である、耐故障パス（Fault-Tolerant Path, FTP）問題を提案する。著者らは、FTPが有向無閉路グラフにおいてでさえNP困難であることを証明し、整数性ギャップが $k+1$ である分数緩和に基づく多項式時間 $k$-近似アルゴリズムを提示している。この整数性ギャップはタイトである。

ABSTRACT

The overwhelming majority of survivable (fault-tolerant) network design models assume a uniform scenario set. Such a scenario set assumes that every subset of the network resources (edges or vertices) of a given cardinality $k$ comprises a scenario. While this approach yields problems with clean combinatorial structure and good algorithms, it often fails to capture the true nature of the scenario set coming from applications. One natural refinement of the uniform model is obtained by partitioning the set of resources into faulty and secure resources. The scenario set contains every subset of at most $k$ faulty resources. This work studies the Fault-Tolerant Path (FTP) problem, the counterpart of the Shortest Path problem in this failure model. We present complexity results alongside exact and approximation algorithms for FTP. We emphasize the vast increase in the complexity of the problem with respect to its uniform analogue, the Edge-Disjoint Paths problem.

研究の動機と目的

• 特定のエッジのみが故障する可能性があるという現実のネットワークの耐障害性をモデル化し、古典的モデルが仮定する一様な故障仮定を越えること。
• FTPの計算複雑性を調査し、特に有向無閉路グラフなどの制限付きケースにおいてもNP困難であることを示すこと。
• 特に故障エッジ集合 $M \subset E$ のみが故障する場合に焦点を当て、FTPの正確なアルゴリズムと近似アルゴリズムを開発すること。
• FTPの分数緩和の整数性ギャップを分析し、$k+1$ のタイトな境界を確立すること。この結果をもとに $k$-近似アルゴリズムを導出すること。
• 故障耐性最小全域木問題などの他の組合せ最適化問題へとフレームワークを拡張すること。

提案手法

• FTPを、与えられた故障エッジ集合 $M$ から高々 $k$ 個のエッジを削除した後でも $s$-$t$ パスが保たれる最小コストのエッジ集合の探索問題として形式化する。
• 既知の困難な問題への帰着によりFTPのNP困難性を証明し、一様なEDPモデルよりも著しく困難であることを示す。
• エッジ容量を $[0,1]$ の範囲に設定し、すべての故障シナリオで少なくとも1単位の $s$-$t$ フローが確保されるよう制約を課す分数緩和（FRAC-FTP）を定義する。
• FTPの最適整数解と最適分數解との間の整数性ギャップが、正確に $k+1$ であることを確立する。
• エッジ $M$ に対して容量を $k$、それ以外に対しては $1$ に設定した最小コスト $(k+1)$-フロー問題を解くことで、$k$-近似アルゴリズムを構築する。
• ブリッジエッジに沿ってグラフを分解し、部分問題を再帰的に解く分割統治的手法を、系列並列グラフに対して適用する。

実験結果

リサーチクエスチョン

• RQ1 故障エッジ集合 $M$ のみが故障するというFTP問題は、多項式時間で解けるか？
• RQ2 FTPの近似可能性は何か？ 一定の近似比が達成可能か？
• RQ3 FTPの分數緩和の整数性ギャップは何か？ これにより近似アルゴリズムを導出可能か？
• RQ4 $k=1$ の場合に開発された技術を、一般の $k$ および有向無閉路グラフ・一般グラフへと拡張可能か？
• RQ5 故障耐性モデルは、EDP や Steiner Tree といった古典的モデルと比較して、複雑性および近似保証の点でどのように異なるか？

主な発見

• FTPは $k=1$ および有向無閉路グラフにおいてもNP困難であることが示され、一様EDPモデルと比較して著しく複雑性が高まっていることが示された。
• 分數緩和（FRAC-FTP）の整数性ギャップは正確に $k+1$ であり、この境界はタイトである。これは、このギャップに近づく無限個のインスタンス族が存在することによって実証された。
• エッジ $M$ に対して容量を $k$、それ以外に対しては $1$ に設定した最小コスト $(k+1)$-フロー問題を解くことで、FTPの $k$-近似アルゴリズムを構築した。
• 特殊ケースには、$k=1$、固定された $k$ に対する有向無閉路グラフ、および固定された $k$ に対する系列並列グラフにおいて、正確な多項式時間アルゴリズムが存在する。
• タイトな整数性ギャップの結果と、$M$ 内の任意の $k$ 個の故障に対して耐性を持つフローに基づく構成を組み合わせることで、$k$-近似アルゴリズムを導出した。
• 整数性ギャップおよび近似の結果は、故障耐性最小全域木問題など他の問題に対しても自然に拡張可能であり、その整数性ギャップは $k+3$ に達する。