The Graph Isomorphism Problem: Local Certificates for Giant Action

MaRDI QIDQ6325799zbMATH OpenFDO

Authors Tim Seppelt

Publication date 23 September 2019

Mathematics Subject Classification ID

Group actions on combinatorial structures (05E18) Primitive groups (20B15) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10)

Abstract: This thesis provides an explanation of L'aszl'o 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'es Helfgott in 2017. It is concluded that the complexity of Babai's algorithm is $expleft(Cleft(lognight{)}^{3}ight)$ 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.

This page was built for publication: The Graph Isomorphism Problem: Local Certificates for Giant Action

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325799)