[论文解读] Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

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

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

一句话总结

该论文证明了对于某个常数 k，k 维 Weisfeiler-Leman (WL) 算法在 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-连通平面图的结果扩展到所有平面图，解决一个长期存在的开放问题。
• 建立 k 维 Weisfeiler-Leman 算法在常数维度下可在 O(log n) 次迭代内识别任意平面图的结论。
• 证明每个平面图均可由带计数量词的一阶逻辑句子在 Ck+1 逻辑中以 O(log n) 的量化深度定义。
• 通过 WL 算法的迭代复杂度，提供平面图识别的逻辑刻画。
• 探索平面图及相关图类中 WL 维度与迭代次数之间的权衡。

提出的方法

• 为任意 n 个顶点的平面图构造一个高度为对数级、连接度至多为 6 的根树分解。
• 确保分解中的每个节点袋最多包含四个 3-连通分量或块割点。
• 通过归纳公式构造，使用 Ck+1 逻辑中的逻辑公式编码每个树节点处子图的同构类型。
• 引入嵌套存在量词和同构公式，以捕捉附加到袋上的连通分量的结构。
• 利用 WLk 迭代与 Ck+1 逻辑中量化深度之间的对应关系，界定识别句子的深度。
• 通过同构类型约束组合各分量的公式，构建一个唯一标识整个图的全局句子。

实验结果

研究问题

• RQ1 是否可使用常数维的 Weisfeiler-Leman 算法在 O(log n) 次迭代内识别所有平面图？
• RQ2 是否存在一个常数 k，使得每个平面图均可由 Ck+1 逻辑中量化深度为 O(log n) 的句子定义？
• RQ3 将平面图以对数深度分解为 3-连通分量是否能实现有界迭代的 WL 识别？
• RQ4 平面图及其相关类中，WL 维度与迭代次数之间存在何种权衡？
• RQ5 该结果能否推广到有界亏格图或其它本征闭包图类？

主要发现

• 存在一个常数 k，使得 k 维 Weisfeiler-Leman 算法可在 O(log n) 次迭代内识别每个 n 个顶点的平面图。
• 每个平面图均可由带计数量词的一阶逻辑句子在 Ck+1 逻辑片段中以 O(log n) 的量化深度唯一定义。
• 该证明构造了高度为对数级、连接度有界的（至多为 6）平面图树分解，其中每个袋最多包含四个 3-连通分量或块割点。
• 每个图的逻辑公式通过归纳方式构建，方法为编码子图的同构类型，并使用嵌套存在量词捕捉分量结构。
• 该结果将 Verbitsky 早期关于 3-连通平面图的结果推广至所有平面图，完成了长达 14 年的研究计划。
• 该构造意味着平面图同构问题属于复杂度类 AC1，原因在于其具有对数迭代上界。