Chromatic polynomial | |
---|---|
Input | Graph G with n vertices. |
Output | Coefficients of |
Running time | for some constant |
Complexity | #P-hard |
Reduction from | #3SAT |
#k-colorings | |
---|---|
Input | Graph G with n vertices. |
Output | |
Running time |
In P for . for . Otherwise for some constant |
Complexity | #P-hard unless |
Approximability | No FPRAS for |
The chromatic polynomial is a polynomial studied in algebraic graph theory, a branch of mathematics. It counts the number of graph colorings as a function of the number of colors and was originally defined by George David Birkhoff to attack the four color problem. It was generalised to the Tutte polynomial by H. Whitney and W. T. Tutte, linking it to the Potts model of statistical physics.
George David Birkhoff introduced the chromatic polynomial in 1912, defining it only for planar graphs, in an attempt to prove the four color theorem. If denotes the number of proper colorings of G with k colors then one could establish the four color theorem by showing for all planar graphs G. In this way he hoped to apply the powerful tools of analysis and algebra for studying the roots of polynomials to the combinatorial coloring problem.