The Four Color Conjecture is a well-known coloring problem of graphs. Since its advent, there are a lot of solvers. One of the early pioneers was Percy John Heawood, who has proved the Five Color ...