Graphes et réseauxMaps

Le problème des quatre couleurs n’a guère progressé jusqu’en 1976, lorsque Wolfgang Haken et Kenneth Appel utilisaient enfin un ordinateur pour le résoudre. Ils ont réduit un nombre infini de cartes possibles à 1936 cas particuliers, qui ont été vérifiés par un ordinateur prenant plus de 1000 heures au total.