[論文レビュー] Isomorph-free generation of 2-connected graphs with applications

Derrick Stolee|arXiv (Cornell University)|Apr 27, 2011

Distributed and Parallel Computing Systems参考文献 23被引用数 8

ひとこと要約

本稿では、耳付加と正規削除を用いた同型非同型生成手法を提示し、耳単調性を満たす性質に対して効率的な探索を可能にする。この手法により、12頂点以下のすべての2連結グラフについてエッジ再構成予想を検証し、12頂点以下の唯一の $K_4$-飽和グラフを同定した。既存の予想を支持する。

ABSTRACT

Many interesting graph families contain only 2-connected graphs, which have ear decompositions. We develop a technique to generate families of unlabeled 2-connected graphs using ear augmentations and apply this technique to two problems. In the first application, we search for uniquely K_r-saturated graphs and find the list of uniquely K_4-saturated graphs on at most 12 vertices, supporting current conjectures for this problem. In the second application, we verifying the Edge Reconstruction Conjecture for all 2-connected graphs on at most 12 vertices. This technique can be easily extended to more problems concerning 2-connected graphs.

研究の動機と目的

• 2連結グラフの耳分解構造を活用した同型非同型生成手法の開発。
• この手法を用いて、12頂点以下のすべての2連結グラフについてエッジ再構成予想を検証すること。
• 12頂点以下の唯一の $K_4$-飽和グラフを探索および列挙すること。
• 耳単調性の性質と正規削除を活用して同型重複を回避することで、計算のオーバーヘッドを低減すること。
• 2連結グラフに構造的制約を課す他の問題へもこの手法を拡張可能であるようにすること。

提案手法

• 本手法は、既存の頂点間のパスを追加することで2連結グラフを段階的に構築する耳付加を用いる。
• McKayの正規削除技術を適用し、各同型類が正確に1回だけ生成されることを保証する。
• 度数列やエッジ削除部分グラフの正規文字列といった不変量に基づいて、一意な耳削除を選択することで正規削除を実行する。
• エッジ再構成可能であることが知られている、$1 + \big\rfloor \log_2(n!) \big\rfloor$ 本以下の辺をもつグラフに探索空間を制限する。
• 同型性のチェックには3段階の比較を実施する：度数列、独自の再構成可能不変量、およびエッジ削除部分グラフの正規文字列をソートしたもの。
• 実装は並列処理を採用し、構造的制約を課された2連結グラフの大規模な生成に最適化されている。

実験結果

リサーチクエスチョン

• RQ1 12頂点以下のすべての2連結グラフについて、エッジ再構成可能であるか？
• RQ2 12頂点以下の唯一の $K_4$-飽和グラフは何か？
• RQ3 耳付加と正規削除を用いて、耳単調性を満たす2連結グラフを効率的に生成可能か？
• RQ4 同型非同型生成手法により、構造的制約を課されたグラフ族の計算が著しく削減可能か？
• RQ5 この手法は、特定の構造的制約を課された2連結グラフを含む他の問題へも拡張可能か？

主な発見

• エッジ再構成予想は、12頂点以下のすべての2連結グラフについて、全探索による検証で成立することが確認された。
• 12頂点以下の唯一の $K_4$-飽和グラフは、すべて成功裏に列挙され、このクラスに関する既存の予想を支持する。
• N=12の計算には約10年分のCPU時間が必要であり、合計25,615,152,888個のグラフが処理された。これにより、本手法のスケーラビリティが裏付けられた。
• 度数列、不変量、正規文字列の3つの同型性チェックをすべて満たすグラフペアは存在しなかった。これは、同型性フィルタリングに誤検出が生じていないことを示している。
• エッジデッキ解析におけるペアワイズ比較回数を、$1 + \lfloor \log_2(n!) \rfloor$ 本以下の辺をもつスパースグラフに焦点を当てることで削減した。
• 本手法は、エッジ再構成や $K_r$-飽和グラフへの応用において成功を収めたことから、他の耳単調性を満たす性質に対しても一般化可能で効果的であることが示された。