Tangente Hors-série. N° 54. p. 30-31. Le théorème des quatre couleurs.

Auteurs : Casiro Francis ; Cohen Gilles ; Rittaud Benoît

Résumé

Tous les cartographes savent que l’on peut colorier n’importe quelle carte avec quatre couleurs, deux pays de frontière commune ayant des couleurs différentes. Cet article montre comment le transfert de ce problème dans le cadre de la théorie des graphes a permis, avec l’aide de l’ordinateur, d’aboutir à la première preuve de ce résultat. Depuis Georges Gonthier et Benjamin Wermer ont obtenu une preuve formelle en 2004.

Notes

Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Développements actuels dans Tangente Hors-série n° 54 – Les graphes.
Il est également paru dans Bibliothèque Tangente n° 54 – Les graphes , Tangente Hors-série n° 12 – Les graphes : de la théorie des jeux à l’intelligence artificielle.

Données de publication

Éditeur Editions POLE Paris , 2014 Format A4, p. 30-31
ISSN 1294-9949

Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19

Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier