map-coloring problem