/5
0 avis
PROBLÈME DES QUATRE COULEURS
Article
Edité par Encyclopædia Universalis - 2017
Résolu en 1976 par Kenneth Appel et Wolfgang Haken de l'université d'Illinois, le problème des quatre couleurs offre une triple particularité : sa popularité, due à la simplicité suggestive de son énoncé ; les nombreux efforts faits pour le résoudre, qui ont fécondé toute la branche de la topologie combinatoire appelée théorie des graphes (cf. théorie des graphes, en particulier le chapitre Coloriage) ; sa solution, enfin, qui n'a pu être obtenue qu'avec l'aide très considérable de l'ordinateur : c'est le premier théorème général établi par cette voie.
- Sujets