[論文レビュー] Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem

Jonathan Gorard|arXiv (Cornell University)|Jun 21, 2016

Graph Theory and Algorithms参考文献 7被引用数 6

ひとこと要約

本稿では、グラフの同型性問題を解くための新しい多項式時間手法、一意木アルゴリズムを提案する。この手法は、各頂点から根付き木を構築し、2つのグラフ間の対応する木の間で一意な同型性を検査することで、グラフの同型性を特定する。アルゴリズムの最悪ケース実行時間はO(n⁷)であり、同型性が存在する場合には正しく検出可能である。実験結果から、ランダムなグラフでは約O(n⁵)の時間で動作することが示唆されており、GI問題に対する多項式時間解法の強力な証拠を提供する。

ABSTRACT

This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that it will always detect the presence of an isomorphism whenever one exists. We also propose that the algorithm will equivalently discern the lack of an isomorphism whenever one does not exist, and some initial justifications are given for this proposition, although it cannot yet be rigorously proven. Finally, we present experimental evidence for both the effectiveness and efficiency of the uniqueness tree method, using data gathered from a practical implementation of the algorithm. Some consequences and directions for further research are discussed.

研究の動機と目的

• 計算複雑性理論における長年の未解決問題である、多項式時間でグラフ同型性を同定する新しいアルゴリズムの開発。
• NAUTYなどの既存の正規ラベル化手法とは根本的に異なる、頂点固有の一意木を用いたグラフの正規形の提供。
• アルゴリズムが同型性が存在する場合に正しく同定することを理論的および実験的根拠で示し、非同型性検出についてもその正しさを仮説立てる。
• ランダムな同型および非同型グラフペアを用いた実験的テストを通じて、アルゴリズムの効率性を実証する。
• 今後の研究において、有向グラフおよび非単純グラフへの一般化の基盤を構築する。

提案手法

• グラフの各頂点に対して、根から同じ距離にある頂点を同じレベルに含む根付き木を再帰的に構築する。非一意な頂点（複数回出現する頂点）は葉として扱う。
• 各レベルの各一意な頂点は、元のグラフにおけるその頂点の隣接頂点に対応する子を生成し、一意な頂点が存在しなくなるか、木が自己終了するまで繰り返す。
• 1対1の完全な一意同型性が、1つのグラフの一意木集合と別のグラフの一意木集合の間で成立するかを検査し、その対応がグラフ同型性を示すと主張する。
• 木同型性の検査は線形時間O(n)で行えるため、木集合間の比較が効率的に行える。
• 最悪ケース時間計算量は、一意木の深さと分岐係数に基づき、正式にO(n⁷)であることが証明されている。
• 実証的検証では、サイズ1から100までの10,000組のランダムなグラフペア（同型および非同型）を用い、計算時間の対数スケールプロットにより多項式次数を推定している。

実験結果

リサーチクエスチョン

• RQ1 頂点中心の木構築手法は、同型性を一意に特定できるグラフの正規形を提供できるか？
• RQ2 一意木アルゴリズムは最悪ケースで多項式時間で動作するか？ その正式な証明は可能か？
• RQ3 アルゴリズムは非同型性の存在を信頼性高く検出できるか？ それともまだ仮説の域を出ないか？
• RQ4 ランダムなグラフ上でのアルゴリズムの実効時間計算量は何か？ また、理論的上限と一致するか？
• RQ5 この手法は有向グラフおよび非単純グラフへ一般化可能か？

主な発見

• 一意木アルゴリズムは最悪ケースでO(n⁷)時間で実行され、その上限値について正式な証明が提示されている。
• 論文で示された通り、同型性が存在する場合にはアルゴリズムが正しく検出する。
• 実験結果から、大きなグラフ（n ≥ 20）では実行時間が約O(n⁵)でスケーリングしており、同型ペアおよび非同型ペアの決定係数R²はそれぞれ0.9959および0.9967である。
• 小さなグラフ（n < 10）では少数の誤検出が観察されたが、後続の検証ですべて実際の同型性であることが確認され、この手法に根本的な欠陥はないと示唆される。
• 実行時間とグラフサイズの対数プロットは直線的傾向を示しており、漸近的多項式効率性が確認された。
• 指数的劣化を回避するため、既存のアルゴリズムよりも最悪ケースの複雑度で優れており、グラフ同型性問題に対する多項式時間解法の強力な候補を提供する。