Bibliothèque Tangente. N° 54. Le théorème des quatre couleurs. p. 56-57.
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 : Les types de graphes dans Bibliothèque Tangente n° 54 – Les graphes.
Il est également paru dans Tangente Hors-série 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 , 2015 Collection Bibliothèque Tangente Num. 54 Format 17 cm x 24 cm, p. 56-57
ISBN 2-84884-136-2 EAN 9782848841366 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification