[論文レビュー] Graph Isomorphism in Quasipolynomial Time Parameterized by Treewidth

Daniel Wiebking|arXiv (Cornell University)|Nov 25, 2019

Advanced Graph Theory Research参考文献 34被引用数 2

ひとこと要約

本稿は、木幅をパrameterとするグラフ同型性の擬多項式時間アルゴリズムを提示する。ここで $ n $ は頂点数、$ k $ は最小木幅である。このアルゴリズムは、$ n^{ ext{polylog}(k)} $ の実行時間で動作する。Babaiの群論的フレームワークを拡張し、複数のコセットを用いた同型性問題を導入することで、グラフ分解を効率的に統合する。これにより、木幅が有界なグラフに対して、Babaiの一般的擬多項式時間境界よりも非自明なパrameter化された改善が達成された。

ABSTRACT

We extend Babai's quasipolynomial-time graph isomorphism test (STOC 2016) and develop a quasipolynomial-time algorithm for the multiple-coset isomorphism problem. The algorithm for the multiple-coset isomorphism problem allows to exploit graph decompositions of the given input graphs within Babai's group-theoretic framework. We use it to develop a graph isomorphism test that runs in time $n^{\operatorname{polylog}(k)}$ where $n$ is the number of vertices and $k$ is the minimum treewidth of the given graphs and $\operatorname{polylog}(k)$ is some polynomial in $\operatorname{log}(k)$. Our result generalizes Babai's quasipolynomial-time graph isomorphism test.

研究の動機と目的

• 木幅が有界なグラフに対して、Babaiの擬多項式時間境界を改善するパrameter化されたグラフ同型性アルゴリズムの開発を目的とする。
• 群論的フレームワーク内でのグラフ分解に起因する複数のグラフコンポーネント間の同型性を効率的に統合する課題に取り組む。
• Babaiの文字列同型性アプローチを、木分解のようなグラフ論的分解を活用する形に一般化する。
• 木幅をパrameterとするグラフ同型性がFPTアルゴリズムを有するかどうかという未解決問題を、木幅に多項式対数的依存性を示す擬多項式時間境界を達成することで解決する。

提案手法

• 木分解によって定義されるグラフコンポーネント間の同型性を統合するための形式的フレームワークとして、複数コセット同型性問題を導入する。
• 置換群がコンポーネントに作用するラベル付けコセットから導かれる正規化ラベル付け問題へのグラフ同型性問題の還元を行う。
• 構築されたグラフ $ U $ に対して、Babaiの群論的正規化アルゴリズム（CLGraph）を適用する。ここで $ U $ は、ラベル付けコセットを介してコンポーネントとその順序を符号化している。
• ラベル付けコセット $ \Delta_U\rho_U $ を用いて、各コンポーネント内の順序（$ \prec $ を介して）と内部ラベル付けを両方符号化する。
• 拡張されたグラフ $ G = (U, E) $ に対して正規化手順を適用し、元の頂点集合 $ V $ に正規化ラベル付けを誘導する。これにより、同型性に関して不変となるように保証する。
• 再ラベルリングに関する不変性を示し、元の頂点集合上の誘導された自己同型群が、元の入力グラフの自己同型群と正確に一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Babaiの擬多項式時間同型性アルゴリズムを、木幅のようなグラフ分解を活用する形に拡張することは可能か？
• RQ2 木幅 $ k $ のグラフに対して、$ n^{\text{polylog}(k)} $ 時間で動作するグラフ同型性アルゴリズムを設計することは可能か？ これは、従来のFPTおよび固定パrameter境界よりも改善される。
• RQ3 コンポーネントが木分解によって定義され、その対称性が置換群に符号化されている場合、複数のグラフコンポーネント間の同型性を効率的に統合する方法は何か？
• RQ4 群論的フレームワーク内で複数コセット同型性問題を効率的に解くことは可能か？ これにより、グラフ同型性のパrameter化された高速化が可能になるか？

主な発見

• 本稿は、$ n $ が頂点数、$ k $ が木幅であるとき、$ n^{\text{polylog}(k)} $ 時間で動作するグラフ同型性アルゴリズムを提示する。これは、従来のFPT境界よりも顕著に改善されている。
• このアルゴリズムは、コンポーネントの順序と内部ラベル付けを符号化する構築されたラベル付けコセット $ \Delta_U\rho_U $ における正規化ラベル付け問題へのグラフ同型性問題の還元によって達成される。
• アルゴリズムの正しさは、再ラベルリングに関する不変性と、元の頂点集合上の誘導された自己同型群が入力グラフの自己同型群と正確に一致することを示すことによって確立される。
• このフレームワークは、Babaiの擬多項式時間アルゴリズムを木幅が有界なグラフに一般化し、この文脈で初めて非自明なパrameter化された改善を達成した。
• 木分解による分解されたグラフコンポーネント間の同型性を効率的に統合する課題は、形式的な複数コセット同型性問題の導入と、群論的正規化による解決によって解決された。
• この結果は、木幅をパrameterとするグラフの正規化アルゴリズムが、このフレームワークから導出可能であることを示唆しており、Babaiの最近の正規化に関する研究を拡張するものである。