Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Anuj Dawar, Erich Grädel, Wied Pakusa

Invertible map equivalences are approximations of graph isomorphism that refine the well-known Weisfeiler-Leman method. They are parametrised by a number k and a set Q of primes. T…