Mais o sont les quatre couleurs ?

Gilles Deyris
Agrg de mathmatiques, professeur en classe de MP au lyce Paul Valry, Paris.
Ayant tudi le problme d'informatique du concours 2001 de l'cole Polytechnique, j'ai t
intrigu par les rfrences au thorme des quatre couleurs, qui ( part pour le nombre 4)
n'apparaissait pas de manire vidente dans l'nonc. J 'ai donc emmen en vacances The four
color problem de Saaty et Kainen pour tcher d'y voir clair ; l'objet de cette note,
presqu'entirement tire de cet ouvrage, est d'claircir le lien entre l'nonc et le thorme des
quatre couleurs.

Partie I
Plantons le dcor
Partie II
Coloriage Polytechnique
Partie III
O il apparat que ce cas n'est pas si particulier
Bibliographie

Partie I
Plantons le dcor
1 Graphes plans
On s'intressera ici uniquement des graphes simples non orients. Un tel graphe est un
couple o (l'ensemble des sommets) est un ensemble fini et (l'ensemble des artes)
est un ensemble de paires de sommets ; concrtement, on peut se reprsenter un tel
graphe comme un ensemble de points, les sommets, certains tant relis par des courbes, les
artes. Deux sommets relis par une arte seront dits adjacents.

