Canonization of a random graph by two matrix-vector multiplications
Computational Complexity
2024-01-23 v2
Abstract
We show that a canonical labeling of a random -vertex graph can be obtained by assigning to each vertex the triple , where is the number of walks of length starting from . This takes time , where is the input size, by using just two matrix-vector multiplications. The linear-time canonization of a random graph is the classical result of Babai, Erd\H{o}s, and Selkow. For this purpose they use the well-known combinatorial color refinement procedure, and we make a comparative analysis of the two algorithmic approaches.
Cite
@article{arxiv.2312.03686,
title = {Canonization of a random graph by two matrix-vector multiplications},
author = {Oleg Verbitsky and Maksim Zhukovskii},
journal= {arXiv preprint arXiv:2312.03686},
year = {2024}
}
Comments
31 pages, 3 Figures. The proof of Part 2 of Theorem 1 is given in this version in more detail. The proof of Theorem 3 is also revised