Weisfeiler-Leman算法与Schreier图的直径

我们证明，Weisfeiler-Leman算法用于源自Schreier图的配置时所采取的迭代次数与图本身的直径紧密相关：对一般Schreier图找到了一个上界，而对特定情况(例如$G=\mbox{SL}_{n}({\mathbb F}_{q})$ ($q>2$)作用于${\mathbb F}_{q}^{n}$中向量$k$-元组)成立一个下界；此外，在Cayley图的情形下找到了精确表达式。