Graph isomorphism in quasipolynomial time: [Extended abstract]

Babai, László (2016) Graph isomorphism in quasipolynomial time: [Extended abstract]. In: 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016. Proceedings of the Annual ACM Symposium on Theory of Computing (19-21-). Association for Computing Machinery, Cambridge (MA), pp. 684-697. ISBN 9781450341325

Text 1512.03547.pdf Restricted to Registered users only Download (843kB) | Request a copy

Abstract

We show that the Graph Isomorphism (GI) problem and the more general problems of String Isomorphism (SI) and Coset Intersection (CI) can be solved in quasipolynomial (exp((logn)O(1))) time. The best previous bound for GI was exp(O(√n log n)), where n is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, exp(Õ(√ n)), where n is the size of the permutation domain (Babai, 1983). Following the approach of Luks's seminal 1980/82 paper, the problem we actually address is SI. This problem takes two strings of length n and a permutation group G of degree n (the "ambient group") as input (G is given by a list of generators) and asks whether or not one of the strings can be transformed into the other by some element of G. Luks's divide-and-conquer algorithm for SI proceeds by recursion on the ambient group. We build on Luks's framework and attack the obstructions to efficient Luks recurrence via an interplay between local and global symmetry. We construct group theoretic "local certificates" to certify the presence or absence of local symmetry, aggregate the negative certificates to canonical k-ary relations where k = O(log n), and employ combinatorial canonical partitioning techniques to split the k-ary relational structure for efficient divide-andconquer. We show that in a well-defined sense, Johnson graphs are the only obstructions to effective canonical partitioning. The central element of the algorithm is the "local certificates" routine which is based on a new group theoretic result, the "Unaffected stabilizers lemma," that allows us to construct global automorphisms out of local information. © 2016 ACM.

Actions (login required)

Edit Item