No TL;DR found
In this paper we observe the problem of counting graph colorings using polynomials. Several reformulations of The Four Color Conjecture are considered (among them algebraic, probabilistic and arithmetic). In the last section Tutte polynomials are mentioned.