Question: What is the man who defined The chromatic polynomial best known for?
Sentence (from "Chromatic polynomial"): 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.
Relevant evidence: Yes