Grafer och nätverkMaps

Lite framsteg gjordes med fyra färgproblem fram till 1976, då Wolfgang Haken och Kenneth Appel använde en dator för att äntligen lösa det. De reducerade oändligt många möjliga kartor till 1936 specialfall, som vart och ett kontrollerades av en dator som tog över 1000 timmar totalt.