quattro colóri, teorèma dei-

teorema di topologia che risponde alla seguente domanda: qual è il minimo numero di colori necessari per colorare gli Stati rappresentati su una qualsiasi carta geografica in modo tale che gli stati adiacenti non abbiano lo stesso colore? Questo problema ha una formulazione equivalente in teoria dei grafi planari. Nel sec. XIX era stato congetturato che quattro colori fossero sufficienti. Nel 1890 era stato dimostrato che ogni carta geografica poteva essere colorata utilizzando al massimo cinque colori. Nel 1976 i matematici Appel e Haken hanno dimostrato in due articoli che ogni carta geografica può essere colorata con quattro colori. Nella loro dimostrazione, utilizzarono per la prima volta l'aiuto di un computer: infatti essi ricondussero tutte le configurazioni possibili a un numero limitato di casi e poi con il computer controllarono direttamente che quattro colori fossero sufficienti per tutti questi casi.