[論文レビュー] Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

Martin Grohe, Sandra Kiefer|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research参考文献 24被引用数 3

ひとこと要約

本稿は、k次元Weisfeiler-Leman (WL)アルゴリズムが、ある定数kに対して、すべての平面グラフをO(log n)反復で同定できることを証明しており、平面グラフに対する対数的反復上限を確立している。証明は、平面グラフを3連結成分に分解する新規の対数的深さの木分解を活用し、Ck+1論理における論理的定義可能性を用いて、各平面グラフがO(log n)の量化子深さを持つ文によって一意に特徴付けられることを示している。

ABSTRACT

The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial procedure for detecting symmetries in graphs and it is widely used in graph-isomorphism tests. It proceeds by iteratively refining a colouring of vertex tuples. The number of iterations needed to obtain the final output is crucial for the parallelisability of the algorithm. We show that there is a constant k such that every planar graph can be identified (that is, distinguished from every non-isomorphic graph) by the k-dimensional WL algorithm within a logarithmic number of iterations. This generalises a result due to Verbitsky (STACS 2007), who proved the same for 3-connected planar graphs. The number of iterations needed by the k-dimensional WL algorithm to identify a graph corresponds to the quantifier depth of a sentence that defines the graph in the (k+1)-variable fragment C^{k+1} of first-order logic with counting quantifiers. Thus, our result implies that every planar graph is definable with a C^{k+1}-sentence of logarithmic quantifier depth.

研究の動機と目的

• Verbitskyによる3連結平面グラフに関する結果をすべての平面グラフに拡張することで、長年の未解決問題を解決すること。
• 定数次元のWeisfeiler-Lemanアルゴリズムが、任意の平面グラフをO(log n)反復で同定できることを確立すること。
• すべての平面グラフが、数え上げ量化子を含む一階論理文（Ck+1論理）によって、量化子深さO(log n)で定義可能であることを示すこと。
• WLアルゴリズムの反復複雑性を用いた平面グラフ同定の論理的特徴付けを提供すること。
• 平面グラフおよび関連するグラフクラスにおけるWL次元と反復回数のトレードオフを調査すること。

提案手法

• 任意のn頂点平面グラフに対して、対数的高さで接続度が6以下の根付き木分解を構築する。
• 分解における各バッグが、4つの3連結成分またはブロック分離子を多くても含むように保証する。
• 各木のノードにおける部分グラフの同型型を、Ck+1論理における論理式を用いて帰納的に符号化する。
• ネストされた存在量化子と同型型に関する論理式を導入し、バッグに接続された連結成分の構造を捉える。
• WLk反復とCk+1論理における量化子深さの対応関係を活用し、識別文の深さを上限付ける。
• 同型型制約を用いて成分間の論理式を結合し、全体のグラフを一意に同定するグローバル文を構築する。

実験結果

リサーチクエスチョン

• RQ1 定数次元のWeisfeiler-Lemanアルゴリズムは、すべての平面グラフをO(log n)反復で同定できるか？
• RQ2 すべての平面グラフが、量化子深さO(log n)のCk+1文によって定義可能であるような定数kが存在するか？
• RQ3 3連結成分への平面グラフの対数的深さの木分解は、反復数が有界なWL同定を可能にするか？
• RQ4 平面グラフおよび関連クラスにおけるWL次元と反復回数のトレードオフは何か？
• RQ5 この結果は、有界なジェノスを持つグラフやその他のマイナー閉じたクラスに拡張可能か？

主な発見

• ある定数kが存在し、k次元Weisfeiler-Lemanアルゴリズムがすべてのn頂点平面グラフをO(log n)反復で同定する。
• すべての平面グラフが、Ck+1論理の断片に属する数え上げ量化子付き一階論理文によって、量化子深さO(log n)で一意に定義可能である。
• 証明は、対数的高さで接続度が6以下の（最大4つの3連結成分またはブロック分離子を含む）バッグを持つ、平面グラフの木分解を構築する。
• 各グラフの論理式は、部分グラフの同型型を符号化し、ネストされた存在量化子を用いて成分構造を捉える帰納的構成によって構築される。
• この結果は、Verbitskyによる14年前の3連結平面グラフに関する先行結果をすべての平面グラフに一般化し、14年間の研究計画を完了する。
• この構成により、平面グラフの同型判定問題が、AC1複雑度クラスに属することを示唆している。