[論文レビュー] Robustness of Bidirectional Interdependent Networks: Analysis and Design

Marzieh Parandehgheibi, Eytan Modiano|arXiv (Cornell University)|May 3, 2016

Infrastructure Resilience and Vulnerability Analysis参考文献 22被引用数 3

ひとこと要約

本稿は、既知のトポロジーを持つ双方向相互依存ネットワークの耐障害性を分析する決定的モデルを提案し、依存ネットワークで $D$ 個の障害を引き起こすために必要な最小ノード削除数を定量化する指標 $\mathcal{MR}(D)$ を導入する。$\mathcal{MR}(D)$ が NP 完全かつ近似不能であることを証明し、評価のためのヒューリスティックアルゴリズムを提案。双方向相互依存性が耐障害性を向上させ、ネットワーク設計を拡張グラフの性質と結びつける。

ABSTRACT

We study the robustness of interdependent networks where two networks are said to be interdependent if the operation of one network depends on the operation of the other one, and vice versa. In this paper, we propose a model for analyzing bidirectional interdependent networks with known topology. We define the metric MR(D) to be the minimum number of nodes that should be removed from one network to cause the failure of D nodes in the other network due to cascading failures. We prove that evaluating this metric is not only NP-complete, but also inapproximable. Next, we propose heuristics for evaluating this metric and compare their performances using simulation results. Finally, we introduce two closely related definitions for robust design of interdependent networks; propose algorithms for explicit design, and demonstrate the relation between robust interdependent networks and expander graphs.

研究の動機と目的

• 既知のトポロジーを持つ相互依存ネットワークを分析する決定的フレームワークを構築し、漸近的ランダムグラフモデルに依存しないようにすること。
• $\mathcal{MR}(D)$ を定義・評価し、これは片方のネットワークでノードを最小限に削除することで、もう一方のネットワークに $D$ 個の障害を引き起こす、連鎖的故障の影響を表す。
• $\mathcal{MR}(D)$ の計算が NP 完全かつ近似不能であることを証明し、根本的な計算の困難性を確立すること。
• グリーディ、確率的ラウンディング、シミュレーテッドアニーリングのヒューリスティックアルゴリズムを提案し、$\mathcal{MR}(D)$ の近似を実現し、シミュレーションによる性能評価を実施すること。
• レキシコグラフィックおよび相対的の2つの耐障害設計定義を導入し、それらが明示的なネットワーク構築に拡張グラフの性質と関連することを示すこと。

提案手法

• 各ノードが他方のネットワークの対応するノードに依存する双方向相互依存ネットワークの決定的モデルを提案。故障の伝播は接続性および相互依存リンクによって制御される。
• $\mathcal{MR}(D)$ を、ネットワーク $A$ からノードを最小限に削除することで、ネットワーク $B$ に $D$ 個のノードが故障するようにする最小ノード数として定義。
• 集合被覆問題への還元を用いて、$\mathcal{MR}(D)$ が NP 完全かつ近似不能であることを証明。親ノードと子ノードのマッピングを用いて故障伝播をシミュレートする構成を採用。
• グリーディ、確率的ラウンディング、シミュレーテッドアニーリングのヒューリスティックを用いて $\mathcal{MR}(D)$ を近似し、シミュレーションでそれらの性能を比較。
• スターモデルを用いた双方向相互依存ネットワークを構築し、親子ノードのマッピングを用いて連鎖的故障をシミュレート。特定の構成下では、単方向と双方向の故障伝播が同等であることを証明。
• 双方向相互依存性が単方向よりも耐障害性が高いことを示し、故障伝播の回復メカニズムがより強固であることを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 依存相互依存ネットワークで $D$ 個の障害を引き起こすために必要な最小ノード削除数を特定する際の計算複雑性は何か？
• RQ2 既知のトポロジーを持つネットワークにおいて、$\mathcal{MR}(D)$ のような耐障害指標を実用的に効果的に近似する方法は何か？
• RQ3 双方向相互依存性は、単方向相互依存性と比較して、どの程度ネットワークの耐障害性を向上させるか？
• RQ4 連鎖的故障に対して耐性を持つ相互依存ネットワークを、どのように明示的に設計できるか？
• RQ5 拡張グラフの特性のような構造的性質——例えば、高い拡張性——は、耐障害性の高い相互依存ネットワーク設計の背後にある根拠となるか？

主な発見

• $\mathcal{MR}(D)$ は、依存ネットワークに $D$ 個の障害を引き起こすために必要な最小ノード削除数を表すが、これは NP 完全かつ近似不能であることが証明された。
• グリーディ選択、確率的ラウンディング、シミュレーテッドアニーリングに基づくヒューリスティックは、$\mathcal{MR}(D)$ を効果的に近似でき、シミュレーションにおいてシミュレーテッドアニーリングが優れた性能を示した。
• 双方向相互依存ネットワークは、単方向ネットワークよりも本質的に耐障害性が高く、故障伝播と回復メカニズムの耐性がより強固である。
• 耐障害性の高い相互依存ネットワークの最適設計は、拡張グラフの性質と関連しており、相互依存リンクの高い拡張性がシステムの耐性を高めることを示唆している。
• 構成的証明により、木構造をとる双方向ネットワークにおける故障伝播は、一般に単方向スターモデルに還元できないことが示された。これは、簡略化されたモデルへの一般化に限界があることを示している。