Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
Abstract
An assignment of colours to the vertices of a graph is stable if any two vertices of the same colour have identically coloured neighbourhoods. The goal of colour refinement is to find a stable colouring that uses a minimum number of colours. This is a widely used subroutine for graph isomorphism testing algorithms, since any automorphism needs to be colour preserving. We give an $O((m+n)\log n)$ algorithm for finding a canonical version of such a stable colouring, on graphs with $n$ vertices and $m$ edges. We show that no faster algorithm is possible, under some modest assumptions about the type of algorithm, which captures all known colour refinement algorithms.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.08251
- arXiv:
- arXiv:1509.08251
- Bibcode:
- 2015arXiv150908251B
- Keywords:
-
- Computer Science - Data Structures and Algorithms;
- Computer Science - Computational Complexity
- E-Print:
- An extended abstract of this paper appeared in the proceedings of ESA'13, LNCS 8125, pp. 145-156