Tangente Hors-série. N° 12. p. 58-59. 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 : Des graphes au service de la théorie dans Tangente Hors-série n° 12 – Les graphes : de la théorie des jeux à l’intelligence artificielle
Il est également paru dans Tangente Hors-série n° 54 – Les graphes , Bibliothèque Tangente n° 54 – Les graphes.

Données de publication

Éditeur Editions POLE Paris , 2002 Format A4, p. 58-59

ISBN 2-90973-785-3 EAN 9792909737859 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