Used to color each vertex of a graph in such a way that no two adjacent vertices have the same color.