[論文レビュー] Graph Isomorphism for unit square graphs

Daniel Neuen|arXiv (Cornell University)|Feb 26, 2016

Advanced Graph Theory Research参考文献 23被引用数 4

ひとこと要約

本稿では、平面における軸に平行な単位正方形の交差グラフであるユニットスクエアグラフにおけるグラフ同型性問題について、多項式時間アルゴリズムを提示する。幾何的洞察と群論的技法、特にルクスのアルゴリズムを8-サークル有界な自己同型群に拡張した手法を組み合わせることで、同型性テストを標準的実現に依存せずに達成している。これは、認識がNP困難であるため、標準的実現は不可能である。

ABSTRACT

In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show that the Graph Isomorphism Problem for unit square graphs, intersection graphs of axis-parallel unit squares in the plane, can be solved in polynomial time. Since the recognition problem for this class of graphs is NP-hard we can not rely on standard techniques for geometric graphs based on constructing a canonical realization. Instead, we develop new techniques which combine structural insights into the class of unit square graphs with understanding of the automorphism group of such graphs. For the latter we introduce a generalization of bounded degree graphs which is used to capture the main structure of unit square graphs. Using group theoretic algorithms we obtain sufficient information to solve the isomorphism problem for unit square graphs.

研究の動機と目的

• ユニットスクエアグラフにおけるグラフ同型性問題の計算量を解明すること。これは長方形交差グラフの自然な制限である。
• ユニットディスクグラフの同型性という未解決問題に、構造的に類似したがより取り扱いやすいクラスを研究することで対処すること。
• 認識がNP困難であるため標準的実現が不可能であることを踏まえ、内在的な構造的および群論的不変量に依存して標準的実現を回避する手法を開発すること。
• ユニットグリッド交差グラフや高次元$L_\infty$-実現など、他の幾何的グラフクラスにおける同型性の解法の基盤を提供すること。

提案手法

• アルゴリズムは、頂点およびクリークの周囲の局所的幾何的構造を捉える、同型性に不変なクリーク分割を構築する。
• 幾何的性質を用いて、頂点およびクリークの周りの隣接頂点の巡回順序を標準的に抽出し、平面における巡回配置を模倣する。
• 自己同型群は、特に$\Gamma_8$-群として特徴づけられる一般化された有界次数フレームワークを用いて分析される。これはユニットスクエアグラフにおける独立な隣接頂点の数が有界であることを捉える。
• 集合安定化子の計算を含む群論的アルゴリズムを用い、自己同型群の作用を同型性に不変な分割上で分析することで、同型性を決定する。
• 標準的幾何的実現を避けるために、クリーク分割や近傍の対称性といった同型性に不変な構造的特徴に依存する。
• 既知のプリミティブ群に関する結果と、多項式的に有界な最大順序の性質を活用して、多項式時間で実行可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ユニットスクエアグラフにおけるグラフ同型性問題は、認識がNP困難であるにもかかわらず、多項式時間で解けるか？
• RQ2 ユニットスクエアグラフの自己同型群は、その構造的対称性を捉える$\Gamma_8$-群への標準的分解を許容するか？
• RQ3 認識がNP困難であるため、幾何的実現を構築せずに同型性テストを達成できるか？
• RQ4 本手法は、ユニットグリッド交差グラフや高次元$L_\infty$-実現といった他の幾何的グラフクラスへ拡張可能か？
• RQ5 十分に大きな$k$に対して、$k$次元ワイズフェーラー＝レーマンアルゴリズムはすべてのユニットスクエアグラフを同定できるか？

主な発見

• ユニットスクエアグラフにおけるグラフ同型性問題は、多項式時間で解けることが示され、幾何的グラフ理論における未解決問題が解決された。
• 本アルゴリズムは、同型性に不変なクリーク分割を構築し、$\Gamma_8$-群構造を用いて自己同型群を分析することで、この結果を達成している。
• 認識がNP困難であるため、標準的実現を避けるために、内在的な幾何的および群論的不変量に依存する。これは不可避な措置である。
• 実行時間は多項式的であり、主に$\Gamma_8$-群における集合安定化子の計算が支配的であり、その最大順序は多項式的に有界である。
• 本手法は、特にシングルトン頂点が存在する場合のユニットスクエアグラフの自己同型群に関する構造的洞察を提供する。
• 結果から、ユニットグリッド交差グラフや高次元$L_\infty$-実現といった関連クラスにおける同型性の解法への道筋が示唆される。