Software for Proper Vertex-Colouring Exploiting Graph Symmetry
摘要
We describe the methods used in the GAP package GRAPE for proper vertex-colouring a graph, including the determination of a minimum vertex-colouring and hence the chromatic number. These methods are designed to exploit the automorphism group of the graph.