[論文レビュー] Robustness of Complex Networks with Implications for Consensus and Contagion

Haotian Zhang, Elaheh Fata+1 more|arXiv (Cornell University)|Mar 28, 2012

Complex Network Analysis Techniques参考文献 34被引用数 25

ひとこと要約

本稿は、ノードの故障や敵対的行動に対しても機能を維持できる能力として定義される複雑ネットワークの耐障害性について、Erdős-Rényi、幾何的ランダム、および優先的付加の3つの一般的なランダムグラフモデルにおいて調査する。本稿では、これらのモデルにおいて耐障害性と接続性が一致することを示し、情報拡散が効果的であることを示唆している一方で、任意のグラフにおける耐障害性の特定がcoNP完全であることを証明している。

ABSTRACT

We study a graph-theoretic property known as robustness, which plays a key role in certain classes of dynamics on networks (such as resilient consensus, contagion and bootstrap percolation). This property is stronger than other graph properties such as connectivity and minimum degree in that one can construct graphs with high connectivity and minimum degree but low robustness. However, we show that the notions of connectivity and robustness coincide on common random graph models for complex networks (Erdos-Renyi, geometric random, and preferential attachment graphs). More specifically, the properties share the same threshold function in the Erdos-Renyi model, and have the same values in one-dimensional geometric graphs and preferential attachment networks. This indicates that a variety of purely local diffusion dynamics will be effective at spreading information in such networks. Although graphs generated according to the above constructions are inherently robust, we also show that it is coNP-complete to determine whether any given graph is robust to a specified extent.

研究の動機と目的

• ランダムな複雑ネットワークにおける接続性や最小次数などの構造的性質とネットワーク耐障害性の関係を分析すること。
• Erdős-Rényi、幾何的ランダム、および優先的付加ネットワークなどの一般的なランダムグラフモデルにおいて、耐障害性と接続性が同等であるかどうかを特定すること。
• 与えられたグラフが所定の程度まで耐障害的であるかどうかを検証する問題の計算複雑度を確立すること。
• 局所的な拡散ダイナミクス（例：合意形成、感染拡大）が、そのネットワークの本質的耐障害性のおかげで、ランダムネットワークにおいて効果的であることを示すこと。

提案手法

• 耐障害性のグラフ理論的定義を用いる。ここで、ネットワークがr-耐障害的であるとは、ノードの任意の分割に対して、各部分集合に外部の隣接ノードを少なくともr個持つノードが少なくともr個存在することを意味する。
• Erdős-Rényiモデルにおいてしきい値分析を適用し、耐障害性が接続性および最小次数と同じしきい値関数を持つことを示す。
• 1次元の幾何的ランダムグラフと優先的付加モデルを分析し、これらの設定において耐障害性と接続性が同等であることを証明する。
• 3-SAT問題からの還元を用いて、一般のグラフにおけるr-耐障害性の特定がr ≥ 2に対してcoNP完全であることを証明する。
• 変数および項のガジェットを構築し、論理式をグラフ構造に埋め込む。これにより、論理的充足可能性とグラフの耐障害性を結びつける。
• メンジャーの定理およびノードに交差しない経路の議論を用いて、接続性と耐障害性の関係を形式化する。

実験結果

リサーチクエスチョン

• RQ1 標準的なランダムグラフモデルにおいて、複雑ネットワークの耐障害性は接続性と一致するか？
• RQ2 Erdős-Rényiランダムグラフにおける耐障害性のしきい値行動は何か？ また、接続性および最小次数と比較するとどうなるか？
• RQ3 1次元の幾何的ランダムグラフおよび優先的付加ネットワークにおいて、耐障害性と接続性は同等か？
• RQ4 与えられたネットワークが指定されたr ≥ 2に対してr-耐障害的であるかどうかを検証することは計算的に可能か？
• RQ5 局所的情報を用いてネットワークの耐障害性を効率的に特定できるか、それとも問題自体が本質的に困難であるか？

主な発見

• Erdős-Rényiランダムグラフにおいて、耐障害性、接続性、最小次数は同じしきい値関数を持つ。これは、耐障害性が接続性と同様の臨界的な辺確率で出現することを示唆している。
• 1次元の幾何的ランダムグラフにおいて、耐障害性と接続性は同等である。これは、接続性が同様の条件下で耐障害性を意味することを意味する。
• 優先的付加ネットワークにおいても、耐障害性と接続性は同等である。これは、スケールフリーなネットワークが本質的に耐障害的なダイナミクスを支持していることを示唆している。
• 与えられたグラフがr ≥ 2に対してr-耐障害的であるかどうかを特定する問題はcoNP完全である。これは、P = NPでない限り、効率的なアルゴリズムが存在しないことを示している。
• 一般のグラフにおける耐障害性の検証が困難である一方で、一般的なモデルによって生成されるランダムネットワークは本質的に耐障害的であり、情報の局所的拡散が効果的に行える。
• ランダムモデルにおける耐障害性と接続性の同等性は、合意形成や感染拡大などの単純な局所的ダイナミクスが、このようなネットワークにおいて効果的に広がることを示唆している。