Testing Graph Isomorphism in Parallel by Playing a Game

TL;DR

This paper demonstrates that graph isomorphism problems for certain classes can be efficiently tested in parallel using a game-based approach, leveraging low logical complexity and the Weisfeiler-Lehman algorithm.

Contribution

It proves that graph isomorphism for graphs of bounded treewidth is testable in TC1 and shows that Weisfeiler-Lehman suffices for AC1 algorithms for rotation systems and planar graphs.

Findings

Graph isomorphism for bounded treewidth graphs is in TC1.

Weisfeiler-Lehman algorithm achieves AC1 bounds for rotation systems.

New AC1 algorithm for planar graph isomorphism.

Abstract

Our starting point is the observation that if graphs in a class C have low descriptive complexity in first order logic, then the isomorphism problem for C is solvable by a fast parallel algorithm (essentially, by a simple combinatorial algorithm known as the multidimensional Weisfeiler-Lehman algorithm). Using this approach, we prove that isomorphism of graphs of bounded treewidth is testable in TC1, answering an open question posed by Chandrasekharan. Furthermore, we obtain an AC1 algorithm for testing isomorphism of rotation systems (combinatorial specifications of graph embeddings). The AC1 upper bound was known before, but the fact that this bound can be achieved by the simple Weisfeiler-Lehman algorithm is new. Combined with other known results, it also yields a new AC1 isomorphism algorithm for planar graphs.