Journal of Computer and System Sciences ( IF 1.1 ) Pub Date : 2020-05-06 , DOI: 10.1016/j.jcss.2020.04.003 V. Arvind , Frank Fuhlbrück , Johannes Köbler , Oleg Verbitsky
The k-dimensional Weisfeiler-Leman algorithm () is a fruitful approach to the Graph Isomorphism problem. corresponds to the original algorithm suggested by Weisfeiler and Leman over 50 years ago. is the classical color refinement routine. Indistinguishability by is an equivalence relation on graphs that is of fundamental importance for isomorphism testing, descriptive complexity theory, and graph similarity testing which is also of some relevance in artificial intelligence. Focusing on dimensions , we investigate subgraph patterns whose counts are invariant, and whose occurrence is invariant. We achieve a complete description of all such patterns for dimension and considerably extend the previous results known for .
中文翻译:
关于Weisfeiler-Leman不变性:子图计数和相关图的性质
所述ķ维Weisfeiler-莱曼算法()是解决图同构问题的有效方法。 对应于Weisfeiler和Leman在50年前提出的原始算法。 是经典的色彩优化程序。不可分辨性是图上的等价关系,这对于同构测试,描述性复杂性理论和图相似性测试(在人工智能中也有一定意义)至关重要。专注于尺寸,我们调查计数为 不变的,其出现是 不变的 我们获得了所有此类尺寸模式的完整描述 并大大扩展了先前已知的结果 。