Vous êtes sur la page 1sur 11

D OMAINE : Combinatoire

N IVEAU : Avanc
C ONTENU : Cours et exercices

A UTEUR : Vincent J UG
S TAGE : Montpellier 2013

Graphes finis et infinis

Dans ce cours, nous verrons principalement deux grands rsultats sur les
graphes : le thorme des mariages de Hall et le thorme de Ramsey. Le premier rsultat nous informe que, dans un graphe biparti contenant beaucoup
dartes, il est possible dapparier les sommets du graphe. Le second, quant
lui, concerne les grands graphes complets bicolores, dont on peut extraire de
pas si grands graphes complets monochromatiques.
Dans chaque cas, on tudiera lextension de ces rsultats des graphes infinis : quels thormes sappliquent naturellement aux graphes infinis ? Et sous
quelle forme ? En effet, comme on peut sy attendre, deux noncs quivalents
sur les graphes finis ne le sont plus ncessairement sur les graphes infinis.
- Thorme des mariages de Hall Thorme 1 (Thorme des mariages de Hall). Soit G = (A B, E) un graphe
biparti fini, dont les deux composantes indpendantes sont A et B, et dont les
artes forment lensemble E. tout sous-ensemble X de A, on associe le sousensemble E(X) = {b B : a X, (a, b) E} des sommets de B relis au
moins un sommet de X. Les deux propositions suivantes sont quivalentes :
1. il existe injection f : A B telle que chaque paire (a, f(a)) soit une arte
appartenant effectivement E on appelle une telle fonction un couplage
saturant de A ;
2. pour toute partie X A, |E(X)| > |X|.
Dmonstration. Avant leffort, le rconfort : montrons dabord que la proposition 1 implique la proposition 2. Pour ce faire, supposont que la proposition 1
est bien vrifie. On considre alors une partie X A, et f : A B un couplage saturant. Alors f(X) E(X), de sorte que |E(X)| > |f(X)| = |X|, donc que
la proposition 2 est vrifie aussi.
1

Passons maintenant la partie difficile : comme souvent en thorie des


