Planar graphs
Four color theorem
Wolfgang Haken
Kenneth Appel
Reduction
Chordal graph
Five color theorem
Graph theory
Mathematics
Graph coloring