Sciweavers

ALENEX
2007

ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm

13 years 5 months ago
ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm
We present a novel randomized approach to the graph isomorphism problem. Our algorithm aims at solving difficult instances by producing randomized certificates for non-isomorphism. We compare our implementation to the de facto standard nauty. On many of the hardest known instances, the incidence graphs of finite projective planes, our program is considerably faster than nauty. However, it is inherent to our approach that it performs better on pairs of non-isomorphic graphs than on isomorphic instances. Our algorithm randomly samples substructures in the given graphs in order to detect dissimilarities between them. The choice of the sought-after structures as well as the tuning of the search process is dynamically adapted during the sampling. Eventually, a randomized certificate is produced by which the user can verify the non-isomorphism of the input graphs. As a byproduct of our approach, we introduce a new concept of regularity for graphs which is meant to capture the computation...
Martin Kutz, Pascal Schweitzer
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where ALENEX
Authors Martin Kutz, Pascal Schweitzer
Comments (0)