scispace - formally typeset
Open AccessPosted Content

Graph Isomorphism in Quasipolynomial Time

TLDR
The algorithm builds on Luks’s SI framework and attacks the barrier configurations for Luks's algorithm by group theoretic “local certificates” and combinatorial canonical partitioning techniques and shows that in a well-defined sense, Johnson graphs are the only obstructions to effective canonical partitioned.
Abstract
We show that the Graph Isomorphism (GI) problem and the related problems of String Isomorphism (under group action) (SI) and Coset Intersection (CI) can be solved in quasipolynomial (exp (logn) O(1) � ) time. The best previous bound for GI was exp(O( √ nlogn)), where n is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, exp( e O( √ n)), where n is the size of the permutation domain (Babai, 1983). The algorithm builds on Luks’s SI framework and attacks the barrier configurations for Luks’s algorithm by group theoretic “local certificates” and combinatorial canonical partitioning techniques. We show that in a well-defined sense, Johnson graphs are the only obstructions to effective canonical partitioning.

read more

Citations
More filters
Proceedings Article

How Powerful are Graph Neural Networks

TL;DR: In this paper, the expressive power of GNNs to capture different graph structures is analyzed and a simple architecture for graph representation learning is proposed. But the results characterize the discriminative power of popular GNN variants and show that they cannot learn to distinguish certain simple graph structures.
Journal ArticleDOI

Adiabatic quantum computation

TL;DR: In this paper, the equivalence of the adiabatic and circuit models of quantum computation has been proved, and the placement of quantum computations in the more general classification of computational complexity theory is discussed.
Journal ArticleDOI

Deep Learning on Graphs: A Survey

TL;DR: Deep learning has been shown to be successful in a number of domains, ranging from acoustics, images, to natural language processing as discussed by the authors. However, applying deep learning to the ubiquitous graph data is non-trivial because of the unique characteristics of graphs.
Posted Content

Deep Learning on Graphs: A Survey

TL;DR: This survey comprehensively review the different types of deep learning methods on graphs by dividing the existing methods into five categories based on their model architectures and training strategies: graph recurrent neural networks, graph convolutional networks,graph autoencoders, graph reinforcement learning, and graph adversarial methods.
Posted Content

How Powerful are Graph Neural Networks

TL;DR: This work characterize the discriminative power of popular GNN variants, such as Graph Convolutional Networks and GraphSAGE, and show that they cannot learn to distinguish certain simple graph structures, and develops a simple architecture that is provably the most expressive among the class of GNNs.
References
More filters
Journal ArticleDOI

Finite Permutation Groups.

Book

Permutation Groups

Journal ArticleDOI

Practical graph isomorphism, II

TL;DR: Traces as mentioned in this paper is a graph isomorphism algorithm based on the refinement-individualization paradigm, and it is implemented in several of the key implementations of the program nauty.
Book

The Subgroup Structure of the Finite Classical Groups

TL;DR: In this article, a unified treatment of the theory of geometric subgroups of the classical groups, introduced by Aschbacher, is presented, and the questions of maximality and conjugacy of these groups are answered.
Journal ArticleDOI

Isomorphism of graphs of bounded valence can be tested in polynomial time

TL;DR: In this paper, it was shown that testing isomorphism of graphs of bounded valance is polynomial-time reducible to the color automorphism problem for groups with composition factors of bounded order.
Related Papers (5)