(mathematics) The assignment of a color to each vertex of a graph such that each color class forms an independent set in the graph or its complement