Il teorema dei quattro colori afferma che data una superficie piana divisa in regioni connesse sono sufficienti quattro colori per colorare ogni regione facendo in modo che regioni adiacenti non abbiano lo stesso colore.     La più antica traccia di questo problema si trova in una lettera che nel 1852 il matematico Augustus de Morgan inviò a William Rowan Hamilton, in cui si riporta l'enunciato del teorema come congettura formulta da un suo studente, Frederik Guthrie, diventato poi un fisico.     Da allora sono stati sviluppati molti tentativi di dimostrazione del teorema, che hanno condotto, indirettamente, a molti risultati nell'ambito della teoria dei grafi. Una dimostrazione è stata infine trovata nel 1976 da parte di Kenneth Appel e Wolfgang Haken, due matematici dell'Università dell'Illinois.