Gröbner bases and graph colorings.