[論文レビュー] A polynomial-time approximation algorithm for all-terminal network reliability

Heng Guo, Mark Jerrum|Edinburgh Research Explorer|Sep 25, 2017

Reliability and Maintenance Optimization被引用数 4

ひとこと要約

本稿では、双方向グラフにおけるクラスターポッピングアルゴリズムの新しい解析を用いて、すべての端子間ネットワーク信頼性問題に対する最初の完全多項式時間確率的近似スキーム（FPRAS）を提示する。ゴロデズキーとパックの予想を確認することで、アルゴリズムの期待実行時間が多項式であることが示され、ランダムな辺障害後にネットワークが接続されたまま保たれる確率の効率的近似が可能になる。

ABSTRACT

We give a fully polynomial-time randomized approximation scheme (FPRAS) for the all-terminal network reliability problem, which is to determine the probability that, in a undirected graph, assuming each edge fails independently, the remaining graph is still connected. Our main contribution is to confirm a conjecture by Gorodezky and Pak (Random Struct. Algorithms, 2014), that the expected running time of the "cluster-popping" algorithm in bi-directed graphs is bounded by a polynomial in the size of the input.

研究の動機と目的

• すべての端子間ネットワーク信頼性問題に対する効率的な近似アルゴリズムの開発。これは#P困難である。
• 近似数え上げにおける長年の未解決問題を解決し、ネットワーク信頼性のFPRASを提供すること。
• ゴロデズキーとパックが提起した予想、すなわちクラスターポッピングアルゴリズムが双方向グラフ上で多項式の期待実行時間で動作することの確認。
• ネットワーク信頼性と双方向グラフにおける到達可能性との間の関係を確立し、サンプリングに基づく近似に応用可能にする。

提案手法

• 著者らは、重みに比例する確率で根に接続された部分グラフをサンプリングする目的で、クラスターポッピングアルゴリズムを用いる。
• 部分的拒否サンプリングフレームワークを用いてクラスターポッピングプロセスを分析し、期待実行時間を上限付ける。
• この手法は、部分グラフの個数の比 $ N_{t-1}/N_t $ の分析に依存しており、これが単調に増加し、$[1/m, m]$ の範囲に収束することを示す。
• 連続するサイズクラスにおける観測された部分グラフの比を用いて、$ N_t $（サイズ $ t $ の連結部分グラフの個数）の推定値を求める反復推定器を構築する。
• 問題を縮約するために、収縮とサンプリングの繰り返しを用い、比 $ r_t = (1-p)/p $（エッジ重み比）の推定に帰着させる。
• 再帰的推定手順を適用して、連結部分グラフ総数を計算し、信頼性確率のFPRASを構築する。

実験結果

リサーチクエスチョン

• RQ1 ゴロデズキーとパックが提起した予想、すなわちクラスターポッピングアルゴリズムが双方向グラフ上で多項式の期待実行時間で動作することを示せるか？
• RQ2 すべての端子間ネットワーク信頼性問題に対する完全多項式時間確率的近似スキーム（FPRAS）が存在するか？
• RQ3 双方向グラフにおけるすべての端子間信頼性と到達可能性の同値性を活用して、効率的な近似アルゴリズムを設計できるか？
• RQ4 線 $ x=1, y>1 $ におけるトゥッテ多項式の近似の計算複雑度は何か？そして、効率的に解けるか？

主な発見

• クラスターポッピングアルゴリズムは双方向グラフ上で多項式の期待実行時間で動作し、ゴロデズキーとパックの予想が確認された。
• すべての端子間ネットワーク信頼性問題に対するFPRASが構築され、完全多項式時間近似スキームが得られた。
• サンプリングアルゴリズムの期待実行時間は、入力サイズの多項式で上限付けられており、効率的な近似が可能である。
• 反復的比推定により、各サイズの連結部分グラフの個数が正確に推定された。
• サイズ $ t $ の部分グラフを観測する確率に、$ 1/m $ の定数下限が保証されており、効率的なサンプリングが可能である。
• このアプローチは平面グラフへも拡張可能であり、線 $ x>1, y=1 $ におけるトゥッテ多項式の効率的近似が可能になった。