Graph coloring# The four color theorem on a planar map: exact backtracking vs. greedy coloring. The four color theorem: coloring a planar map The four color theorem: coloring a planar map