Definition:Vertex Coloring