[論文レビュー] An O(m) Algorithm for Cores Decomposition of Networks

Vladimir Batagelj, Matjaž Zaveršnik|arXiv (Cornell University)|Oct 25, 2003

Data Visualization and Analytics参考文献 4被引用数 621

ひとこと要約

この論文は、m を辺の数として、ネットワークのkコア分解をO(m)で計算するアルゴリズムを提示する。次数に基づくバケツソートと反復的な頂点削除を活用することで、各頂点のコア番号を効率的に特定し、線形時間でネットワークの結束性と階層的構造を迅速に分析することが可能になる。

ABSTRACT

The structure of large networks can be revealed by partitioning them to smaller parts, which are easier to handle. One of such decompositions is based on $k$--cores, proposed in 1983 by Seidman. In the paper an efficient, $O(m)$, $m$ is the number of lines, algorithm for determining the cores decomposition of a given network is presented.

研究の動機と目的

• 大規模ネットワークにおけるkコア分解を計算する高効率なアルゴリズムの開発を目的とする。
• 関連するネットワークの結束性概念に関して、二次的またはNP困難である既存手法の計算非効率性を是正することを目的とする。
• 現実世界のネットワークにおける結束した部分群を特定するための実用的でスケーラブルなソリューションを提供することを目的とする。
• コア番号を構造的指標として活用することで、ネットワーク構造の高速分析を可能とすることを目的とする。
• 基盤的で効率的なアルゴリズムを提供することで、ネットワーク解析ツールの開発を支援することを目的とする。

提案手法

• 頂点の次数に基づくバケツソートを用いて、頂点を次数値ごとに整理する。
• 頂点を次数の小さい順に処理し、コア番号を更新するとともに、隣接頂点の次数を調整する。
• 各頂点に対して、次数の高い隣接頂点の次数を減らし、それらを次数バケツ内で再配置することで順序を維持する。
• 頂点のコア番号は初期値としてその初期次数として設定され、隣接頂点の反復処理を通じて更新される。
• 頂点の位置（次数）ごとの配置を管理する3つの配列を維持する：次数ごとの頂点位置を示す配列（vert）、次数から位置へのマッピングを示す配列（pos）、バケツの開始位置を示す配列（bin）。
• 次数順リストにおける動的再配置の使用により、次数の高い頂点はその隣接頂点が処理された後にのみ処理されることが保証され、正しさが維持される。

実験結果

リサーチクエスチョン

• RQ1 大規模ネットワークに対して、kコア分解を線形時間O(m)で計算できるか？
• RQ2 高価な再計算を避けながら、各頂点のコア番号を効率的に特定する方法は何か？
• RQ3 次数に基づく順序付けとバケツソートは、コア分解の性能にどのような影響を与えるか？
• RQ4 入次数、出次数、またはそれらの和を用いた異なる次数定義を持つ有向グラフに対しても、このアルゴリズムを適応可能か？
• RQ5 実世界のスパarsなネットワーク（数百万本の辺を有する）において、このアルゴリズムは実際どれほど効果的か？

主な発見

• アルゴリズムはO(m)時間で実行され、大規模ネットワーク解析において最適である。
• Pajekソフトウェアツールへの実装では、52,652頂点、89,038辺からなるネットワークのコア分解がたった0.01秒で計算された。
• 25コアは26個の孤立頂点（a’s, b’s, ..., z’s）から構成され、完全部分グラフを形成しており、各頂点はコア内に少なくとも25個の隣接頂点を有する。
• 16コアは34個の頂点（例：an, on, ban, don）を追加し、2つの17クリークと追加の辺を有する部分グラフを形成しており、構造的結束性を示している。
• 15コアには16個の新しい頂点（例：ow, bow, cow）が含まれ、共通する最初の文字を持つことからクリークを形成しており、コア番号が言語的パターンを明らかにする役割を果たしていることを強調している。
• コア分解によりネストされた階層構造が明らかになる：高kコアは低kコアの部分集合であり、コア番号が0の頂点は孤立している。