[論文レビュー] Change-Sensitive Algorithms for Maintaining Maximal Cliques in a Dynamic Graph.

Apurba Das, Michael Svendsen+1 more|arXiv (Cornell University)|Jan 23, 2016

Algorithms and Data Compression参考文献 22被引用数 5

ひとこと要約

本稿では、辺の挿入または削除を伴う動的グラフにおいて、すべての最大クリークを効率的に維持する変化感受性アルゴリズムを導入する。クリーク集合の変化を制限し、その変化に比例して実行時間がスケーリングされるようなアルゴリズムを設計することで、著者たちはほぼ最適なパフォーマンスを達成した。実験的結果により実用的な効率性が裏付けられている。

ABSTRACT

We consider the maintenance of the set of all maximal cliques in a dynamic graph that is changing through the addition or deletion of edges. We present nearly tight bounds on the magnitude of change in the set of maximal cliques, as well as the first change-sensitive algorithms for clique maintenance, whose runtime is proportional to the magnitude of the change in the set of maximal cliques. We present experimental results showing that these algorithms are efficient in practice.

研究の動機と目的

• エッジの追加または削除によって変化するグラフにおける最大クリークを効率的に維持する課題に対処すること。
• 単一のエッジ更新によって生じる最大クリーク集合の最大変化量を定量化すること。
• 実行時間がグラフのサイズではなく、実際に変化するクリーク集合の変化量に依存するようなアルゴリズムを設計すること。
• これらの変化感受性アプローチの効率性について、理論的限界と実証的証拠を提供すること。

提案手法

• 著者たちは、1回のエッジ更新あたりに追加または削除される最大クリーク数を分析し、ほぼタイトな理論的限界を確立した。
• 影響を受けるクリーク構造の部分のみを処理することで、動的に最大クリーク集合を更新するアルゴリズムを設計した。
• 実行時間が各エッジ更新後の変化するクリーク数に比例する、変化感受性アプローチを採用した。
• 更新時の重複計算を最小限に抑えるために、グラフ分解とインクリメンタルクリーク列挙技術を活用した。
• 各更新後に出力に存在するすべてのクリークが最大クリークであり、かつそれらに限ることを保証する不変性を維持することで、正しさを保証した。
• 実際のグラフと合成グラフを用いた実験的評価により、クリーク集合の変化の大きさに応じたパフォーマンスを測定した。

実験結果

リサーチクエスチョン

• RQ1 動的グラフにおいて、単一のエッジ挿入または削除によって、最大クリーク集合に最大で何個のクリークが追加または削除されるか？
• RQ2 実行時間がグラフのサイズではなく、実際に変化するクリーク集合の変化量に依存するようなアルゴリズムを設計できるか？
• RQ3 提案された変化感受性アルゴリズムは、既存の静的またはより非適応的な手法と比べて実際にはどのように性能を発揮するか？
• RQ4 これらのアルゴリズムは、実世界の動的グラフおよび合成動的グラフにおいて、実証的にどの程度のパフォーマンスを示すか？

主な発見

• 単一のエッジ更新による最大クリーク集合の最大変化は、ほぼタイトな理論的限界で制限されており、効率的なアルゴリズムの基盤を提供している。
• 提案されたアルゴリズムは、実際に変化するクリーク数に比例した実行時間で動作し、スパarsなグラフや変化が小さいグラフにおいて特に効率的である。
• 実験的結果により、アルゴリズムの実用的効率性が裏付けられており、パフォーマンスがクリーク集合の変化の大きさに密接に追従していることが示された。
• 特にグラフの変更が小さく局所的な場合に、単純な再計算戦略よりも優れた性能を発揮した。