Çizgeler ve AğlarMaps

1976’da Wolfgang Haken ve Kenneth Appel sonunda soruyu bilgisayar yardımı ile çözene kadar dört renk probleminde çok ilerleme kaydedilemedi. Haken ve Appel sonsuz harita seçeneğini 1936 özel duruma indirip her birisini bilgisayara kontrol ettirdiler, hesaplar toplamda 1000 saatten uzun sürdü.