k-Weisfeiler-Leman 稳定的推广
组合数学
2020-10-21 v3 离散数学
摘要
图上 Weisfeiler-Leman 等价族是一类被广泛研究的图同构近似，具有多种不同的刻画。我们研究这些等价，以及由精化算子和 Schurian 多项式逼近格式（SPAS）定义的其它同构近似。SPAS 的一般框架使我们能够研究基于 Weisfeiler-Leman 精化、带计数的逻辑、Evdokimov 和 Ponomarenko 所定义的 Weisfeiler-Leman 提升、Dawar 和 Holm 引入的可逆映射测试及其变体等精化算子的若干参数，并建立它们之间的关系。
引用
@article{arxiv.1906.00914,
title = {Generalizations of $k$-Weisfeiler-Leman stabilization},
author = {Anuj Dawar and Danny Vagnozzi},
journal= {arXiv preprint arXiv:1906.00914},
year = {2020}
}
备注
To appear on the 'Moscow International Journal of Number Theory and Combinatorics'