Grafi e retiMaps

Il problema dei quattro colori è stato risolto nel 1976 da Wolfgang Haken e Kenneth Appel usando un computer. Ridussero l'infinito numero di possibili mappe in 1936 esempi speciali, che furono controllati da un computer per un totale di oltre 1000 ore.