The Graph Isomorphism Problem: Local Certificates for Giant Action

09/23/2019
by   Tim Seppelt, et al.
0

This thesis provides an explanation of László Babai's quasi-polynomial algorithm for the Graph Isomorphism Problem published in 2015 with a particular focus on the case of local certificates, i.e. the case that cannot be dealt with by Luks' method. The thesis extends the explanations provided by Harald Andrés Helfgott in 2017. It is concluded that the complexity of Babai's algorithm is (C (log n)^3) for n the number of vertices, C a constant. Group theoretical and combinatorial arguments are used to give more details on Babai's method of local certificates. They treat Luks' barrier case in which the imprimitve permutation group G can be mapped onto an alternating group with large domain.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset