[Guvante]

Fun fact, one of the reasons the four color problem is hard to prove is there isn't an algorithm that can color a map in four colors.

Well beyond effectively trivial ones where you try over and over again.

But the algorithm for coloring with five is pretty easy (relatively speaking still involves fun graph theory)