The chromatic polynomial of a graph 𝐺, denoted π (𝐺, 𝑥), is the polynomial whose evaluations at positive integers 𝑥 count the number of (proper) 𝑥-colourings of 𝐺. This polynomial was introduced by Birkhoff in 1912 ...