GRAPH COLORINGS
Consider a graph G. A vertex coloring, or simply a coloring of G is an assignment of colors to the vertices
of G such that adjacent vertices have different colors. We say that G is n-colorable if there exists a coloring of G
which uses n colors. (Since the word “color” is used as a noun, we will try to avoid its use as a verb by