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

The world in four colors
▻https://visionscarto.net/the-world-in-four-colors

Title: The world in four colors Keywords: #Algorithms #Coloring #Constraints Author: Philippe Rivière Projection: Bertin, 1953 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 satisfaction”. To compute this map, we used the (...) #Map_collection