Académique Documents
Professionnel Documents
Culture Documents
d'un sommet, Plus
ourts
hemins entre tous les sommets, Nombres de
Fibona
i Remarque : Le plus souvent, F est
lose par passage aux
Algorithmes: Kruskal, Dijkstra, Roy-Warshall sous-ensembles.
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
3 4
2. Initialisation : F ;
hemin élémentaire : ne passe pas deux fois par le même sommet
3. Pour i allant de 1 à n faire Si F [ fe g 2 F Alors F F [ fe g
i i
Graphe
onnexe : toute paire de sommets est reliée par un
hemin.
Remarque : L'algorithme glouton ne mar
he pas toujours ! Arbre : graphe
onnexe sans
y
le.
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
5 6
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
7 8
2. Initialisation: T ;
3. Pour i allant de 1 à n faire Si T [ fe g n'a pas de
y
le Alors
i
T T [ fe g
i
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
9 10
Preuve de validité
Preuve du théorème
Lemme
Soient T et U deux arbres
ouvrants de G, soit a 2 U; 2
a = T, alors il
existe b 2 T tel que U a + b soit un arbre
ouvrant.
Soient T l'arbre obtenu par l'algo glouton U un arbre de poids
maximal tel que jT \ U j soit maximum
De plus b peut être
hoisi dans le
y
le formé par des arêtes de T et a.
Théorème
Par l'absurde. Si T =6 U : soit e 2 T n U ...
L'algorithme de Kruskal
onstruit l'arbre
ouvrant de poids maximum
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
11 12
Théorème général
= )
Soient F et G donnés, jGj > jF j. On dénit v par:
L'algorithme glouton général donne une solution optimale quelle que soit
la fon
tion v si et seulement si :
Si F et G sont deux ensembles de F tels que G a plus d'éléments que F ,
alors il existe un élément x de G n F tel que F [ fxg 2 F .
On vérie: v(G) v(F ). Glouton =) F 0 F , F 0 6= F .
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
13 14
Matroïdes
F 2 E
forme un matroïde si les trois
onditions suivantes sont
(= satisfaites :
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
15 16
3
x2 x3
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
17 18
Algorithme de Dijkstra
Initialisation : Relaxer l'ar
(y; z )
A ;
d[x0 ℄ 0
d[x℄ 1 pour x 6= x 0
Si d[y ℄ > d[x℄ + `(x; y )
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
19 20
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
21 22
0 7 2 5
Dénition ré
ursive :
1
( 4 1
0 si x=y 2 4
Æ0 (x; y ) =
1 sinon
Æk (x; y ) = minz :(x;z )2E (`(x; z ) + Æk 1 (z; y )): 1
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
23 24
Suite de Fibona
i
Algorithme de Roy-Warshall Dénition ré
ursive : f0 = f1 = 1,fn = fn 1 + fn 2 .
Implantation en ré
ursif :
omplexité exponentielle.
Pour k allant de 1 à n 1
Pour i allant de 1 à n
Pour j allant de 1 à n
Si Æ [i; j ℄ > Æ [i; k ℄ + Æ [k; j ℄
Alors Æ [i; j ℄ Æ [i; k ℄ + Æ [k; i℄
Claire Kenyon Majeure Info INF 551 Claire Kenyon Majeure Info INF 551
25