Proof of the four -
color map theorem required a computer printout so vast and dense that it could be checked only by other computer programs.
In 1879 Sir Alfred Kempe published a proof of the four -
color map theorem.
Not exact matches
The
theorem states that at least four hues are needed to paint all planar
maps so that no adjacent regions are the same
color.