[論文レビュー] Algorithms for realizing degree sequences of directed graphs

M. Drew LaMar|arXiv (Cornell University)|Jun 1, 2009

Digital Image Processing Techniques参考文献 8被引用数 9

ひとこと要約

本稿では、度数列から有向グラフの実現を構築するための修正されたHavel-Hakimi風のアルゴリズムを導入し、先行研究の拡張における主要な限界を解消する。主な貢献は、『有向3サイクルアンカー付き』度数列—すべての実現が特定の頂点集合上で誘導された有向3サイクルを含むことを強制する度数列—の構造的特徴付けであり、これにより、特に全出次数和が奇数であるオイラー度数列に対して、最大の双方向弧を有する有向グラフを生成するwell-definedなアルゴリズムが可能になる。

ABSTRACT

The Havel-Hakimi algorithm for constructing realizations of degree sequences for undirected graphs has been used extensively in the literature. A result by Kleitman and Wang extends the Havel-Hakimi algorithm to degree sequences for directed graphs. In this paper we go a step further and describe a modification of Kleitman and Wang's algorithm that is a more natural extension of Havel-Hakimi's algorithm, in the sense that our extension can be made equivalent to Havel-Hakimi's algorithm when the degree sequence has equal in and out degrees and an even degree sum. We identify special degree sequences, called directed 3-cycle anchored, that are ill-defined for the algorithm and force a particular local structure on all directed graph realizations. We give structural characterizations of these realizations, as well as characterizations of the ill-defined degree sequences, leading to a well-defined algorithm.

研究の動機と目的

• 無向グラフ版と同様の構造と挙動を保つ、有向グラフにおけるHavel-Hakimiアルゴリズムの自然な拡張を開発すること。
• 従来のアルゴリズムが不適切に定義された度数列のため失敗するケースを特定・解消すること。
• 『有向3サイクルアンカー付き』度数列が、すべての可能な有向グラフ実現に及ぼす構造的制約を同定すること。
• 特に全出次数和が奇数であるオイラー度数列に対して、well-definedなアルゴリズムを提供し、有向グラフ実現を構築すること。
• 実装例を通じてフレームワークの有効性を示し、最大の双方向弧を有する実現を構築すること。

提案手法

• 対称的な度数削減を優先することで、Kleitman-WangアルゴリズムをHavel-Hakimiアプローチにより近づける修正を施す。
• 不適切に定義されたケースの核心的クラスとして『有向3サイクルアンカー付き』（⃗C3-アンカー付き）度数列の概念を導入する。
• 構造的特徴付けを用いて、すべての⃗C3-アンカー付き度数列の実現が、特定の頂点集合上で誘導された有向3サイクルを含むことを同定する。
• 帰納法と度数列変換を用いて、⃗C3-アンカー付き度数列のユニダイグラフ的実現可能性を証明する。
• 2段階の検証プロセスを採用：まず度数列の性質を用いて不適切に定義されたケースを同定し、次に構造的制約を適用してアルゴリズムの正しさを保証する。
• 特にオイラー度数列に対してwell-definedであることを保証する明示的な手順を再考することで、アルゴリズムを再構築する。

実験結果

リサーチクエスチョン

• RQ1 Havel-Hakimi風のアルゴリズムを有向グラフに意味的に拡張することは可能か？ その際、無向版と同様の対称性と単純さを保てるか？
• RQ2 標準的なHavel-Hakimiアルゴリズムの拡張が失敗する原因となる度数列の構造的性質は何か？
• RQ3 不適切に定義された度数列のすべての実現は、共通の局所的構造を持つのか？ もしそうなら、それはどのようなものか？
• RQ4 不適切に定義された度数列のクラスを、度数列の性質に基づいて完全に特徴付けられるか？
• RQ5 修正されたアルゴリズムを用いて、特に全出次数和が奇数であるオイラー度数列に対して、どのような有向グラフ実現が構築可能か？

主な発見

• アルゴリズムで同定された不適切に定義された度数列は、すべて『有向3サイクルアンカー付き』（⃗C3-アンカー付き）度数列であり、これらはすべての実現が特定の頂点集合上で誘導された有向3サイクルを含むことを強制する。
• すべての⃗C3-アンカー付き度数列はユニダイグラフ的である。つまり、少なくとも1つの有向グラフ実現が存在し、その実現は3サイクルの存在によって構造的に制約を受ける。
• 全出次数和が奇数であるオイラー度数列に対して、修正されたアルゴリズムは、1つの有向3サイクルを除き、すべての双方向弧を有する実現を生成する。
• アルゴリズムの正しさは、度数列の特徴付けにより⃗C3-アンカー付き度数列を同定し、実現に構造的制約を課すことで保証される。
• このフレームワークにより、特にオイラー度数列に対して、最大の双方向弧を有する有向グラフ実現が構築可能になる。
• ⃗C3-アンカー付き度数列の実現可能性の証明は、帰納法に依拠しており、各ステップで同じ構造的性質を有するより小さなインスタンスに問題を還元する。