Chromatic Polynomials

If one were to delve into the fascinating combinatorial branch of mathematics that is graph theory, it would not take too long at all for one to encounter the infamous four colour theorem. It was proposed that for any planar graph, it would always be possible to colour any vertex in one of four colours such that no pair of vertices connected by a shared edge would be of the same colour. This theorem, formally proposed in 1852, had been left unproven for years, baffling the minds of great mathematicians for over a century, until it was rigorously proven in 1976 by Kenneth Appel and Wolfgang Haken, with the aid of computer calculation and algorithms which were obviously not to hand at the time [2]. In the decades that the proof was left undiscovered, many mathematicians have tried to tackle the problem with various approaches. One attempt proposed by George David Birkhoff in 1912, was the introduction of chromatic polynomials, a set of polynomials in variable λ which could be used to define the number of possible colourings of a given graph using λ colours. If Birkhoff could prove that every chromatic polynomial of a planar graph was strictly greater than zero in the case where λ = 4, then each planar graph would have at least one 4-colouring, which would prove the four colour theorem to be correct [1]. Sadly, Birkhoffs efforts were unfruitful for their initial goal. However, chromatic polynomials have been since further studied, with mathematicians achieving results that will be shown in this very paper, which have been helpful in finding the number of colourings for various graphs, compounds and augmentations.