[論文レビュー] Graphic Realizations of Joint-Degree Matrices

Georgios Amanatidis, Bradley Green+1 more|arXiv (Cornell University)|Sep 23, 2015

Complex Network Analysis Techniques参考文献 26被引用数 15

ひとこと要約

本稿では、頂点の次数とクラス間の正確な辺数が指定された、連携次数行列グラフおよび接続グラフ実現問題を導入する。次数とクラス間の辺数が与えられた状態で、実現可能性の判定および解の構成に関して多項式時間のアルゴリズムを提示する。接続実現のための新規な再帰的手法と、実現の均一サンプリングに用いるマルコフ連鎖を用い、指定された次数クラス間接続性を持つ複雑ネットワークの厳密なフレームワークを提供する。

ABSTRACT

In this paper we introduce extensions and modifications of the classical degree sequence graphic realization problem studied by Erdős-Gallai and Havel-Hakimi, as well as of the corresponding connected graphic realization version. We define the joint-degree matrix graphic (resp. connected graphic) realization problem, where in addition to the degree sequence, the exact number of desired edges between vertices of different degree classes is also specified. We give necessary and sufficient conditions, and polynomial time decision and construction algorithms for the graphic and connected graphic realization problems. These problems arise naturally in the current topic of graph modeling for complex networks. From the technical point of view, the joint-degree matrix realization algorithm is straightforward. However, the connected joint-degree matrix realization algorithm involves a novel recursive search of suitable local graph modifications. Also, we outline directions for further work of both theoretical and practical interest. In particular, we give a Markov chain which converges to the uniform distribution over all realizations. We show that the underline state space is connected, and we leave the question of the mixing rate open.

研究の動機と目的

• 頂点の次数とクラス間の辺数が指定された『連携次数行列グラフ実現問題』を形式化し、その解法を提示すること。
• この問題を接続グラフ実現問題へ拡張し、指定されたクラス間辺制約を尊重しつつ、結果のグラフが連結であることを保証すること。
• これらの問題に対する効率的な決定および構成アルゴリズムを開発すること。頂点数に関して多項式時間の計算量を達成すること。
• マルコフ連鎖を用いた実現の均一サンプリングを検討し、状態空間が連結であることを確立したが、混合速度は未解決のまま残っている。
• 未解決の問題として、マッチングまたはフロー問題への還元、重み付きおよび一般化された部分集合ベースの辺制約への拡張を特定する。

提案手法

• 頂点クラス $V_i$ と $V_j$ 間の辺数を符号化するための連携次数行列 $D = (d_{ij})$ を導入する。$i = j$ の場合、クラス内辺を含む。
• 次数およびクラス間辺制約に基づく構成的アプローチを用いて、グラフ実現問題の多項式時間アルゴリズムを構築する。
• 接続実現問題に対しては、次数および辺数制約を維持しながら連結性を保証するため、局所的グラフ変更（スイッチ）の再帰的探索を採用する。
• 次数およびクラス間辺数を保存する合法なエッジスイッチ（スイッチ）を用いて、1つの実現を別の実現に変換する。
• これらの合法スイッチを用いたマルコフ連鎖を実現の空間上で提案し、基礎となる状態空間が連結であることを証明する。
• マッチングまたはフロー問題への還元の可能性を示唆するが、構成アルゴリズムにおける交互列の性質が、このような還元を複雑にする。

実験結果

リサーチクエスチョン

• RQ1 頂点の次数とクラス間の辺数が与えられた状態で、単純グラフを構成可能か？
• RQ2 指定されたクラス間辺数を保ったまま、その実現が連結であることを保証することは可能か？
• RQ3 合法なスイッチを用いたマルコフ連鎖により、すべての有効な実現の均一分布を効率的にサンプリング可能か？
• RQ4 提案されたマルコフ連鎖は高速に混合するか、それとも混合時間は未解決のままか？
• RQ5 連携次数行列実現問題は、マッチングやフローのような既知の組合せ最適化問題に還元可能か？

主な発見

• 連携次数行列グラフ実現問題は、実現可能性の必要十分条件を有し、その判定および構成のための多項式時間アルゴリズムが提供されている。
• 合法なエッジスイッチによる局所的変更の再帰的探索を用いた、接続連携次数行列実現問題の多項式時間アルゴリズムが開発された。
• 提案されたマルコフ連鎖における実現の状態空間は連結であるため、原理的には均一サンプリングが可能であるが、高速混合は未証明のまま。
• 接続実現のためのアルゴリズムは、グラフ変換中に次数およびクラス間辺制約を維持する新規な再帰的探索戦略に依存している。
• 本稿では、古典的なハーヴェル＝ハキミおよびエルデシュ＝ガライの条件が、新しいフレームワークによって一般化されていることが示された。このフレームワークは、クラス間辺数を明示的に組み込んでいる。
• 本研究は、次数クラス間接続性を精密に制御できる複雑ネットワークのモデリングの新たな道筋を切り開き、ネットワークトポロジー生成および解析への応用が期待される。