Grafice și rețeleMaps

Nu s-au înregistrat progrese în ceea ce privește problema celor patru culori până în 1976, când Wolfgang Haken și Kenneth Appel au folosit un computer pentru a rezolva definitiv. Aceștia au redus la infinit multe hărți posibile la 1936 cazuri speciale, care au fost verificate fiecare de un computer în total peste 1000 de ore.