Dvoř 阿克—戴尔—格罗赫—拉坦定理通过渐近论证-计算机科学-机器学习-线性代数-算法.pdfVIP

Dvoř阿克—戴尔—格罗赫—拉坦定理通过渐近论证

AlexanderKozachinskiy∗

智利国家人工智能中心

摘要

两个图可以通过Weisfeiler–Leman同构测试区分当且仅当存在一棵树，其到和的同态

数量不同。这个事实有两个已知的证明——Dvořák给出的一个逻辑证明以及Dell、Grohe和Rattan给出

本的一个线性代数证明。我们提供了一个基于排序WL标签和渐近论证的另一个简单证明。

译Weisfeiler–Leman(WL)测试[3]是一个用于检查两个给定图和是否同构的算法。其工作方

中式如下。首先，定义一个图中节点的级别WL标签，递归地基于。对于，所有图中的所有节

点都有相同的级WL标签。现在，一个节点的级别WL标签是其邻居的级别WL标签的

1

v多重集。两个图和通过WL测试区分，如果对于某个，它们的节点具有不同的级别WL标

9

6签的多重集。

6这是一个声音同构测试（同构图无法区分），但不完整——例如，六边形将不会与两个不相交的三

4

1角形区分开。已知两个图和可以通过WL测试区分当且仅当存在一个树使得从到以及

.

7从到的同态数量不同。这里所说的从图到图的同态是指将图的节点集映射到图的节

0

5点集，使得中的相邻节点被映射为中的相邻节点。该结果最初由Dvořák[2]使用逻辑论证证明，

2然后被Dell、Grohe和Rattan[1]用线性代数论证重新发现。

:

v该定理有一个简单的方向——如果存在一棵树，它到和的同态数目不同，那么和

i

x可以被WL测试区分。这可以从一个观察结果得出，即图中节点的级WL标签唯一确定

r

a了从深度为的树到的同态数量，其中根节点映射到。因此，对于一个深度为的

树，如果我们任意选择其中一个节点作为根节点，从到图的同态数量是：

如果对于某个深度为的树和两个图，我们有：

那么节点和的级WL标签多集必须不同。

我们现在通过一个新的论证来建立困难方向。

∗alexander.kozachinskyi@cenia.cl.SupportedbytheANIDFondecytIniciacióngranndNationalCenterforArtificial

IntelligenceCENIAFB210017,BasalANID.

1

定理1.如果两个图和被WL测试区分，则存在一棵树，它到和的同态数量不同。

证明.对于证明，我们定义，对于任意的，在级别WL-标签上的一种线性顺序。对于