Extract graph coloring from the vertices