The United States in four colors
▻https://visionscarto.net/the-united-states-in-four-colors
Title: The United States in four colors Keywords: #Algorithms #Coloring #Constraints Author: Philippe Rivière Date: April 2021 A mathematical theorem demonstrates that four colors are enough to color any map (without two contiguous regions sharing the same color, of course). In practice, coloring can be done by hand with patience, or by algorithmic techniques of “logic programming/answer set programming” or “constraint programming”. To compute this map, we used the Clingo solver (...) #Map_collection