Repository logo
 

Constructing Hard Examples for Graph Isomorphism.

Accepted version
Peer-reviewed

Change log

Authors

Khan, Kashif 

Abstract

We describe a method for generating graphs that provide difficult examples for practical Graph Isomorphism testers. We first give the theoretical construction, showing that we can have a family of graphs without any non-trivial automorphisms which also have high Weisfeiler-Leman dimension. The construction is based on properties of random 3XOR-formulas. We describe how to convert such a formula into a graph which has the desired properties with high probability. We validate the method by experimental implementations. We construct random formulas and validate them with a SAT solver to filter through suitable ones, and then convert them into graphs. Experimental results demonstrate that the resulting graphs do provide hard examples that match the hardest known benchmarks for graph isomorphism.

Description

Keywords

Journal Title

J. Graph Algorithms Appl.

Conference Name

Journal ISSN

1526-1719

Volume Title

23

Publisher

Journal of Graph Algorithms and Applications

Rights

All rights reserved
Sponsorship
Alan Turing Institute (Unknown)