Vous êtes sur la page 1sur 59

Partie 1

Marie-Christine Costa
ENSTA-UMA-CEDRIC-Paris
Optimisation
dans les
Graphes
2011-2012
MPRO - OG
Marie-Christine Costa, Frdric Meunier, Eric Soutif
2
Avertissement
Ce polycopi est celui de la vido-projection
utilise en cours. Il est incomplet et ne peut
remplacer l'assistance aux cours.
Les dmonstrations et les corrigs des exercices
seront faits au tableau.
Sauf indication contraire, les graphes considrs,
G=(V,E), sont des graphes simples, sans boucle,
non orients et comportant au moins un sommet.
3
PLAN
0. Quelques dfinitions de thorie des graphes
1. Connectivit et coupes
Quelques proprits
Connectivit
Coupes
2. Couplages et facteurs
Quelques proprits
Couplages dans les graphes bipartis
Couplages, couvertures et stables
3. Multiflots entiers et multicoupes
0
Quelques dfinitions de la
thorie des graphes
connatre avant le dbut
du cours
5
Graphe orient ou Digraph
Un graphe orient G = (V,E) est dfini par:
-un ensemble V dont les lments sont appels sommets
-un ensemble E, E _VxV, dont les lments sont appels arcs
x est appel extrmit initiale de l'arc (x,y) (on pourra noter xy quand il n'y a pas d'ambigut)
y est appel extrmit terminale de l'arc (x,y)
Successeur: tout sommet x de V on associe, par l'application multivoque G
+
, l'ensemble de ses successeurs G
+
(x), c.a.d. des sommets qui sont extrmit
terminale d'un arc dont x est extrmit initiale. On peut dfinir G=(V,G
+
).
Chemin: squence d'arcs de E telle que l'extrmit terminale d'un arc concide avec l'extrmit initiale de l'arc suivant (sauf, ventuellement, pour le
dernier).
Circuit: chemin dont le premier sommet concide avec le dernier
chemin (resp. circuit) hamiltonien: chemin (resp. circuit) qui passe une fois et une seule par chaque sommet.
chemin (resp. circuit) eulrien: chemin (resp.) circuit qui passe une fois et une seule par chaque arc.
arte: arc "sans orientation", paire de sommets note en gnral [x,y] (on pourra noter xy quand il n'y a pas d'ambigut)
Graphe non orient: G= (V,A) t.q. A est un ensemble d'artes.
Voisin: tout sommet x de V on associe, par l'application multivoque G, l'ensemble de ses voisins G(x), c.a.d. des sommets qui sont extrmit d'une arte
dont x est l'autre extrmit. On peut dfinir G=(V,G).
Chane squence d'artes (resp arcs) telle que toute arte (resp arc) a une extrmit commune avec l'arte (resp arc) prcdente (except la premire) et
l'autre avec l'arte (resp arc) suivante (except la dernire).
Cycle: chane dont les deux extrmits concident (et qui ne passe pas 2 fois par la mme arte). En gnral on considre qu'un cycle ne passe pas 2 fois par
le mme sommet.
Connexit: un graphe est connexe si toute paire de sommet est relie par une chane au moins.
Forte connexit: un graphe orient est fortement connexe si entre tout couple (x,y) de sommets il existe un chemin de x y (et donc aussi de y x).
6
Sous-graphe induit: G' est un sous-graphe de G=(V,E) si G'=(V',E') avec V' c V et E' c E et les arcs de E' sont les arcs de E qui ont leurs 2 extrmits dans
V'. (Il s'obtient en supprimant certains sommets et les arcs dont une extrmit au moins a t supprime).
Graphe partiel: G" est un graphe partiel de G=(V,E) si V"=V et E" c E. (Un graphe partiel s'obtient en supprimant certains arcs). On peut considrer des
sous-graphes partiels obtenus en supprimant des sommets et des arcs.
P proprit maximale (resp. minimale) pour un ensemble B _ A: Il n'existe pas C _ A tel que B c C (resp C c B) et C vrifie P
Composante connexe (resp. f-connexe) de G: sous-graphe connexe (resp f-connexe) maximal (c..d. non inclus dans un autre sous-graphe connexe).
Un arc est incident intrieurement son extrmit terminale et incident extrieurement son extrmit initiale.
Degr: d(x)=nombre d'arcs (ou d'artes) incidents x
Demi-degr intrieur (resp extrieur): d-(x) (resp d+(x)) = nombre d'arcs incidents intrieurement (resp extrieurement) x.
Graphe rduit : tant donn un graphe G=(X,E), on appelle graphe rduit de G le graphe G
r
=(F
r
,E
r
) o F
r
est l'ensemble des composantes fortement
connexe de G (F
r
= {C
1
, C
2
, ..,C
n
}) et o (C
i
,C
j
) e E
r
si et seulement si il existe un sommet a de C
i
et un sommet b de C
j
tels que (a,b) E.
Graphe complet K
n
=(V,E): x e V et y e V, (x,y) e E
Graphe biparti G= (V,E)= (X,Y,E) tel que V=X Y et si (x,y) e E alors, x e X et y e Y.
Graphe biparti complet K
nn
=(X,Y,E): x e X et y e Y, (x,y) e E
Thorme dEuler
Un multigraphe connexe G admet une chane eulrienne si et seulement si le nombre de sommets de degr impair est 0 ou 2.
Fermeture transitive de G=(V,E) t(G)=(V,t(E)) tel que pour tout (x,y) e V
2
: (x,y) e t(E) il existe un chemin de x y dans G
Ensemble stable de G = (V, G) S _ V tel que deux sommets distincts de S ne sont jamais adjacents, soit si G(S) S = C.
Clique de G Sous-graphe G' de G tel que tous les sommets de G' sont relis 2 2
7
Graphe planaire il est possible de le reprsenter sur un plan de sorte que deux artes ne se rencontrent pas en dehors de leurs extrmits.
Thorme de Kuratowski Un (multi)graphe est planaire si et seulement si il n'admet pas comme sous-graphe partiel un graphe rductible K
5
ou un
graphe rductible K
3,3
. (K
5
graphe complet de 5 sommets. K
3,3
graphe biparti complet de 3+3 sommets).
Formule dEuler Dans un graphe planaire connexe possdant n sommets, m artes et f faces, on a n - m + f = 2
Nombre chromatique de G g(G), le plus petit nombre de couleurs ncessaires pour colorier les sommets de G de sorte que 2 sommets adjacents ne
soient pas de mme couleur.
Arbre H est connexe et sans cycle ; admet n-1 artes ; en ajoutant une arte on cre un et un seul cycle ;
si on supprime une arte quelconque, il n'est plus connexe ; tout couple de sommets est reli par une chane et une seule
Racine dun graphe orient: sommet r tel qu'il existe un chemin de r tout autre sommet du graphe.
Arborescence arbre orient muni d'une racine
il existe un sommet r qui est reli tout autre sommet par un chemin unique ; il existe un sommet r tel que d
-
(r)=0 et d
-
(x)=1 pour tout x r
Line graph (graphe dual, graphe aux artes) d'un graphe G=(V,E): L(G)=(E,A): les somemts de L(G) sont les artes de G et une arte de L(G) relie 2
artes adjacentes de G.
Couplage Ensemble d'artes disjointes Couplage parfait: couplage qui sature tous les sommets Arte sature: arte du couplage
Chane alterne Chane dont les artes sont alternativement sature et non sature. Chane alterne augmentante a ses deux extrmits non satures.
Transfert le long d'une chane alterne pour un couplage M change le long de cette chane entre les artes du couplage et celles hors du couplage
Couverture des artes par les sommets (vertex cover) : sous-ensemble C de sommets tel que chaque arte a au moins une extrmit dans C.
Couverture des sommets par les artes (edge cover): sous-ensemble d'artes A tel que tout sommet est extrmit d'une arte de A.
Algorithmes connatre : Dcomposition en composantes connexes ou fortement connexes, Mise en ordre (ou niveau), Recherche de chemins min ou max,
flot et coupe (Ford-Fulkerson), arbre couvrant, couplage max dans un graphe biparti (marquage)
Bibliographie :
Graphes C. Berge Dunod
Introduction to graph theory West Prentice Hall
Graphes et algorithmes Gondran et Minoux Eyrolles
8
d(G) = degr min de G = min{d(x), xeV}
D(G) = degr max de G = max{d(x), xeV}
a(G) = cardinal maximal d'un stable de G
n (G) = cardinal maximal d'un couplage de G
t(G) = cardinal minimal d'une couverture des artes par les
sommets ou transversal ou "vertex cover" de G
r(G) = cardinal maximal d'une couverture des sommets par les
artes ou "edge cover" de G
c(G) = cardinal maximal d'une coloration des sommets de G
w(G) = cardinal maximal d'une clique de G
Notations (Schrijver)
1
Connectivit
et
Coupes
10
Graphe k-rgulier G t.q. d(G) = D(G) = k
Proposition 1.1.1 Le nombre de sommets d'un graphe
de degr impair est pair.
Proposition 1.1.2 Tout graphe comprend une chane de
longueur suprieure ou gale d(G)
Corollaire Si d(G)2 alors G contient un cycle de
longueur suprieure ou gale d(G)+1
1.1 Quelques proprits
11
"Pigeon hole principle" (gnralis)
Si un ensemble partitionn en n classes
contient au moins kn+1 lments alors
l'une des classes contient au moins k+1
lments.
Proposition 1.1.3 Tout graphe simple d'au moins 2
sommets a au moins 2 sommets de mme degr.
Proposition 1.1.4 Le nombre maximal d'artes d'un
graphe sans triangle est
(

4
2
n
12
Graphe r-parti G=(V,E) tel que V peut tre partitionn en
r ensembles stables V
1
,,V
r
.
Graphe de Turn T
n,r
: graphe r-parti complet de n
sommets avec b parties de taille a+1 et r-b parties de
taille a avec a = et b=n-ra
(

r
n
T
8,3
13
Thorme de Turn T
n,r
est le graphe qui a le plus
d'artes parmi les graphes simples d'ordre n, sans clique
de taille r+1.
14
Graphe biparti
Proposition 1.1.5 G est un graphe biparti
G n'admet pas de cycle impair
15
Graphe biparti
Proposition 1.1.5 G est un graphe biparti
G n'admet pas de cycle impair
hyper-cube
n-cube Q
n
cycle pair
arbre
16
Graphe biparti
Proposition 1.1.5 G est un graphe biparti
G n'admet pas de cycle impair
Proposition 1.1.6 G est un graphe biparti
La matrice d'incidence de G est TU
cycle pair
arbre
hyper-cube
n-cube Q
n
17
Rappel G est connexe si toute paire de sommets de G est relie par
une chane. Composantes connexes: sous-graphes connexes
maximaux de G.
Proposition 1.2.1 G est connexe
pour toute bipartition des sommets de G il existe une
arte ayant ses extrmits dans chaque partie.
Proposition 1.2.2 G graphe simple d'ordre n vrifiant
d(G) (n-1)/2 G connexe
Remarque
Il existe des graphes non connexes tels que
1.2 Connectivit
1
2
) (
(

=
n
G o
18
Ensemble d'articulation de G=(V,E) connexe: AcV tel que le sous-
graphe induit par V-A n'est plus connexe. Point d'articulation:
sommet d'un ensemble d'articulation de cardinal 1.
k-connexit G (non complet) est k-connexe si tout
ensemble d'articulation admet au moins k sommets
Connectivit de G connexe :
k(G) = min
Ae{ensembles d'articulation}
|A| si G non complet
k(G) = n-1 si G complet
Proposition 1.2.3 G connexe k(G) d(G)
19
Thorme de Harary La connectivit maximale d'un
graphe connexe de n sommets et m artes est:
(

=
n
m 2
* k
H
8,4
H
8,5
H
9,5
20
l(x,y) nombre maximal de chanes sommets-disjointes
reliant x y.
k(x,y) cardinal du plus petit ensemble d'articulation qui
spare x et y.
Thorme de Menger Si x et y sont non adjacents alors
l(x,y) = k(x,y)
21
"Expansion lemma" Soit G un graphe k-connexe et G'
obtenu partir de G en ajoutant un sommet y G tel que
d(y) k, alors G' est k-connexe
x,U-Fan xeV, UcV, xeV Ensemble de chanes disjointes
de x aux diffrents sommets de U
U
h
g c
d
f
i
b
x
e
a
x,U-Fan pour U={d,f}
x,U-Fan theorem (Dirac) G est k-connexe
G a au moins k+1 sommets et pour tout (x,U) t.q. x e U
et |U|k, il existe un x,U'-Fan de taille k avec U'_U.
22
Rappel Soit G=(V,E) connexe. F_E est un ensemble dconnectant
si G'=(V,E-F) n'est pas connexe. Soient S_V et T_V t.q. ST=C
alors on note [S,T] l'ensemble des artes de E ayant une extrmit
dans S et l'autre dans T.
Coupe: CcE, C=[S,V-S], SC, ScV
Proposition 1.3.1 Si |V|>1, tout ensemble dconnectant
d'artes minimal est une coupe.
Arte-connectivit de G
k' (G) = cardinal minimal d'une coupe de G
k'
G
(x,y) = cardinal minimal d'une coupe sparant x de y
1.3 Coupes
23
Thorme de Whitney k (G) k' (G) d (G)
k(G) = k' (G) = d (G) si:
G est complet
G est biparti complet
G est un hypercube
G est graphe de Harary
24
"Line graph" (graphe dual) et connectivit
b
a
c
d
f x
e
y
G
25
"Line graph" (graphe dual) et connectivit
b
a
c
d
f
s
x
e
y
t
l
G
(x,y) = l
G'
(x,y) et k'
G
(x,y) = k'
G'
(x,y)
G'
26
"Line graph" (graphe dual) et connectivit
xa
xd
ad
ab
de
bd
cd
cf
ef
fy
ey
yt
sx
bc
xb
b
a
c
d
f
s
x
e
y
t
27
"Line graph" (graphe dual) et connectivit
xa
xd
ad
ab
de
bd
cd
cf
ef
fy
ey
yt
sx
bc
xb
b
a
c
d
f
s
x
e
y
t
28
"Line graph" (graphe dual) et connectivit
xa
xd
ad
ab
de
bd
cd
cf
ef
fy
ey
yt
sx
bc
xb
b
a
c
d
f
s
x
e
y
t
(Relation utile pour prouver les proprits suivantes)
29
"Line graph" (graphe dual) et connectivit
Soient G=(V,E) et deux sommets x et y de V.
Soit G' = (V',E') avec V'=V{s,t} et E'=E {sx,yt}.
l
G
(x,y) = l
G'
(x,y) et k'
G
(x,y) = k'
G'
(x,y)
Soit L(G') le Line graph de G'.
Une coupe de G sparant x de y correspond un
ensemble d'articulation de L(G') sparant sx de ty
Des chanes artes-disjointes de G reliant x et y
correspondent des chanes sommets-disjointes de L(G')
reliant sx et yt.
l'
G
(x,y) = l
L(G')
(x,y) et k'
G
(x,y) = k
L(G')
(x,y)
30
Thorme de Ford-Fulkerson
Soient s et t deux sommets d'un graphe G.
La cardinalit d'une coupe minimale de G sparant s et t
est gale au nombre maximal de chanes artes-disjointes
reliant s et t.
Si G est un graphe orient dont les arcs sont valus:
La capacit d'une coupe minimale de G sparant s de t est
gale la valeur d'un flot maximal de s t.
Rappel: capacit d'une coupe (S,T) = somme des valeurs des arcs de la coupe.
31
Isthme (cut edge)
Arte de G telle que le nombre de composantes connexes
de G augmente de 1 si on la supprime.
Proposition 1.3.2 Soit G=(V,E) connexe.
xyeE n'est pas un isthme il passe un cycle par xy
Thorme 1.3.3 Soit G=(V,E) connexe.
G est 2-artes connexe
par chaque arte il passe un cycle.
Proposition 1.3.4 Soit k 2 et G=(X,Y,E) connexe
biparti et k-rgulier. G n'admet pas d'isthme.
32
Isthme (cut edge)
Proposition 1.3.4 Un graphe dont tous les sommets sont
de degrs pairs n'admet pas d'isthme.
Un graphe (2k+1)-rgulier avec un isthme: (k=2)
33
Thorme de Robbins
Soit G=(V,E) un graphe simple connexe non orient.
Il est possible de trouver une orientation des artes de
faon rendre le graphe fortement connexe si et
seulement si G est 2-artes-connexe.
34
Blocs
Un bloc de G est un sous-graphe connexe sans sommet
dconnectant maximal.
Par dfinition, K
1
et K
2
sont des blocs
Remarque: xy est un bloc de G xy est un isthme
35
Blocs
Un bloc de G est un sous-graphe connexe sans sommet
dconnectant maximal.
Par dfinition, K
1
et K
2
sont des blocs
Remarque: xy est un bloc de G xy est un isthme
b
a
e
d
g
f
c
h
B
1
B
4
B
2
B
3
36
Blocs
Proposition 1.3.5 Deux blocs d'un graphe ont au plus un
sommet commun.
b
a
e
d
g
f
c
h
B
1
B
4
B
2
B
3
Corollaire L'ensemble des blocs forme une partition de
l'ensemble des artes du graphe.
37
Graphe Blocs/Sommets dconnectants Graphe biparti:
H=(X,Y,A) X={sommets dconnectants} Y={blocs}
(xB
i
)e A x eB
i
b
a
e
d g
f
c
h
B
1
B
4
B
2
B
3
d
c
B
1
B
4
B
2
B
3
H
Cactus Graphe connexe dont chaque bloc est une arte
ou un cycle.
38
Algo Blocs_de_G in G=(V,E) connexe
initialisation: xeV; H={x}; actifx; uveE, uv est non traite;
tant que non fini faire
vactif;
si v est extrmit d'une arte vw non traite alors
si weH alors H H{vw}; vw est traite;
sinon vw est traite; --w est ascendant de v dans H
finsi
sinon si vx alors soit y le pre de v; actify;
si aucun sommet du sous-arbre T de racine v n'a une arte
traite relie un ascendant de y alors T {y} est un bloc.
L'enregistrer et le supprimer de H
sinon fini --v=x
finsi
finsi
fait ;
2
Couplages
et
Facteurs
40
2.1 Quelques proprits
Graphe de Petersen
chane augmentante
Couplages
G
n(G)=4
41
Un 2-facteur
k-facteur sous-graphe couvrant k-rgulier
1-facteur couplage parfait
2-facteur collection de cycles (disjoints)
42
Thorme de Berge
Soit G=(V,E). Un couplage M est un couplage
maximum si et seulement si il n'existe pas de chane
alterne reliant deux sommets insaturs.
Corollaire
Soit M un couplage maximum (card max) de
G=(V,E). Tout couplage maximum M' de G peut
s'obtenir partir de M par une suite de transfert le long
de chanes alternes deux deux disjointes et qui sont
soit des cycles alterns lmentaires pairs
soit des chanes alternes paires commenant
(ou finissant) par un sommet insatur.
43
Proposition 2.1
Soit G=(V,E) un graphe simple, soient M
0
et M
1
deux
couplages de G et soit H= (V,A) le graphe partiel de G
dfini par
A= (M
0
-M
1
) (M
1
-M
0
) = M
0
DM
1
Les composantes connexes de H sont de l'un des 3 types
suivants:
point isol
cycle lmentaire pair dont les artes sont
alternativement dans M
0
et dans M
1
chane lmentaire dont les arte sont alternativement
dans M
0
et dans M
1
et dont les extrmits distinctes sont
insatures pour l'un des 2 couplages.
44
n(G)= cardinal d'un couplage maximum.
Proposition 2.2
Soient M et N deux couplages tels que |M|<|N|. MDN
admet |N|-|M| chanes augmentantes de M sommets-
disjointes.
Corollaire
Soient M et M* deux couplages tels que |M|<|M*|=n(G).
Il existe une chane augmentante de M de longueur au
plus .
1 2
*
+
(
(

M M
M
45
Proposition 2.3
Soient M un couplage maximal, P une chane
augmentante de M de longueur minimale et Q une chane
augmentante de MDP, alors |Q||P|+ |PQ|. Si de plus Q
est de longueur minimale pour MDP alors,
|Q|=|P|P et Q sont sommets-disjointes et Q est une
chane augmentante de M de longueur minimale
Remarque: proprit utilise pour construire des algorithmes
efficaces de recherche d'un couplage maximum.
46
Y y X x U y x U Y X G e e e = et ) , ( que tel ) , , (
a
b
c
d
g
f
e
X
Y
2.2 Couplages dans les graphes bipartis
X et Y sont des ensembles stables
w.l.o.g. dans la suite |X||Y|
Couplage de X dans Y:
sature tous les sommets de X
n(G)= |X|
47
Thorme de Hall
G admet un couplage de X dans Y

|G(S)| |S| S _ X
Corollaire
Tout graphe k-rgulier biparti admet k couplages parfaits
disjoints.
48
Algorithmes de couplage dans les graphes bipartis
Rappel: problme de flot maximal dans un graphe biparti
augment d'une entre et d'une sortie. Algorithmes de
marquage de type FF. Efficacit selon le choix des
chanes augmentantes.
Principe des algorithmes efficaces:
Construction de couplages successifs
Etape i M
i
Rechercher l'ensemble le plus grand possible (t) de
chanes augmentantes de longueur minimale et
sommets-disjointes: m
1
,m
2
,,m
t
M
i+1
= M
i
D m
1
D m
2
DD m
t
49
procedure CouplMaxBip algo gourmand (in G=(X,Y,A) biparti; out M: couplage
maximum):
dbut
dterminer un couplage maximal M ;
si X ou Y satur alors FIN: M est maximum.
tant que Non_FIN faire
marquer + tout sommet de X insatur ;
tant que marquage possible et pas de chane augmentante trouve faire
- marquer +x tout sommet de Y reli un sommet x dj marqu par une arte insature;
- marquer -y tout sommet de X reli un sommet y dj marqu par une arte sature;
- si on a marqu un sommet y* de Y non satur, alors on a trouv une chane
augmentante.
fait ;
si pas de chane augmentante trouve alors FIN: M est maximum
sinon soit une chane augmentante.
M := couplage obtenu par un transfert dans M le long de .
Effacer tous les marquages.
finsi ;
fait ;
fin ;
50
a
b
d
c
e
f
g
i
h
j
a
b
d
c
e
f
g
i
h
j
Exemple
chane augmentante
=[a f b g d i]
51
Algorithmes de couplage dans les graphes bipartis
Algorithme de Hopcroft et Karp en O( )
Voir prsentation de Sankovski et Leonardi
Algorithmes de couplage dans les graphes quelconques
Fonds sur la construction d'arbres alterns ou de chanes
amliorantes disjoints.
Algorithme d'Edmonds en O(n
3
)
Algorithmes de Evenet Karv ou de Bartnik en O(n
2.5
)
n m
52
a(G) = cardinal maximal d'un stable de G
n(G) = cardinal maximal d'un couplage de G
t(G) = cardinal minimal d'une couverture des artes par
les commets ou "vertex cover" de G
r(G) = cardinal maximal d'une couverture des sommets
par les artes ou "edge cover" de G
Couplage de G = Stable de L(G)
2.3 Couplages, couvertures et stables
53
ensemble stable S:
nombre de stabilit :
a(G) = cardinal du plus grand ensemble stable de G
Stabilit
a(G)=4
C = I ) (S S
1
7
6
3
2
5 4
S= {3,4,6,7}
stable de cardinal max
a(G)=4
54
VC : ensemble C de sommets tel que toute arte de G a au
moins l'une de ses extrmits dans C
Couverture des artes par les sommets
Vertex Cover (VC)
1
7
6
3
2
5 4
C
*
= {1,2,5}
t(G)=C
*
= 3
vertex cover de cardinal min
55
EC : ensemble E d'artes tel que tout sommet de G est
exrmit d'au moins une arte de E
Couverture des sommets par les artes
Edge Cover (EC)
1
7
6
3
2
5 4
E
*
= {13,17, 24, 56}
r(G)=E
*
= 4
edge cover de cardinal min
56
Proposition 2.3.1 La cardinalit de tout couplage M
d'un graphe est infrieure celle de toute couverture C
des artes par les sommets (vertex cover) |M| |C|
n(G) = |M
*
| t(G) = |C
*
|
|M*|=3 < | * C |=4
57
Proposition 2.3.2 Soient G=(V,E) et ScV.
S stable V-S vertex cover
a(G) + t(G) = n
a(G) + t(G) = 4 + 3 = 7 = n
58
Thorme de Gallai Soient G=(V,E) sans sommet isol.
n(G) + r(G) = n
n(G) + r(G) = 4 + 9 = 13 = n
Couplage
Edge cover
59
Thorme de Knig et d'Egevry
Si G est un graphe biparti alors la taille maximale d'un
couplage est gale la taille minimale d'une couverture
G biparti v(G) = t(G)
Proposition 2.3.3 si G est un graphe biparti alors
n(G) = t(G) a(G) = r(G)

Vous aimerez peut-être aussi