文摘
The chromatic polynomial gives the number of proper colourings of a graph in at most colours. If , then is said to have a chromatic factorisation of order with chromatic factors and . It is clear that, if , any with chromatic number is the chromatic factor of some chromatic factorisation of order . We show that every with , even when contains no triangles, is the chromatic factor of some chromatic factorisation of order and give a certificate of factorisation for this chromatic factorisation. This certificate shows in a sequence of seven steps using some basic properties of chromatic polynomials that a graph has a chromatic factorisation with one of the chromatic factors being . This certificate is one of the shortest known certificates of factorisation, excluding the trivial certificate for chromatic factorisations of clique-separable graphs.