Weisfeiler-Lehman Test

算法

定义与定理

定义：

（1）图：

（2）图序列：

（3）第h次迭代的某个图核k的WL图核：

{G0，…，Gh}和{G ’ 0，…，G 'h}分别为G和G '的Weisfeiler-Lehman序列

（4）：某个字母出现的次数

（5）WL图子核：

定理：
（1）设基核k为图上任意正半定核。然后相应的也是正半定的。
（2）图G和G’的WL图子核可以在O(hm)的时间复杂度里计算出来
（3）

示例

过程：
（1）将每个节点的邻居添加到节点的序列上
（2）将序列进行重新标号，将新出现的标号加入到原标号集合里
（3）最后一个图的序列是指：遍历每个标号在图上的出现次数
在迭代过程中如果出现两个图的序列集合不一致，即可推断出两个图不同构。