Preprint

Automatic proof of graph nonisomorphism

Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray


Abstract

We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machine-readable. We have developed a proof generator for graph nonisomorphism, which allows users to input graphs and construct a proof of (non)isomorphism.

This paper is available as a pdf (200kB) file.

Tuesday, May 6, 2008