The probabilistic Weisfeiler-Leman algorithm

12/24/2021

∙

by   Saveliy V. Skresanov, et al.

∙

0

∙

share

A probabilistic version of the Weisfeiler-Leman algorithm for computing the coherent closure of a colored graph is suggested. The algorithm is Monte Carlo and runs in time O(n^1+ωlog^2 n), where n is the number of vertices of the graph and ω < 2.273 is the matrix multiplication exponent.