[論文レビュー] A simple Havel-Hakimi type algorithm to realize graphical degree sequences of directed graphs

Péter L. Erdős, István Miklós+1 more|arXiv (Cornell University)|May 29, 2009

Digital Image Processing Techniques参考文献 4被引用数 13

ひとこと要約

本稿では、与えられた二重次数列（出次数および入次数）が単純な有向グラフとして実現可能かどうかを判定するための有向Havel–Hakimi型アルゴリズムを提示する。この手法は、無向グラフへのグリーディHavel–Hakimiアプローチを有向グラフに拡張し、禁止された出隣接集合の効率的チェックを可能にする重要な定理を証明している。これにより、MCMCサンプリングや実現の全列挙が可能になる。

ABSTRACT

One of the simplest ways to decide whether a given finite sequence of positive integers can arise as the degree sequence of a simple graph is the greedy algorithm of Havel and Hakimi. This note extends their approach to directed graphs. It also studies cases of some simple forbidden edge-sets. Finally, it proves a result which is useful to design an MCMC algorithm to find random realizations of prescribed directed degree sequences.

研究の動機と目的

• 無向グラフから有向グラフへのHavel–Hakimiアルゴリズムの拡張により、グラフィカルな二重次数列の認識を可能にする。
• 指定された出次数および入次数、および禁止された出隣接頂点の制約を含む有向グラフの存在問題を扱う。
• 固定次数列を持つランダム有向グラフをサンプリングするためのマルコフ連鎖モンテカルロ（MCMC）法の理論的基盤を提供する。
• 禁止された隣接頂点集合に対するグリーディなチェックを活用することで、与えられた二重次数列のすべての可能な実現の効率的生成を可能にする。

提案手法

• 出次数が最大の頂点を反復的に縮小し、それに最も高い入次数を持つ頂点に接続することで、次数列の整合性を保ちながら段階的に処理するグリーディアルゴリズムを提案する。
• 禁止された出隣接頂点が頂点リストの末尾に集約されるF正規順序の概念を導入し、体系的な縮小を可能にする。
• 頂点v_nの出隣接集合Aに従ってエッジを削除することで得られるA-縮約二重次数列を定義し、禁止集合Fからの制約を保持する。
• F[d⁺ₙ]-縮約次数列に対して修正されたHavel–Hakimi手順を適用し、禁止された隣接制約と整合するかをテストする。
• （暗黙的に）補題6を用いて、A-縮約次数列がグラフィカルであればF[d⁺ₙ]-縮約次数列に対しても同様にグラフィカルであることを正当化し、禁止された出隣接頂点集合に対するグリーディな判断プロセスを可能にする。
• 頂点順序と次数制約に基づく再帰的縮約戦略を用いて、禁止された隣接制約下での実現の存在を検証する。

実験結果

リサーチクエスチョン

• RQ1 有向二重次数列の実現可能性を判定するためのグリーディHavel–Hakimi型アルゴリズムを開発できるか？
• RQ2 全列挙を避けながら、禁止された出隣接頂点を実現プロセスに体系的かつ効率的に統合する方法は何か？
• RQ3 部分的な出隣接頂点の割り当てが、有効な実現の存在を妨げないための条件は何か？
• RQ4 このアルゴリズムは、固定次数列を持つランダム有向グラフのMCMCサンプリングをサポートするためにどのように適合できるか？
• RQ5 禁止された隣接制約下で、A-縮約次数列のグラフィカル性とF[d⁺ₙ]-縮約次数列のグラフィカル性の関係は何か？

主な発見

• 本稿では、与えられた二重次数列が単純な有向グラフとして実現可能かどうかを効率的にチェックする有向Havel–Hakimiアルゴリズムを確立した。
• A-縮約二重次数列がグラフィカルであれば、F[d⁺ₙ]-縮約次数列に対しても同様にグラフィカルであることを証明した。これにより、禁止された出隣接頂点集合に対するグリーディなチェックが可能になった。
• このアルゴリズムは、指定された次数列を持つランダム有向グラフをサンプリングするMCMC手法のサブルーチンとして利用できる。
• 反例（図1）により、本手法は二重次数列のすべての実現を生成できないことが示されたが、制約下での存在の必要条件を提供する。
• F正規順序とA-還元フレームワークにより、部分的な出隣接頂点の体系的探索が可能となり、実現探索の効率が向上した。
• 本手法は、無向グラフに対するHavel–Hakimi法を有向グラフに一般化し、有向グラフにおける制約付きf-ファクター問題を解く基盤を提供する。