On notera qu'un tel graphe n'a pas de boucle (arte allant d'un sommet lui-mme) ni d'artes
parallles (deux artes joignant une mme paire de sommets).

Si l'on peut donner une telle reprsentation du graphe dans le plan , de manire ce que
deux artes distinctes ne se rencontrent pas ailleurs qu'en leurs extrmits, on dit que le graphe
est plan. Plus rigoureusement, il est toujours possible de donner une telle reprsentation d'un
graphe dans l'espace : il suffit d'associer chaque sommet de , un point de , de
manire ce que trois de ces points ne soient jamais aligns, et quatre de ces points jamais
coplanaires. Chaque arte est alors reprsente par le segment ; les conditions
imposes aux assurent que ces segments ne peuvent se rencontrer qu'en leurs extrmits. On
dit alors que le graphe est plan si l'ensemble ainsi construit est homomorphe une partie de .
Page 1sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...
2 Cartes et graphes
Dans toute la suite, on appellera abusivement graphe plan, non pas le graphe lui-mme, mais un
plongement dans de ce graphe, vrifiant les conditions mentionnes ci-dessus.

Une carte est alors un graphe plan ; les composantes connexes du complmentaire de ce graphe
dans sont appeles les rgions ou faces de cette carte (notons qu'une carte dfinit une seule
rgion non borne) ; les artes incluses dans la frontire d'une rgion sont les cts de cette
rgion ; deux rgions sont dites adjacentes si elles ont un ct commun.

On associe chaque carte un graphe dual : les sommets de sont les rgions de la carte, et
une arte joint deux sommets si et seulement si les rgions correspondantes sont adjacentes. Il
est facile de se convaincre qu'un tel graphe est plan ; pour en obtenir une ralisation dans , il
suffit de placer un sommet dans chaque rgion ; pour chaque paire de rgions
adjacentes, on choisit un point sur un ct commun, diffrent des extrmits de ce ct. On
relie alors chaque sommet aux points correspondants par des courbes simples et non
scantes incluses dans , ce qui fournit les artes du graphe. Inversement on peut dmontrer
que tout graphe plan est dual d'une carte.

Le thorme des quatre couleurs affirme alors que l'on peut colorier les rgions d'une carte
l'aide de quatre couleurs distinctes, de manire ce que deux rgions adjacentes soient toujours
de couleurs diffrentes ; de manire quivalente (en considrant le graphe dual), on peut colorier
les sommets d'un graphe plan l'aide de quatre couleurs, de manire ce que deux sommets
adjacents soient de couleurs diffrentes, ce que l'on appellera un coloriage propre.
3 La formule d'Euler
Un chemin dans un graphe est une suite finie , de sommets telle que, pour tout
, et soient adjacents ; autrement dit, c'est un trajet dans le graphe, du
sommet , le long des artes du graphe. Un graphe est dit connexe si, pour tout couple
de sommets distincts, il existe un chemin de .

Un circuit de longueur dans un graphe est une suite telle que ,
les sommets sont deux deux distincts, et chaque sommet de la suite est
adjacent au suivant. Il est clair que, dans le cas d'un graphe plan, un tel circuit spare le plan en
deux composantes connexes distinctes, intrieure et extrieure au circuit.

Les graphes plans connexes vrifient alors la formule d'Euler :

Page 2sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...
Thorme 1 Soit un graphe plan connexe, ayant sommets, artes et faces ; alors
.

On peut raisonner par rcurrence sur le nombre de faces. Si , c'est que le graphe
connexe ne contient aucun circuit, c'est--dire est ce que l'on appelle un arbre en thorie des
graphes. C'est alors un rsultat classique de thorie des graphes que l'arbre vrifie ,
d'o le rsultat.

Supposons le rsultat tabli pour tout graphe ayant moins de faces, o , et soit un
graphe plan connexe faces. Puisque , il contient au moins un circuit ; choisissons une
arte sur un circuit. Puisqu'elle est sur un circuit, les deux faces et situes de part et
d'autre de cette arte sont distinctes.

En supprimant cette arte, le graphe obtenu est toujours plan et connexe, puisque l'arte
supprime est sur un circuit ; de plus a faces, puisque et ne forment plus qu'une
face de . Par suite vrifie la formule d'Euler ; puisque a faces, sommets et
artes, le graphe la vrifie aussi.

On en dduit le

Corollaire Soit un graphe plan connexe, ayant sommets et artes ; alors .

Notons le nombre de faces du graphe ; chaque face a au moins trois cts (le graphe n'a pas de
boucles ni d'artes parallles), et chaque ct est dans la frontire d'au plus deux faces : on a
donc et donc , d'o le rsultat.

Ce rsultat permet de dmontrer facilement que certains graphes ne sont pas plans ; par exemple,
le graphe complet sur 5 sommets (c'est--dire le graphe 5 sommets tous adjacents) est
connexe et a 10 artes et 5 sommets, donc n'est pas plan.

Partie II
Coloriage Polytechnique
1 Graphes hamiltoniens
Page 3sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...
Un circuit dans un graphe est dit hamiltonien s'il passe par tous les sommets du graphe ; un
graphe est hamiltonien s'il admet un circuit hamiltonien. Ce n'est pas le cas de tous les graphes
plans, le contre-exemple classique tant le graphe du dodcadre.

Un graphe plan hamiltonien peut alors se reprsenter comme un polygone (un circuit
hamiltonien, contenant donc tous les sommets du graphe) plus un certain nombre d'artes ne
faisant pas partie du circuit, joignant des sommets du polygone soit intrieurement, soit
extrieurement au polygone.

D'autre part, un graphe plan est dit triangulaire si toutes ses faces ont trois cts. L'nonc de
Polytechnique s'intressait des triangulations de polygones convexes, c'est--dire un
dcoupage d'un polygone convexe en triangles, l'aide de cordes joignant des sommets du
polygone. On voit donc que, si on ne s'intresse qu' la structure de graphe, une telle
triangulation reprsente en fait soit la partie intrieure, soit la partie extrieure au circuit
hamiltonien d'un graphe plan triangulaire hamiltonien.
2 Sortez vos crayons de couleur
Soit un polygone cts, dans lequel on particularise l'arte .
L'nonc proposait alors d'associer chaque triangulation de ce polygone un arbre binaire, dont
la racine est l'arte , les feuilles les autres artes, et les n uds internes les cordes de la
triangulation. Cet arbre est dfini rcursivement de la manire suivante :
* si le polygone se rduit un segment, alors l'arbre se rduit la feuille correspondante ;
* sinon, on considre le troisime sommet du triangle de ct . Les cordes
et dcoupent alors le polygone initial en un triangle et
deux polygones et , ces deux polygones tant
eux-mmes trianguls par la triangulation de dpart. L'arbre associ a alors pour racine
, qui a deux fils et , eux-mmes racines des sous-arbres associs
aux triangulations de et , dans lesquelles on a
respectivement particularis les artes et .
Plus concrtement, chaque corde de la triangulation est un n ud interne de l'arbre ; les
deux fils de ce n ud sont les segments et , formant avec le triangle
situ sous , c'est--dire du ct oppos l'arte particulire ; autrement dit
si .

Enfin l'nonc dfinissait un flot sur un arbre binaire comme une suite d'lments non nuls de
Page 4sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...
, chacun tant associ une feuille de l'arbre ; la valeur associe chaque n ud interne
pour ce flot tant dfinie rcursivement comme la somme des valeurs associes ses deux fils.
On s'intressait alors aux flots compatibles avec l'arbre, c'est--dire ceux pour lesquels aucun n
ud n'avait pour valeur .

Supposons les sommets du polygone colors l'aide de quatre couleurs, de manire ce que
deux sommets relis par une arte ou une corde soient de couleurs distinctes. Attribuons
chaque couleur une valeur diffrente dans , et notons la valeur ainsi associe chaque
sommet . Considrons enfin le flot pour lequel la valeur associe l'arte est
pour tout

Montrons que la valeur associe chaque segment est alors si . C'est vrai
pour les feuilles de l'arbre ; si c'est vrai pour les deux fils d'un n ud interne o ,
on a vu que ses deux fils taient de la forme et , o ; le rsultat est
alors trivialement vrai pour ce n ud.

Mais alors, puisque deux sommets relis par un segment ont des couleurs diffrentes, les valeurs
associes chaque segment sont toutes non nulles, et donc le flot ainsi construit est compatible
avec l'arbre.

Inversement, un flot compatible fournit un coloriage propre des sommets ; si est la valeur du
flot pour l'arte , il suffit d'attribuer une couleur arbitraire au sommet , puis de
dfinir la couleur des pour par .

Il s'agissait donc bien dans l'nonc de colorier un graphe : partant d'un graphe triangulaire
hamiltonien sommets dans lequel on a choisi un circuit hamiltonien, les parties du graphe
extrieure et intrieure au circuit peuvent s'interprter comme deux triangulations d'un mme
polygone sommets ; trouver un flot compatible avec les deux arbres associs revient
trouver un coloriage des sommets dans lequel deux sommets adjacents (extrieurement ou
intrieurement au circuit) ont des couleurs diffrentes.

Partie III
O il apparat que ce cas n'est pas si particulier
1 Graphes plans maximaux
On appelle graphe plan maximal un graphe plan auquel on ne peut rajouter d'arte sans lui faire
perdre son caractre plan. Puisque l'on ne peut de toutes faons ajouter qu'un nombre fini d'artes
Page 5sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...
un graphe donn, il est clair que, partant d'un graphe plan non maximal , on peut en dduire
un graphe plan maximal en lui ajoutant des artes.

Si l'on connat un coloriage propre de , on en dduit alors un coloriage propre de de
manire vidente. Pour prouver le thorme des quatre couleurs, il suffit donc de montrer que
tout graphe plan maximal admet un coloriage propre.

Soit un graphe plan triangulaire ; en reprenant la dmonstration du corollaire du I.3, on voit
que ce graphe vrifie l'galit ; compte tenu du corollaire, il est donc clair qu'un
graphe triangulaire est maximal. On va maintenant tablir la rciproque, en commenant par un
lemme technique.

Lemme Si une face d'un graphe plan a au moins quatre cts, alors deux des sommets de la
frontire de cette face ne sont pas adjacents.

Supposons trouve une face d'un graphe plan ayant au moins quatre sommets, qui sont tous
adjacents. Choisissons quatre de ces sommets, et rajoutons un sommet l'intrieur de cette face ;
on peut le relier par des artes aux quatre sommets choisis sans perdre le caractre plan de notre
graphe. Mais alors ces cinq sommets et les artes les reliant forment le graphe complet , dont
on a vu qu'il n'est pas plan, contradiction.

Thorme 2 Tout graphe plan maximal est triangulaire.

Le rsultat est maintenant vident : si un graphe plan n'est pas triangulaire, une face a au moins
quatre cts et deux sommets non adjacents. On peut alors relier ces deux sommets par une arte
traversant la face en conservant un graphe plan, le graphe n'est donc pas maximal.

L'nonc ne perdait donc pas en gnralit en considrant uniquement des graphes triangulaires.

2 Triangles sparateurs
Une des ides de base dans l'attaque du thorme des quatre couleurs est de raisonner par
l'absurde, en supposant l'existence de graphes plans n'admettant pas de coloriage propre, et de
considrer parmi ces graphes un graphe minimal quant au nombre de sommets, que l'on peut
toujours supposer triangulaire par le paragraphe prcdent ; si l'on arrive montrer que l'on peut
dduire un coloriage propre de ce graphe de coloriages propres de graphes plus petits (coloriages
qui existent forcment grce l'hypothse de minimalit), on obtient la contradiction cherche.

On appelle triangle sparateur dans un graphe connexe , un circuit de
longueur 3, tel que la suppression de ces trois sommets (et videmment des artes y ayant une de
leurs extrmits) transforme en un graphe non connexe.
Page 6sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...

Thorme 3 Un graphe triangulaire minimal n'admet pas de triangle sparateur.

Soit un graphe triangulaire minimal. Supposons, de plus, que ce graphe admette un triangle
sparateur . La suppression de dcompose en composantes connexes . Notons le
graphe constitu des sommets de et de toutes les artes les joignant dans . La
minimalit de montre que chaque admet un coloriage propre.

Puisque les trois sommets de sont adjacents, leurs couleurs dans chaque coloriage sont
distinctes ; on peut donc clairement permuter les couleurs de chaque coloriage pour que les
sommets de aient les mmes couleurs dans tous les coloriages. Mais alors ces coloriages
dfinissent un coloriage propre de , contradiction.

On dispose enfin du thorme suivant :
Thorme 4 Tout graphe maximal plan sans triangle sparateur est hamiltonien.

J e citerai ici Saaty et Kainen : The proof of the theorem consists of a lengthy enumeration of
cases and we shall not give it here .

J oint aux rsultats prcdents, cela montre que, pour dmontrer le thorme des quatre couleurs,
il suffit de montrer que tout graphe triangulaire et hamiltonien possde un coloriage propre ; d'o
la pertinence de la situation examine par le sujet de Polytechnique.
3 Une formulation arithmtique
du thorme des quatre couleurs
Considrons une expression de la forme . On peut la parenthser de diverses
manires pour que chaque symbole ne s'applique qu' deux sous-expressions. Un
parenthsage peut tre dcrit par un arbre binaire dont les feuilles sont les et les n uds
internes correspondent aux symboles , l'arbre correspondant une expression de la forme
ayant comme sous-arbres gauche et droit, respectivement les arbres correspondant
aux sous-expressions et .

Quand on value une telle expression en respectant le parenthsage, le rsultat de chaque
addition effectue sera appel somme partielle ; chacune de ces sommes partielles est la somme
des termes compris entre deux parenthses associes. C'est la valeur de la sous-expression
entoure par ces parenthses, qui est reprsente par un sous-arbre de l'arbre global.
Page 7sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...

La construction du dbut de l'nonc, partant d'un flot et d'un arbre binaire ,
associait une valeur chaque n ud interne de l'arbre, de manire ce que la valeur associe un
n ud soit la somme des valeurs associes ses deux fils ; cela s'interprte donc comme le calcul
de pour le parenthsage dfini par l'arbre , les sommes partielles tant les
valeurs des n uds internes.

Trouver un flot compatible avec un arbre donn revient donc, pour un parenthsage donn,
trouver des valeurs non nulles dans pour les nombres , de manire ce
qu'aucune somme partielle ne soit nulle.

Tout ce qui prcde montre que le rsultat suivant est quivalent au thorme des quatre
couleurs :

Thorme 5 tant donns deux parenthsages de l'expression , on peut
choisir pour les des valeurs non nulles dans , de faon qu'aucune somme partielle pour
chaque parenthsage ne soit nulle.

Bibliographie
1 Saaty et Kainen, The four color problem, assaults and conquest, MacGraw-Hill, 1977.
2 Bollobs, Modern graph theory, Springer (GTM 184), 1998.
3 Whitney, A theorem on graphs, An. Math., vol. 32, pp. 378-390, 1931, (pour le thorme
4).
4 Whitney, A numerical equivalent of the four color map problem, Monatshefte fur
Mathematik und Physik, pp. 207-213, 1937, (le thorme 5 est quivalent au T4C).

Page 8sur 8 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=257&Type=enonce&Num=0&Mode=...