Grafikoni i mrežeMaps

Mali napredak postignut je u vezi s problemom četiri boje do 1976. godine, kada su Wolfgang Haken i Kenneth Appel upotrijebili računalo da bi ga konačno riješili. Smanjili su beskonačno mnogo mogućih karata na posebne slučajeve iz 1936., koje je svaki provjeravao računar koji je ukupno trajao više od 1000 sati.