F# map coloring algorithm