Grafos e RedesMaps

Pouco progresso foi feito no problema das quatro cores até 1976, quando Wolfgang Haken e Kenneth Appel usaram um computador para finalmente resolvê-lo. Eles reduziram infinitamente muitos mapas possíveis para 1936 casos especiais, cada um verificado por um computador, levando mais de 1000 horas no total.