当前位置: X-MOL 学术J. Comput. Syst. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On Weisfeiler-Leman invariance: Subgraph counts and related graph properties
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 (k-WL) is a fruitful approach to the Graph Isomorphism problem. 2-WL corresponds to the original algorithm suggested by Weisfeiler and Leman over 50 years ago. 1-WL is the classical color refinement routine. Indistinguishability by k-WL 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 k=1,2, we investigate subgraph patterns whose counts are k-WL invariant, and whose occurrence is k-WL invariant. We achieve a complete description of all such patterns for dimension k=1 and considerably extend the previous results known for k=2.



中文翻译:

关于Weisfeiler-Leman不变性:子图计数和相关图的性质

所述ķ维Weisfeiler-莱曼算法(ķ--WL)是解决图同构问题的有效方法。 2--WL 对应于Weisfeiler和Leman在50年前提出的原始算法。 1个--WL是经典的色彩优化程序。不可分辨性ķ--WL是图上的等价关系,这对于同构测试,描述性复杂性理论和图相似性测试(在人工智能中也有一定意义)至关重要。专注于尺寸ķ=1个2,我们调查计数为 ķ--WL 不变的,其出现是 ķ--WL不变的 我们获得了所有此类尺寸模式的完整描述ķ=1个 并大大扩展了先前已知的结果 ķ=2

更新日期:2020-05-06
down
wechat
bug