[論文レビュー] Identifiability of Graphs with Small Color Classes by the Weisfeiler-Leman Algorithm

Frank Fuhlbrück, Johannes Köbler+1 more|arXiv (Cornell University)|Jul 5, 2019

Advanced Graph Theory Research被引用数 6

ひとこと要約

本稿では、色の重複度が4以下である頂点彩色グラフが2次元Weisfeiler-Leman（2-WL）アルゴリズムによって同定可能かどうかを判定する多項式時間の決定手続きを提示する。この手法は、最大ファイバーサイズ4の整合的配置の構造的分類に依拠し、2-WLによって分離不可能である正確な構成を同定する。これにより、Cai-Fürer-Immerman構成が偶然的でないことが明らかになり、インcidenc幾何学における(n³)-配置から生じる例を含む、より広範なクラスの難易度の高いインスタンスの一部であることが示される。

ABSTRACT

As it is well known, the isomorphism problem for vertex-colored graphs with color multiplicity at most 3 is solvable by the classical 2-dimensional Weisfeiler-Leman algorithm (2-WL). On the other hand, the prominent Cai-F\\"urer-Immerman construction shows that even the multidimensional version of the algorithm does not suffice for graphs with color multiplicity 4. We give an efficient decision procedure that, given a graph $G$ of color multiplicity 4, recognizes whether or not $G$ is identifiable by 2-WL, that is, whether or not 2-WL distinguishes $G$ from any non-isomorphic graph. In fact, we solve the much more general problem of recognizing whether or not a given coherent configuration of maximum fiber size 4 is separable. This extends our recognition algorithm to graphs of color multiplicity 4 with directed and colored edges. Our decision procedure is based on an explicit description of the class of graphs with color multiplicity 4 that are not identifiable by 2-WL. The Cai-F\\"urer-Immerman graphs of color multiplicity 4 distinctly appear here as a natural subclass, which demonstrates that the Cai-F\\"urer-Immerman construction is not ad hoc. Our classification reveals also other types of graphs that are hard for 2-WL. One of them arises from patterns known as $(n_3)$-configurations in incidence geometry.

研究の動機と目的

• 色の重複度4のグラフが2-WLアルゴリズムによって同定可能かどうかを判定すること、すなわち、すべての非同型グラフと区別できるかどうかを確認すること。
• 2-WLが色の重複度≤3のすべてのグラフを同定できることを既知の結果として、重複度4のより複雑な場合に拡張すること。
• 最大ファイバーサイズ4のすべての整合的配置のうち、2-WLによって分離不可能なものを完全に分類し、構造的特徴付けを提供すること。
• Cai-Fürer-Immerman構成が、2-WLによって分離不可能なグラフの孤立した病理的ケースではなく、より広いクラスの自然な例であることを示すこと。
• 整合的配置の枠組みを用いて、有向および辺彩色グラフに対しても、色の重複度4の場合の2-WL同定可能性を多項式時間で決定できるように拡張すること。

提案手法

• 色の重複度4のグラフを、ファイバーサイズが4以下の整合的配置として扱い、2-WLの精錬プロセスを整合的配置の理論でモデル化する。
• ファイバー、インターフェース、接続タイプに分解することで、分離不可能な整合的配置（2-WLで区別できないもの）を構造的に特徴づける。
• 主に3つのタイプの分離不可能な構成を分析する：一致するインターフェース、2点ファイバー、8サイクルインターフェース。代数的同型と自己同型の技法を用いる。
• 冗長性のない構成の概念を導入し、直接接続のハイパーグラフ表現を用いて、3つのタイプに分類する：CFI型、3調和的、一般の冗長性のないケース。
• Pólyaの数え上げ定理を用いて、分離可能性を検証する重要なケースで用いられる、切断された正四面体グラフTの黒・白彩色の非同型数を計算する。
• 分離不可能な構成の明示的構造的記述に基づき、2-WL同定可能なグラフを多項式時間で認識できる決定アルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 色の重複度4のグラフの中で、2-WLアルゴリズムによって同定可能なものはどれか？
• RQ2 Cai-Fürer-Immerman構成以外に、2-WLによって分離不可能なグラフが色の重複度4の場合に存在する構造的クラスは存在するか？
• RQ3 最大ファイバーサイズ4の2-WLによって分離不可能な整合的配置のクラスを完全に特徴づけられるか？
• RQ4 CFI構成を超えた、自然な幾何的または組合せ的配置（例えば、インcidenc幾何学の配置）で、2-WLに対して本質的に難しいものがあるか？
• RQ5 色の重複度4のグラフについて、3-WLへの適合性を多項式時間で決定できるか？

主な発見

• 最大ファイバーサイズ4のすべての整合的配置のうち、2-WLによって分離不可能なものの完全な構造的特徴付けが与えられた。
• 色の重複度4のCai-Fürer-Immermanグラフが、分離不可能な構成の自然な部分クラスであることが示され、この構成が偶然的ではないことが明らかになった。
• インcidenc幾何学における(n³)-配置から生じる、2-WLによって分離不可能なグラフの新たなクラスが発見された。これは、対称的な接続パターンのため、分離不可能であることが示された。
• 切断された正四面体グラフTの非同型黒・白彩色の数は、Pólyaの数え上げによりp(2) = 218として計算された。この結果は、分離可能性の分析を裏付ける。
• 色の重複度4のグラフが2-WLによって同定可能かどうかという決定問題は、多項式時間で解けることが示され、重複度3の場合の既知の結果が拡張された。
• この枠組みは、有向および辺彩色グラフへも一般化可能であり、このより広いクラスにおける2-WL同定可能性の決定手続きを提供する。