one of the most famous and productive problems of graph theory is the four color problem: "is it true that any map drawn in the plane may have its regions colored with four colors, in such a way that any two regions having a common border have different colors?"