Linear diophantine equations, group CSPs, and graph isomorphism
SODA '17: Symposium on Discrete Algorithms Barcelona Spain January, 2017, pp. 327-339, 2017.
In recent years, we have seen several approaches to the graph isomorphism problem based on \"generic\" mathematical programming or algebraic (Gröbner basis) techniques. For most of these, lower bounds have been established. In fact, it has been shown that the pairs of non-isomorphic CFI-graphs (introduced by Cai, Fürer, and Immerman in 19...More
PPT (Upload PPT)