For a nonnegative integer , the chromatic polynomial counts the proper vertex colourings of using a fixed set of colours. In a proper colouring, the endpoints of every edge have different colours. The counting function extends uniquely to a polynomial, as follows either from the recurrence below with the edgeless base case or from inclusion-exclusion.
Let . Every proper colouring of falls into exactly one of two classes. If and have different colours, it is a proper colouring of . If they have the same colour, identifying and gives a proper colouring of the contracted graph , and this correspondence is bijective. Parallel edges produced by contraction impose identical conditions and can be suppressed. Hence, at every nonnegative integer ,Since polynomials agreeing at infinitely many values agree identically, the deletion-contraction recurrence for the chromatic polynomial isThroughout, the graphs are finite and simple, as in the usual convention for these statements.
Articles by others on the same topic
There are currently no matching articles.