通过渐近论证证明Dvorak-Dell-Grohe-Rattan定理
组合数学
2025-07-22 v1 离散数学
数据结构与算法
摘要
两个图 若被Weisfeiler--Leman同构测试区分，则存在一棵树 其对 和 的homomorphism数不同。该事实已有两种已知证明——Dvorak的逻辑证明和Dell、Grohe、Rattan的线性代数证明。我们给出另一简洁的证明，基于对WL标签的排序和渐近论证。
引用
@article{arxiv.2507.14669,
title = {Dvorak-Dell-Grohe-Rattan theorem via an asymptotic argument},
author = {Alexander Kozachinskiy},
journal= {arXiv preprint arXiv:2507.14669},
year = {2025}
}