Graphes et réseauxMaps

En 1852, l’étudiant en botanique Francis Guthrie doit colorier une carte des comtés d’Angleterre. Il a observé que quatre couleurs semblaient suffisantes pour toutes les cartes testées, mais il n’a pas été en mesure de trouver une preuve valable pour toutes les cartes. Cela s'est avéré être un problème extrêmement difficile et a été baptisé théorème des quatre couleurs.

Au cours des 100 années suivantes, de nombreux mathématiciens ont publié des «preuves» du théorème des quatre couleurs, uniquement pour que des erreurs soient trouvées ultérieurement. Certaines de ces preuves non valides étaient si convaincantes qu'il a fallu plus de 10 ans pour découvrir des erreurs.

Pendant longtemps, les mathématiciens ont été incapables de prouver que quatre couleurs suffisaient ou de trouver une carte nécessitant plus de quatre couleurs.