graphes, on va procder par rcurrence (mme sil existe dautres manires de
procder, la littrature tant abondante sur ce sujet) et montrer que la proposition 2 implique la proposition 1. Tout dabord, notons que le rsultat est vident si |A| = 1. On suppose donc que |A| > 2, et on distingue deux cas :
Si tout sous-ensemble propre X de A (cest--dire tel que ( X ( A) est
tel que |E(X)| > |X| + 1, alors on apparie au hasard un sommet a A
et un sommet b B tel que (a, b) E et on dcide que f(a) = b. Le
graphe G 0 induit par les sommets A B \ {a, b} est un sous-graphe strict
de G, et satisfait la proposition 2, donc lhypothse de rcurrence indique
quon peut apparier ses sommets sans encombre. Ce faisant, on a appari
lensemble des sommets de G.
Si A admet un sous-ensemble propre X tel que |E(X)| = |X|, considrons
les graphes G 0 et G 00 , respectivement induits par les sommets X E(X) et
(A B) \ (X E(X)) : ce sont deux sous-graphes stricts de G, et il est clair
que G 0 satisfait la proposition 2. En outre, si X 0 est une partie de A \ X, soit
Y = E(X 0 )\E(X). Alors E(XX 0 ) = E(X)Y, donc |Y| = |E(XX 0 )||E(X)| >
|X X 0 | |X| = |X 0 | : cela signifie que G 00 satisfait galement la proposition
2. On peut donc apparier les lments de X E(X), ainsi que les ceux de
(A B) \ (X E(X)), montrant ainsi que la proposition 1 est vrifie.
Les propositions 1 et 2 simpliquant lune lautre, elles sont bien quivalentes.
On peut galement reformuler le thorme des mariages de Hall de manire
plus image comme suit : supposons que lon veut marier n filles n garons,
de manire ce que chaque individu aime bien son poux(se). Cela nous est
possible si et seulement si, ds quon prend un groupe de k filles, lensemble
des garons quaime bien au moins une des filles de groupe est de cardinal k
ou plus.
Exercice 1 Sur une plante extrasolaire vit une espce alien dont la population
est compose de 3 sexes : les hommes, les femmes et les matheux. Une famille
panouie consiste en lunion de 3 personnes, une de chaque sexe, qui saiment
toutes mutuellement. En outre, lamiti est rciproque : si x aime y, alors y
aime x.
Cette espce veut envoyer n individus de chaque sexe coloniser lespace,
et souhaiterait former autant de familles panouies que possible avec ces 3n
personnes. La seule information dont on dispose est que chaque individu aime
au moins k personnes de chacun des deux autres sexes :
2

1. Montrer que, si n = 2k, il se peut que lon ne puisse former aucune famille
panouie.
2. Montrer que, si 4k > 3n, il est possible de former n familles panouies
disjointes.
Une fois le thorme des mariages de Hall prouv pour tous les graphes
bipartis finis, une question naturelle se pose : quarrive-t-il si on considre
un graphe biparti infini dnombrable ? La difficult est que lon peut crire
le thorme de plusieurs manires diffrentes, qui seront quivalentes si lon
regarde un graphe fini, mais ne le seront pas si lon regarde un graphe infini.
Si on sy prend de manire nave, en effet, on fait chou blanc :
Exercice 2 (Thorme infini des mariages de Hall extension nave) Soit G =
(A B, E) un graphe biparti infini dnombrable, dont les deux composantes A
et B sont infinies. tout sous-ensemble X de A, on associe le sous-ensemble
E(X) = {b B : a X, (a, b) E} des sommets de B relis au moins
un sommet de X. Montrer que les deux propositions suivantes ne sont pas
quivalentes :
1. il existe un couplage saturant f : A B ;
2. pour toute partie finie X A, E(X) est infini, ou bien de cardinal |E(X)| >
|X|.
Cela dit, il est toujours possible dtendre le thorme de manire moins
nave, et alors nos efforts seront couronns de succs. En particulier, si on
oblige le graphe G navoir que des sommets de degr fini, alors tout se passe
bien :
Exercice 3 (Thorme infini des mariages de Hall extension moins nave)
Soit G = (A B, E) un graphe biparti infini dnombrable, dont les deux composantes A et B sont infinies, et dont tout sommet est de degr fini. tout
sous-ensemble X de A, on associe le sous-ensemble E(X) = {b B : a
X, (a, b) E} des sommets de B relis au moins un sommet de X. Montrer
que les deux propositions suivantes sont quivalentes :
1. il existe un couplage saturant f : A B ;
2. pour toute partie finie X A, E(X) est de cardinal |E(X)| > |X|.
Exercice 4 Soit G = (A B, E) un graphe biparti dont les deux composantes
indpendantes, A et B, sont infinies dnombrables. On suppose que tout sommet est de degr fini non nul et que, pour toute arte (a, b) E avec a A
3

et b B, deg(a) = deg(b). Montrer quil existe un couplage saturant bijectif


f : A B.
- Thormes de coloriage Thorme 2 (Thorme de Ramsey
bicolore). Soit g, r et b trois entiers naturels

r+b2
non nuls tels que g > r1 . Alors tout graphe complet Kg dont les artes
sont colories en rouge et bleu contient soit un sous-graphe Kr dont les artes
sont colories en rouge, soit un sous-graphe Kb dont les artes sont colories
en bleu.
Dmonstration. On procde par rcurrence sur r et b. Tout dabord, si r = 1 ou
b = 1, le rsultat est vident (vu que le graphe K1 ne comporte aucune arte).
Ensuite, si r > 2 et b > 2, considrons un
 sommet
 v du graphe Kg . v est
r+b2
r+b3
r+b3
appartient g 1 > r1 1 = r2 + r1 1 artes, donc soit

v appartient au moins r+b3
artes rouges, soit v appartient au moins
r2

r+b3
artes bleues.
r1

Si v est reli R > r+b3
sommets par des artes rouges, on considre le
r2
sous-graphe KR form par ces R sommets. Par hypothse de rcurrence,
KR contient soit un sous-graphe Kb dont les artes sont bleues (et a fortiori
Kg contient Kb ), soit un sous-graphe Kr1 dont les artes sont rouges ; dans
ce second cas, en adjoignant le sommet v au graphe Kr1 , on obtient bien
un sous-graphe Kr du graphe
 Kn , et dont les artes sont rouges.
r+b3
Si v est reli B > r1 sommets par des artes bleues, alors, pour
exactement les mmes raisons, Kg contient soit un sous-graphe Kr dont
les artes sont rouges, soit un sous-graphe Kb dont les artes sont bleues.
Dans tous les cas, on en dduit que Kg contient effectivement soit un sousgraphe Kb dont les artes sont bleues, soit un sous-graphe Kr dont les artes
sont rouges. Ceci clt notre rcurrence, et donc la preuve du thorme.
Intuitivement, le thorme de Ramsey dit que, pour obtenir soit un graphe
complet Kr avec des artes rouges, soit un graphe complet Kb avec des artes
bleues, il suffit de colorier en rouge et bleu les artes dun trs gros graphe
complet. En particulier, on peut sintresser lentier minimal R2 (r, b) tel que
tout graphe complet bicolore Kg avec g > R2 (r, b) contient un de nos graphes
Kr ou Kb . Le nombre R2 (r, b) est appel nombre de Ramsey bicolore.
En outre, on peut tendre le thorme de Ramsey au cas o on colorie les
artes du graphe Kg avec n couleurs au lieu de 2 : il existe un entier minimal
4

Rn (s1 , . . . , sn ), appel nombre de Ramsey n couleurs, tel que tout graphe complet n-colore Kg avec g > Rn (s1 , . . . , sn ) contient un graphes Ksi monochrome :
Exercice 5 (Thorme de Ramsey n couleurs). On considre n > 2 couleurs
C1 , . . . , Cn et n entiers naturels s1 > > sn > 2. Soit
n (s1 + + sn 2n)! Y
(sj 1)
g>
n 1 (s1 2)! . . . (sn 2)!
n1

j=1

un entier naturel, et Kg un graphe complet g sommets dont on a colori les


artes avec les n couleurs ci-dessus. Montrer quil existe un entier i tel que Kg
contient un sous-graphe complet Ksi si sommets dont toutes les artes sont
de couleur Ci .
Cette gnralisation n couleurs permet de rsoudre de nombreux problmes, par exemple en thorie des nombres :
Exercice 6 (Thorme de Schur). Soit (P1 , . . . , Pn ) une partition de lensemble
N des entiers naturels non nuls. Montrer quil existe un ensemble Pi et deux
lments x, y Pi tels que x + y Pi .
On peut alors sinterroger sur la gnralisation ventuelle de ce thorme
des graphes infinis : si on colorie en bleu et rouge les artes dun graphe infini,
obtient-on une composante bleue ou rouge infinie ? La rponse est oui !
Exercice 7 (Thorme infini de Ramsey). Soit K un graphe complet infini
dont on colorie les artes avec k couleurs. Alors K contient un sous-graphe
complet infini dont les artes sont toutes de la mme couleut.
De manire gnrale, les rsultats sur le coloriage des graphes se montrent
bien en utilisant des notions de compacit : si on dispose dun coloriage local
des sommets ou des artes dun graphe, on peut ltendre peu peu en un
coloriage de plus en plus grand, jusqu colorier toute partie finie du graphe,
et finalement le graphe lui-mme.
Exercice 8 On admet que tout graphe planaire fini admet un coloriage de ses
sommets en bleu, rouge, vert tel que nul cycle de longueur impaire ne soit
monochrome. Montrer que ce rsultat stend aux graphes planaires infinis
dnombrables.
- Solutions des exercices Solution de lexercice 1 On traite les questions lune aprs lautre.
5

1. On identifie lensemble des 3n = 6k individus au produit cartsien {F, H, M}


(Z/2Z) (Z/kZ) les triplets (F, i, j) reprsentent les femmes, les paires
(H, i, j) les hommes, les paires (M, i, j) les matheux. Supposons alors que
chaque femme (F, i, x) aime uniquement les hommes (H, i, y) et les matheux
(M, i, y) et que chaque homme (H, i, x) aime uniquement les femmes (F, i, y)
et les matheux (M, i + 1, y) o (i, x, y) dcrit lensemble (Z/2Z)
(Z/kZ)2 . On a ici une configuration o chacun aime k personnes des deux
autres sexes, mais o nulle famille panouie ne peut exister.
2. On va appliquer deux fois successivement le thorme des mariages de
Hall. On introduit dabord le graphe G = (F H, E) dont les artes sont
les paires (f, h) telles que f aime h. Soit X F un ensemble non vide de
femmes, et E(X) lensemble des hommes aims par au moins une femme
f X. Si |X| 6 k, alors ncessairement |E(X)| > k > |X| ; si |X| > k, alors soit
h un homme quelconque. h aime au moins k femmes, et k + |X| > 2k > n,
de sorte que h aime au moins une femme appartenant X, cest--dire que
h E(X) : dans ce deuxime cas, |E(X)| = |H| = n > |X|. G vrifie donc
la proprit 2 du thorme des mariages de Hall : on peut scinder les
hommes et les femmes en n couples c1 , c2 , . . . , cn dont les deux membres
saiment.
Maintenant, soit C lensemble {c1 , c2 , . . . , cn } des couples ainsi forms, et
G 0 = (M C, E 0 ) le graphe dont les artes sont les paires (m, c) telles que
m aime les deux membres du couple c : on dit que m et que le couple c
saiment. Soit m un matheux quelconque ; il existe au plus n k couples
dont il naime pas la femme, et n k couples dont il naime pas lhomme,
donc m aime au moins 2k n couples. Rciproquement, soit c = (f, h) un
couple quelconque ; il existe au plus n k matheux que f naime pas, et
n k mahteux que m naime pas, donc c aime au moins 2k n matheux.
Soit Y M un ensemble non vide de matheux, et E 0 (Y) lensemble des
couples aims par au moins un matheux m Y. Si |Y| 6 2k n, alors
ncessairement |E 0 (Y)| > 2kn > |Y| ; si |Y| > 2kn, alors soit c un couple
quelconque. c aime au moins 2nk matheux, et 2nk+|Y| > 4n2k > n,
de sorte que c aime au moins un matheux appartenant Y, cest--dire
que c E 0 (Y) : dans ce deuxime cas, |E(Y)| = |M| = n > |Y|. G 0 vrifie
donc la proprit 2 du thorme des mariages de Hall : on peut scinder
les matheux et les couples en n paires qui saiment mutuellement. Cela
revient scinder F H M en n familles panouies, ce qui tait lobjectif
de notre dmonstration.
6

Solution de lexercice 2 Il nous suffit de trouver un exemple de graphe satisfaisant la proprit 2 mais pas la proprit 1 : le voici. On considre le graphe
G = (AB, E) o A = {0}N, B = {1}N, et o ((0, i), (1, j)) E si et seulement
si i = 0 ou i = j + 1. Tout dabord, si X A est une partie telle que (0, 0) X,
alors E(X) = B est bien infini ; si (0, 0)
/ X, alors E(X) = {(1, j) : (0, j + 1) X}
est de mme cardinal que X. Cela montre que G satisfait la proprit 2.
Cependant, si f : A B est un couplage saturant, alors f envoie la paire
(0, 0) sur une paire (1, i), avec i N. Mais alors f envoie galement la paire
(0, i+1) sur la paire (1, i), et ne peut tre injective, ce qui contredit son caractre
de couplage saturant. Ainsi, la proprit 1 nest pas satisfaite.
Solution de lexercice 3 Tout dabord, la proprit 1 implique, comme dans le
cas du thorme des mariages fini, la proprit 2. On se penche donc sur le
sens rciproque : soit G = (A B, E) un graphe vrifiant la proprit 2.
On numrote alors les sommets de A = {a0 , a1 , . . .}, puis les ensembles de
sommets An = {a0 , a1 , . . . , an } ainsi que E(An ) = {b B : a An , (a, b) E}.
On considre alors, pour chaque entier naturel n, le sous graphe Gn induit par
les sommets An E(An ). Gn est fini et satisfait la proprit 2, donc il existe un
couplage saturant fn : An E(An ).
On procde maintenant en utilisant des arguments de compacit : en utilisant le principe des tiroirs, il existe un lment b0 voisin de a0 tel que lensemble F0 = {n N : fn (a0 ) = b0 } est infini. Puis il existe un lment b1 voisin de
a1 tel que lensemble F1 = {n F0 : n > 1, fn (a1 ) = b1 } est infini (et alors
b1 6= b0 ). On continue par rcurrence, en choissant un lment bk+1 voisin de
ak+1 tel que lensemble Fk+1 = {n Fk : n > k + 1, fn (ak+1 ) = bk+1 } est infini.
Ce faisant, il savre que la fonction f : A B telle que f (ak ) = bk pour
tout entier naturel k est bien un couplage saturant.
Solution de lexercice 4 On montre tout dabord que le graphe G satisfait le critre
2 de lextension moins nave du thorme des mariages de Hall : si X A est
un ensemble fini, alors
X deg(b)
X
1
|E(X)| =
=
deg(b)
deg(b)
bE(X)

>

aX,bE(X):(a,b)E

aA,bE(X):(a,b)E

X
1
=
deg(b)

aX bB:(a,b)E

X deg(a)
1
=
= |X|
deg(a)
deg(a)
aX

En particulier, on en dduit lexistence dun couplage saturant f : A B ; en


outre, A et B jouant des rles symtriques, il existe galement un couplage
7

saturant g : B A.
On numrote alors les lments de B = {b0 , b1 , . . .}, puis on construit une
suite de couplages saturants fn : A B tels que {b0 , b1 , . . . , bn1 } fn (A). On
part de f0 = f, puis on procde comme suit : si bn fn (A), alors fn+1 = fn ; si
bn
/ fn (A), les choses se corsent. On construit alors par rcurrence la suite (uk )
telle que u0 = bn , u2k+1 = g(u2k ) et u2k+2 = fn (u2k+1 ). Notons que, puisque
f g est injective et que u0
/ f(A), on sait que u0 nest gal aucun autre
terme uk , donc les termes u2k+2 sont deux deux distincts, et les termes u2k+1
se retrouvent deux deux distincts eux aussi. On dfinit alors fn+1 : A B de
sorte que fn+1 (u2k+1 ) = u2k pour tout entier k, et fn+1 (v) = fn (v) si v
/ {uk :
k N}.
Enfin, numrotons les lments de A = {a0 , a1 , . . .} puis procdons par compacit : il existe un lment 0 voisin de a0 tel que lensemble F0 = {n
N : fn (a0 ) = 0 } est infini. Puis il existe un lment 0 voisin de b0 tel que
lensemble F00 = {n N : fn (0 ) = b0 } est infini (on peut ventuellement avoir
a0 = 0 ). On continue par rcurrence, ds lors que lon dispose des ensembles
Fk0 et des points i , i tels que i 6 k : on choisit un lment k+1 voisin de
ak+1 tel que lensemble Fk+1 = {n N : n > k + 1, fn (ak+1 ) = k+1 } est infini,
0
puis un lment k+1 voisin de bk+1 tel que lensemble Fk+1
= {n N : n >
k + 1, fn (k+1 ) = bk+1 } est infini. Notons que, ce faisant, les i et les i sont
deux deux distincts. En outre, il savre que la fonction f : A B telle que
f (ak ) = k pour tout entier naturel k est bien un couplage saturant et bijectif.
Solution de lexercice 5 Lide est de procder de la mme manire que dans
la preuve du thorme de Ramsey bicolore. On obtiendra alors une borne
suprieure sur le nombre de Ramsey n couleurs, borne que lon pourra ellemme majorer pour aboutir la relation demande.
Tout dabord, notons que le thorme de Ramsey n couleurs na que peu
dintrt quand n = 1 (on a R1 (s1 ) = s1 ) ou quand sn = 1 (tout graphe au
moins 1 sommet convient). En outre, par symtrie, il est bnin de considrer
uniquement les cas o s1 > s2 > > sn . on va montrer par rcurrence que la
fonction Rn est bien dfinie, et en obtenir un majorant.
Supposons donc que P
lon dispose dun entier k tel que Rn (s1 , . . . , sn ) est
bien dfini ds lors que ni=1 si 6 kP: k = n est un tel entier. Montrons que
Rn (s1 , . . . , sn ) est aussi dfini quand ni=1 si = k + 1. Pour cela, de deux choses
lune.
Si sn = 1, on a dj dit que Rn (s1 , . . . , sn ) = 1, qui est donc bien dfini.
8

P
Si sn > 2, on va montrer que Rn (s1 , . . . , sn ) 6 g, o g = 2n+ ni=1 Rn [s1 , . . . , sn ]i ,
o [s1 , . . . , sn ]i dsigne le n-uplet (s1 , . . . , si1 , si 1, si+1 , . . . , sn ). En effet,
si Kg est un graphe complet g sommets, on colorie ses artes avec de
n couleurs C1 , . . . , Cn , puis on choisit un sommet quelconque v de Kg .
Par principe des tiroirs, il existe une couleur Ci telle que v est reli au
moins g 1 sommets, donc Rn [s1 , . . . , sn ]i sommets par des artes de
couleur Ci : soit K 0 le sous-graphe induit par cet ensemble de sommets. Si
K 0 contient un sous-graphe complet Ksj de couleur Cj (avec i 6= j) , alors
Kg contient galement ce sous-graphe complet ; si K 0 contient un sousgraphe complet Ksi 1 de couleur Ci , alors en adjoignant le sommet v
ce sous-graphe, on forme un sous-graphe complet Ksi de Kg , qui entirement colori avec Ci . Par hypothse de rcurrence, on est forcment dans
un des deux cas ci-dessus : cela signifie que Rn (s1 , . . . , sn ) est bien dfini,
et au plus gal g.
En particulier, on peut en dduire que Rn (s1 , . . . , sn ) est major par la fonction Sn (s1 , . . . , sn ), symtrique
Pnen ses variables, telle que Sn (s1 , . . . , sn1 , 1) = 1
et Sn (s1 , . . . , sn ) = 2 n + i=1 Sn [s1 , . . . , sn ]i si s1 > > sn > 2. En introduisant la fonctionPTn = (n 1)Sn (n 2), on obtient Tn (s1 , . . . , sn1 , 1) = 1
et Tn (s1 , . . . , sn ) = ni=1 Tn [s1 , . . . , sn ]i si s1 > > sn > 2.
En outre, tudions ici un objet combinatoire : les chemins progressants dans
Zn : il sagit de chemins finis o lon passe dun point au suivant en ajoutant 1
une coordonne. Le nombre de chemins progressant dorigine (a1 , . . . , an ) et
n a1 an )!
:
dextrmit (b1 , . . . , bn ) est gal au coefficient multinomial (b1(b++b
1 a1 )!...(bn an )!
on a simplement dcid des bi ai instants o lon dcidait daugmenter la
i-me coordonne.
La relation de rcurrence sur Tn nous indique alors que Tn (s1 , . . . , sn ) est
gal aux nombres de chemins progressants de Zn dont :
lorigine a une coordonne gale 1 ;
nul autre point na de coordonne gale 1 ;
lextrmit est le point (s1 , . . . , sn ).
Lorigine dun tel chemin a donc une unique coordonne gale 1 : on en
n a1 an )!
dduit donc que Tn (s1 , . . . , sn ) est gal la somme des (s1(s++s
, o :
a
1
1 )!...(sn an )!
on a choisi un i 6 n tel que ai = 2 ;
chaque coefficient aj (avec i 6= j) est compris entre 2 et sj .
(s1 ++sn 2n)!
En particulier, chacun des coefficients multinomiaux vaut au plus (s
;
1 2)!...(sn 2)!
Q
Qn1
pour chaque i 6 n, on additionne j6=i (sj 1) 6 j=1 (sj 1) tels coefficients,
9

Q
soit au plus n n1
j=1 (sj 1) coefficients multinomiaux au total.
(s1 ++sn 2n)! Qn1
Il sensuit que Tn (s1 , . . . , sn ) 6 n (s
j=1 (sj 1). Or, Rn (s1 , . . . , sn )
1 2)!...(sn 2)!
est un entier tel que
Rn (s1 , . . . , sn ) 6 Sn (s1 , . . . , sn ) =

Tn (s1 , . . . , sn ) + n 2
1
< 1+
Tn (s1 , . . . , sn ).
n1
n1

Cela montre que, si g est un entier tel que


1
n (s1 + + sn 2n)! Y
(sj 1),
g>
Tn (s1 , . . . , sn ) =
n1
n 1 (s1 2)! . . . (sn 2)!
n1

j=1

alors g > Rn (s1 , . . . , sn ), ce qui conclut lexercice.


Solution de lexercice 6 On considre le nombre de Ramsey n couleurs Rn (3, 3, . . . , 3),
que lon notera R dans la suite. Soit alors le graphe complet KR dont les sommets sont les entiers {0, 1, . . . , R 1}. on en colorie les artes avec n couleurs
C1 , C2 , . . . , Cn : on colorie larte (i, j) avec la couleur Ck telle que |i j| Pk .
Alors, par dfinition du nombre de Ramsey n couleurs, KR admet un triangle
monochromatique : on suppose, sans perte de gnralit, que ses artes sont
de couleur C1 , et on note i < j < k ses trois sommets. En particulier, si on pose
x = k j, y = j i et z = k i, alors x, y et z appartiennent P1 , et x + y = z.
Solution de lexercice 7 On va procder, comme dhabitude, par rcurrence : on
cre une suite densembles infinis F0 F1 . . . de sommets de K , une suite
de couleurs C0 , C1 , . . . et une suite de sommets distincts a0 , puis a1 F0 ,a2
F1 , . . . tels que, pour un entier i donn, artes de la forme (ai , v) avec v Fi
sont toutes de colories avec la couleur Ci .
Tout dabord, on commence en prenant un sommet a0 K : a0 appartient
une infinit dartes, colories en seulement k couleurs, donc on peut choisir
une couleur C0 et un ensemble F0 de sommets tels que (a0 , v) soit toujours de
la couleur C0 quelque soit v F0 .
Ensuite, on suppose quon dispose dj des sommets a0 , . . . , ai , des couleurs
C0 , . . . , Ci et des ensembles F0 Fi . Alors on choisit un sommet ai+1 Fi
quelconque, diffrent de tous les ai vus jusque l. Puisque Fi est infini, il existe une couleur Ci+1 et un ensemble Fi+1 Fi infini tel que larete (ai , v) soit
de couleur Ci+1 pour tout sommet v Fi+1 . Ce processus nous permet bien
dobtenir des suites (Fn ), (Cn ) et (an ) infinies.
Maintenant, vu que la suite (Cn ) prend un nombre fini de valeurs, il existe
une couleur C telle que lensemble X = {n N : Cn = C } soit infini.
10

Le sous-graphe induit par lensemble de sommets aX = {an : n X} est un


graphe complet infini dont toutes les artes sont de couleur C , ce qui prouve
le thorme 7.
Solution de lexercice 8 Soit G = (V, E) un graphe planaire tel que V est infini
dnombrable. On numrote lensemble de ses sommets V = {v0 , v1 , . . .}. En
outre, pour tout entier naturel n, on considre lensemble de sommets Vn =
{v0 , v1 , . . . , vn }, ainsi que le sous-graphe fini Gn induit par Vn . Alors il existe
un coloriage Cn : Vn {bleu, rouge, vert} de Gn sans cycle monochrome de
longueur impaire.
En particulier, il existe un ensemble infini F0 N et une couleur c0 tels que
Ck (v0 ) = c0 pour tout entier k F0 . Puis, si on dispose dun ensemble infini
Fn N et de couleurs c0 , c1 , . . . , cn tels que Ck (vi ) = ci pour tous les entiers k
Fn et i 6 n, alors il existe un ensemble infini Fn+1 Fn et une couleur cn+1 tels
que Ck (vn+1 ) = cn+1 pour tout entier k Fn+1 tel que k > n + 1. On considre
alors le coloriage C : V {bleu, rouge, vert} tel que C (vn ) = cn pour tout
entier n N. Il apparat alors que C nadmet pas de cycle monochrome de
longueur impaire.
En effet, supposons quun tel cycle C existe : C tant fini, il existe un entier n
tel que C ne contient que des sommets de Vn . En outre, on considre un entier
` Fn et le coloriage associe C` . Puisque C` (vk ) = ck = C (vk ) pour tout entier
k 6 n, il sensuit que C est un cycle monochrome de longueur impaire pour
le coloriage C` : lexistence dun tel cycle est incompatible avec la dfinition
de C` . On en conclut donc que notre supposition tait fausse, ce qui conclut
lexercice.

11