1976 तक चार रंग समस्या पर थोड़ी प्रगति की गई थी, जब वोल्फगैंग होकेन और केनेथ अपेल ने अंत में इसे हल करने के लिए एक कंप्यूटर का उपयोग किया था। उन्होंने 1936 के विशेष मामलों में असीम रूप से कई संभावित मानचित्रों को कम कर दिया, जो प्रत्येक कंप्यूटर द्वारा 1000 घंटे से अधिक समय के लिए जांचे गए थे।