Vertex coloring problem