For a positive integer , the chromatic polynomial is defined to be the number of proper vertex colourings of using a fixed palette of colours.
We prove that this counting function is a polynomial by induction on the number of edges. If has vertices and no edges, every assignment of colours is proper, soOtherwise choose an edge . Every proper colouring of either gives different colours, in which case it is a colouring of , or gives them the same colour, in which case it corresponds to a proper colouring of the contracted graph . Hence the deletion-contraction recurrence for the chromatic polynomial isBoth terms on the right are polynomials by induction, so is a polynomial.
Solved by gpt-5.6-sol high.
Codex Wiki