[論文レビュー] Isomorphism Testing for Graphs of Bounded Rank Width

Martin Grohe, Pascal Schweitzer|arXiv (Cornell University)|May 14, 2015

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

ひとこと要約

本稿では、tanglesを用いた正規分解と群論的動的計画法を活用して、有界ランク幅をもつグラフにおけるグラフ同型性テストの多項式時間アルゴリズムを提示する。主な貢献は、有界ランク幅（したがって有界クライーク幅をもつ）グラフに対する初めての多項式時間同型性テストを提供し、パrameterizedアルゴリズム分野における長年の未解決問題を解決することにある。

ABSTRACT

We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the clique width of a graph is bounded in terms of its rank width, we also obtain a polynomial time isomorphism test for graph classes of bounded clique width.

研究の動機と目的

• 有界ランク幅をもつグラフ、特に稠密なグラフを含み、有界木幅を一般化するクラスにおける多項式時間同型性テストの開発。
• スパースなグラフクラスに限らない、有界クライーク幅をもつ稠密な遺伝的グラフクラスへの既知の tractable 同型性結果の拡張。
• 有界ランク幅をもつグラフにおける同型性テストが多項式時間で解けるかどうかという未解決問題の解決。
• 特にtanglesおよび三重被覆に注目した、接続関数の正規分解フレームワークを、同型性テストの基盤として提供すること。

提案手法

• 同型性不変な構造を保証するように、接続関数およびtanglesに基づく正規木構造的分解を用いる。
• 分解における高連結領域を効率的に表現するため、tanglesの三重被覆の概念を導入する。
• 分解木上で群論的道具を用いて、部分構造間の同型性を追跡する動的計画法を適用する。
• 部分間の隣接行列の分割ランクにより分解の幅を制御し、有界な複雑性を保証する。
• 正規分解定理（定理7.2）により、分解が同型を除いて一意であることが保証され、同型性テストが可能になる。
• 最終的な同型性計算では、各ノードにおける自己同型群の剰余類表現を用い、再帰的な群演算により組み合わせる。

実験結果

リサーチクエスチョン

• RQ1 稠密な性質やスパarsityの欠如を示す有界ランク幅グラフにおいて、同型性テストが多項式時間で解けるか。
• RQ2 同型性テストを多項式時間で可能にする接続関数の正規分解法が存在するか。
• RQ3 低ランク分解における部分間の非自明な相互作用を、群論的技術が効果的にモデル化できるか。特に、頂点の削除によって成分が分離されない場合に有効か。
• RQ4 有界幅の正規分解が存在する場合、動的計画法を用いて効率的な同型性計算が可能か。
• RQ5 カットランク関数を超える任意の接続関数に対しても、このアプローチが一般化可能か。

主な発見

• 本稿では、任意の固定されたkに対して、ランク幅がk以下のすべてのグラフに対する多項式時間同型性テストを確立した。
• アルゴリズムはkの非初等関数で時間界に制限されるが、著者らはn^O(k)界の達成を目指している。
• 接続関数のtanglesおよびその三重被覆への正規分解は、高連結領域を扱うための重要な技術的ツールを提供する。
• クライーク幅がk以下のグラフの同型性問題は、今や多項式時間で解けるようになった。これは、従来k ≤ 2に限られていた結果を拡張したものである。
• 群論的フレームワークにより、分解ノード間で自己同型群の剰余類を追跡することで、同型集合の効率的計算が可能になる。
• この手法は任意の接続関数へ一般化可能であり、ランク幅を超えた幅広い応用の可能性を示唆している。