Diviser Pour Régner

Chapitre 2: La récursivité et le paradigme ‘’diviser pour régner’’
2.1. Récursivité
Définition 1: Un algorithme est dit récursif lorsqu’il est défini en fonction
de lui-même.
2.1.1. Récursivité simple
Revenons à la fonction puissance cette fonction peut être définie
Récursivement:
L’algorithme correspondant s’écrit:
Puissance (x, n)
Si n=0 alors renvoyer 1
sinon renvoyer x × Puissance ( x, n-1)
.n
xx 





 
1si
0si1
1
nxx
n
x n
n
2.1.2. Récursivité multiple
Une définition récursive peut contenir plus d’un appel récursifs. Nous volons
calculer ici les combinaisons en se servant de la relation de pascal:
L’algorithme correspondant:
Combinaison (n, p)
Si p=0 ou p=n alors renvoyer 1
sinon renvoyer Combinaison (n-1, p)+ Combinaison (n-1, p-1)
2.1.3. Récursivité mutuelle
Des définitions sont dites mutuellement récursives si elles dépendent les unes
des autres. C’est le cas pour la définition de la parité:
p
nC





 
 sinon.
ou0si1
1
11
p
n
p
n
p
n
CC
npp
C












sinon)1(
0siaux
)(imet
sinon)1(
0si
)(
npair
nf
npair
nimpair
nvrai
npair
Les algorithmes correspondants s’écrivent:
Pair(n) Impair(n)
Si n=o alors renvoyer vrai si n=0 alors renvoyer faux
sinon renvoyer Impair(n-1) sinon renvoyer Pair(n-1)
2.1.4. Récursivité imbriquée
La fonction d’Ackermann est définie comme suit:
D’où l’algorithme:
Ackermann(m, n)
Si m=0
alors n+1
sinon si n=0 alors Ackermann(m-1,1)
sinon Ackermann(m-1, Ackermann(m, n-1))









sinon))1,(,1(
0et0si)1,1(
0si1
),(
nmAmA
nmmA
mn
nmA
2.1.5. Principe et dangers de la récursivité
Principe et intérêt: ce sont les mêmes que ceux de la démonstration par récurrence
en mathématiques; on doit avoir:
- Un certain nombre de cas dont la résolution est connue, ces ‘cas simples’
formeront les cas d’arrêt de la récursion;
- Un moyen de se ramener d’un cas ‘compliqué’ à un cas ‘plus simple’.
La récursivité permet d’écrire des algorithmes concis et élégants.
Difficultés :
- La définition être dénuée de sens:
Algorithme A(n)
renvoyer A(n)
- il faut être sûrs que l’on retombera toujours sur un cas connu, c’est-à-dire sur un
cas d’arrêt ; il nous faut nous assurer que la fonction est complètement définie, i.e.,
qu’elle est définie sur tout son domaine d’applications.
Moyen : existence d’un ordre strict tel que la suite des valeurs successives des
arguments invoqués par la définition soit strictement monotone et finit toujours
par atteindre une valeur pour laquelle la solution est explicitement définie.
2.1.6. Exemple d’algorithme récursif: les tours de Hanoï
Hypothèse : on suppose que l’on sait résoudre le problème pour (n-1) disques.
Principe: pour déplacer n disques de la tige A vers la tige C, on déplace les (n-1)
plus petits disques de la tige A vers la tige B, puis on déplace le plus gros disque
de la tige A vers la tige c, puis on déplace les (n-1) plus petit disques de la tige B
vers la tige C.
Algorithme
Hanoï(n, départ, intermédiaire, destination)
Si n=1 alors déplacer le disque supérieur de la tige départ vers la tige
destination
sinon Hanoï(n-1, départ, destination, intermédiaire)
déplacer le disque supérieur de la tige départ vers la tige
destination
Hanoï(n-1, intermédiaire, départ, destination)
Complexité:
On compte le nombre de déplacements des disques effectués par l’algorithme Hanoï
invoqué sur n disques.
D’où l’on déduit que On a donc ici un algorithme de complexité
exponentielle.






sinon)1(21
1si1
)(
nt
n
nt
.12)(  n
nt
2.2. Diviser pour régner
2.2.1. Principe
Nombres d’algorithmes ont une structure récursive: pour résoudre un problème
donné, ils s’appellent eux-mêmes récursivement une ou plusieurs fois sur des
problèmes très similaires, mais de taille moindres, résolvent les sous-problèmes
de manière récursive puis combinent les résultats pour trouver une solution au
problème initial.
Le paradigme ‘diviser pour régner’ donne lieu à trois étapes à chaque niveau de
récursivité:
Diviser : le problème en un certain nombre de sous-problèmes;
Régner : sur les sous-problèmes en les résolvant récursivement ou, si la taille
d’un sous-problème est assez réduite, le résoudre directement.
Combiner : les solutions des sous-problèmes en une solution complète du problème initial.
2.2.2. Premier exemple: multiplication naïve de matrices
Nous nous intéressons ici à la multiplication de matrices carrées de taille n.
Algorithme naïf
L’algorithme classique est le suivant:
Multiplier-Matrices(A, B)
Soit n la taille des matrices carrées A et B
Soit C une matrice carrée de taille n
Cet algorithme effectue multiplication et autant d’additions.
C
bacc
nk
c
nj
ni
jkkijiji
ji
renvoyer
faireà1Pour
0
faireà1Pour
faireà1Pour
,,,,
,





)( 3
n
Algorithme ‘diviser pour régner’naïf
Dans la suite nous supposerons que n est une puissance exacte de 2. Décomposons
les matrices A, B et C en sous-matrices de taille L’équation C=A.B peut
alors s’écrire:
En développant cette équation, nous obtenons:
Chacune de ces quatre opérations correspond à deux multiplications de matrices
carrée de taille et une addition de telles matrices. A partir de ces équations on
peut aisément dériver un algorithme ‘diviser pour régner’ dont la complexité est
donnée par la récurrence:
L’addition des matrices carrées de taille étant en
.22
nn 


















hf
ge
dc
ba
ut
sr
dhcgudfcetbhagsbfaer  et,,
2
n
),()(8)( 2
2 ntnt n 
2
n )( 2
n
Lorsqu’un algorithme contient un appel récursif à lui-même, son temps d’exécution
peut souvent être décrit par une équation de récurrence qui décrit le temps d’exécution
global pour un problème de taille n en fonction du temps d’exécution pour des entrées
de taille moindre.
La récurrence définissant le temps d’exécution d’un algorithme ‘diviser pour régner’
se décompose suivant les trois étapes du paradigme de base:
1. Si la taille du problème est suffisamment réduite, pour une certaine constante
c, la résolution est directe et consomme un temps constant
2. Sinon, on divise le problème en a sous-problèmes chacun de taille de la taille
du problème initial. Le temps d’exécution total se décompose alors en trois parties:
• D(n): le temps nécessaire à la division du problème en sous-problèmes.
• a.t(n/b): le temps de résolution des a sous-problèmes.
• C(n): le temps nécessaire pour construire la solution finale à partir des solutions
aux sous-problèmes.
La relation de récurrence prend alors la forme:
2.2.3.Analyse des algorithmes ‘diviser pour régner’
cn 
).1(
b
1






sinon,)()()(
,si)1(
)(
nCnDta
cn
nt
b
n
Où l’on interprète soit comme , soit comme .b
n
 b
n
 b
n
2.2.4. deuxième exemple: algorithme de Strassem pour la multiplication des matrices
L’algorithme de Strassem est un algorithme ‘diviser pour régner’ qui n’effectue que
7 multiplications de matrices, contrairement à 8 dans l’algorithme précédent, mais
qui effectue plus d’additions et de soustractions de matrices, ce qui est sans
conséquence une addition de matrices étant ‘gratuite’ par rapport au coût d’une
multiplication.
Complexité
La complexité de l’algorithme de Strassem est donnée par la récurrence:
Algorithme
Il se décompose en quatre étapes:
1. Diviser les matrices A et B en matrices carrés de taille .
2. Au moyen de additions et soustractions scalaires, calculer 14 matrices
(à préciser) carrés de taille .
  )(7)( 2
2 ntnt n 
2
n
)( 2
n
7171 ,...,,,..., BBAA 2
n
3. Calculer récursivement les 7 produits de matrices
4. Calculer les sous-matrices désirées r, s, t et u en additionnant et/ou soustrayant les
combinaisons idoines des matrices ad-hoc, à l’aide de additions et
soustractions scalaires.
Produits de sous-matrices
Nous supposons que chaque matrice produit peut s’écrire sous la forme:
où les coefficients sont pris dans l’ensemble {-1, 0, 1}. Nous supposons
donc que chaque produit peut être obtenu en additionnant et soustrayant certaines
des sous-matrices de A, en additionnant et soustrayons certaines des sous-matrices
de B, et en multipliant les deux matrices ainsi obtenues.
Récrivons l’équation définissant r :
].7;1[,  iBAP iii
iP )( 2
n
iP
   hgfedcbaBAP iiiiiiiiiii  43214321 
jiji ,, et 
 










































....
....
...
...
0000
0000
0010
0001
d
c
b
a
h
g
f
e
dcbabfaer
hgfe
Où « + » représente « +1 », « . » représente « 0 » et « - » représente « -1 ». Nous
récrivons de même les équations définissant s, t et u :
On remarque que l’on peut calculer s par où sont calculées
chacune au moyen d’une unique multiplication de matrice:
,
....
....
...
...















d
c
b
a
bhags
hgfe
,
...
...
....
....















d
c
b
a
dfcet
hgfe
.
...
...
....
....















d
c
b
a
dhcgu
hgfe
21 PPs  21 et PP
.
....
....
...
...
)(,
....
....
....
..
)( 222111


























 
 hbaBAPhgaBAP
De même la matrice t peut être calculée par avec:
Pour calculer r et u on introduit une matrice définie comme suit:
43 PPt 
.
..
....
....
....
)(,
...
...
....
....
)( 444333




























 efdBAPedcBAP
5P
.
..
....
....
..
)()(555














 hedaBAP






















































































































































..
....
..
....
....
....
...
...
..
....
....
....
..
....
....
..
..
....
...
...
..
....
....
....
..
....
....
..
..
....
...
...
..
....
....
..
....
....
...
...
r















..
....
..
....
)()(666 hfdbBAP
D’où, en posant
On obtient
De même, on cherche à obtenir u à partir de :
.6245 PPPPr 
5P









































 











































 






























































....
..
....
..
...
...
....
....
....
....
....
..
..
....
....
..
...
...
....
..
....
....
....
..
..
....
....
..
...
...
....
..
..
....
....
..
...
...
....
....
u
D’où, en posant
On obtient
Discussion
L’algorithme de Strassen n’est intéressant en pratique que pour de grandes
matrices (n > 45) denses (peu d’éléments non nuls).
La meilleure borne supérieure pour la multiplication de matrices carrés de taille n
est environ en
La meilleure borne inférieure connue est en (il faut générer valeurs).















....
..
....
..
)()(777 gecaBAP
.7315 PPPPu 
).( 376,2
nO
)( 2
n 2
n
Chapitre 3: Algorithmes de tri
3.1. Tri par fusion
3.1.1. Principe
L’algorithme de tri par fusion est construit suivant le paradigme ‘diviser pour régner’:
1. Il divise la séquence de n nombres à trier en deux sous-séquences de taille
2. Il trie récursivement les deux sous-séquences.
3. Il fusionne les deux sous-séquences triées pour produire la séquence complète triée.
La récursion termine quand la sous-séquence à trier est de longueur 1 (car une telle
séquence est toujours triée).
3.1.2.Algorithme
La principale action de l’algorithme de tri par fusion est justement la fusion des
deux listes triées.
La fusion
Le principe de cette fusion est simple: à chaque étape, on compare les éléments
minimaux des deux sous-listes triées, le plus petit des deux étant l’élément minimal
de l’ensemble on le met de côté et on recommence. On conçoit ainsi un algorithme
.2
n
Fusionner qui prend en entrée un tableau A et trois entiers, p, q et r, tels que p ≤ q< r
et tels que les tableaux A[p .. q] et A[q+1 .. r] soient triés. L’algorithme est donné ci-
dessous:
1
1
][][fairequetant
1
1
][][sinon
1
][][alors][][si
faireetquetant
1
1tailledeun tableausoit
1
),,,(
]1[
][














kk
ii
iAkCqi
kk
jj
jAkC
ii
iAkCjAiA
rjqi
k
prC
qj
pi
rqpA
..rqA
p ..qA
fusiondeboucle
temporairetableauleparcouriràservantindice
résultatleconstruitonlequeldanstemporairetableau
tableauleparcouriràservantindice
tableauleparcouriràservantindice
Fusionner
][]1[
faire1à1pour
1
1
][][fairequetant
kCkpA
prk
kk
jj
jAkCrj





Fig.1 Algorithme de fusion de deux sous-tableaux adjacents triés.
Complexité de la fusion
Etudions les différentes étapes de l’algorithme:
- Les initialisations ont un coût constant
- La boucle tant que de fusion s’exécute au plus r-p fois, chacune de ses itérations
étant de coût constant, d’où un coût total en
- Les deux boucles tant que complétant C ont une complexité respective au pire de
q-p+1 et de r-q, ces deux complexité étant
- La recopie finale coûte
Par conséquent, l’algorithme de fusion a une complexité en
).1(
).( prO 
);( prO 
).1(  pr
).( pr 
Le tri
Ecrire l’algorithme de tri par fusion est maintenant une trivialité (cf. Fig.2).
Fig.2 Algorithme de tri par fusion.
3.1.3. Complexité
Pour déterminer la formule de récurrence qui nous donnera la complexité de
l’algorithme Tri-Fusion, nous étudions les trois phases de cet algorithme
‘diviser pour régner’:
Diviser: cette étape se réduit au calcul du milieu de l’intervalle [p; r], sa
complexité est donc en
Régner: l’algorithme résout récursivement deux sous-problèmes de tailles
respectives d’où une complexité en
Combiner: la complexité de cette étape est celle de l’algorithme de fusion qui est de
Pour la construction d’un tableau solution de taille n.
 
),,,(
),1,(
),,(
alors
),,(
2
)(
rqpAFusionner
rqAFusionTri
qpAFusionTri
qrpsi
rpAFusionTri
rp





).1(
,2
n ).(2 2
nt
)(n
Pour des valeurs de n suffisamment grandes, le tri par fusion avec son temps
d’exécution en est nettement plus efficace que le tri par insertion
dont le temps d’exécution est en
)log( nn
).( 2
n
3.2. Tri par tas
3.2.1. Définition d’un tas
Un tas est un arbre binaire parfait dont tout les niveaux sont complets sauf le
dernier qui est rempli de la gauche vers la droite. Dans un tas, un père est toujours
plus grand que ses fils.
Pour un exemple de tas voir Fig. 3.
16 14 10 8 7 9 3 2 4 1
1 2 3 4 5 6 7 8 9 10
Fig. 3 Un tas vu comme un arbre binaire (à gauche) et
comme un tableau (à droite).
Les tas sont généralement représentés et manipulés sous forme d’un tableau:
- Un tableau A qui représente un tas est un objet à deux attributs:
1. longueur(A) qui est le nombre d’éléments qui peuvent être stockés dans
le tableau A;
2. taille(A) qui est le nombre d’éléments stockés dans le tableau A.
- La racine est stockée dans la première case du tableau A[1].
- Les éléments de l’arbre sont rangés dans l’ordre, niveau par niveau, et de
gauche à droite. Les fonctions d’accès aux éléments du tableau sont alors:
 
12i
)Droite(Fils
2i
)Gauche(Fils
)Père(
2



renvoyer
renvoyer
renvoyer
i
i
i
i
- Propriété des tas: ][)][Père( iAiA 
3.2.2 Conservation de la structure de tas
L’algorithme Entasser (cf. Fig.3) prend en entrée un tableau A et un indice i. On
suppose que les sous-arbres de racine gauche(i) et Droite(i) sont des tas. Par
contre, il est possible que A[i] soit plus petit que ses fils (violant ainsi la
propriété de tas) . Entasser doit faire ‘descendre’ la valeur A[i] de sorte que le
sous arbre de racine i soit un tas. L’action de cet algorithme est illustré par la
Fig.4.
max),Entasser(
[max]][échangeralorsaxsi
maxalors[max]][et)(si
maxalors[max]][et)(si
ax
)(
)(
),Entasser(
A
AiAim
dAdAAtailleg
gAgAAtailleg
im
iDroited
iGaucheg
iA






Fig. 3: Algorithme Entasser.
Fig. 5: Action Entasser(A,1).
Complexité
Le temps d’exécution de Entasser sur un arbre de taille n est en plus le
temps de l’exécution récursive de Entasser sur un des deux sous-arbres, or ces
deux sous-arbres ont une taille en au plus (le pire cas survient quand la
dernière rangée de l’arbre est exactement remplie à moitié) Le temps
d’exécution de Entasser est donc décrit parla récurrence:
3.2.3 Construction d’un tas
La construction se fait simplement par utilisation successive de l’algorithme
Entasser, comme le montre l’algorithme à la Fig. 6.
)1(
3
2n
)1()()( 3
2  ntnt
)(logendoncest)( nnt 
  ),(faire1àPour
][][
)(
2
][
iAEntasseri
AtailleAlongueur
ATasConstruire
Alongueur



Fig. 6: Algorithme Construire-Tas.
Diviser Pour Régner
Diviser Pour Régner
D’où :
On peut donc construire un tas à partir d’un tableau en temps linéaire.
)()( nOnt 
Diviser Pour Régner
3.2.4 Algorithme de tri par tas
Illustration de l’algorithme Tri-Tas
voir Fig. 6
Complexité
La procédure Trier-Tas prend un temps car l’appel à Construire-Tas
prend un temps et que chacun des n-1 appels à Entasser prend un temps
)1,(Entasser
1)()(
][]1[échanger
faire2à)(Pour
)(
)(
A
AtailleAtaille
iAA
Alongueuri
ATasConstruire
AtasTrier





)log( nnO
)(nO
).(log2 nO
Diviser Pour Régner
Diviser Pour Régner
Diviser Pour Régner
3.3. Tri rapide (Quicksort)
3.3.1. Principe
3.3.2. Algorithme
j
jAiAji
xiAii
xjAjj
ji
hautj
basi
basAx
renvoyersinon
][][échangeralorssi
][àjusqu'1répéter
][àjusqu'1répéter
faire)(quetant
1
1
][







3.3.3. Complexité
a) Pire cas
Diviser Pour Régner
b) Cas meilleur
c) Cas moyen
soit
soit encore
alors
Similaire à:
avec
Ce qui donne
3.4. Tri rapide version 2
3.4.1. Etape de division
3.4.2. Etape de fusion
3.4.2. Tri rapide complet
3.4.3. Pseudo-code du Tri rapide
3.5. Tri fusion (complément)
a) Etape de division
Diviser Pour Régner
3.5.1. Tri Fusion complet
3.5.2 Pseudo-code du Tri Fusion
1 sur 51

Recommandé

récursivité algorithmique et complexité algorithmique et Les algorithmes de tri par
récursivité algorithmique et complexité algorithmique et Les algorithmes de trirécursivité algorithmique et complexité algorithmique et Les algorithmes de tri
récursivité algorithmique et complexité algorithmique et Les algorithmes de triYassine Anddam
2.4K vues16 diapositives
Chapitre 4 récursivité par
Chapitre 4 récursivitéChapitre 4 récursivité
Chapitre 4 récursivitéSana Aroussi
5.6K vues62 diapositives
Chapitre 3 NP-complétude par
Chapitre 3 NP-complétudeChapitre 3 NP-complétude
Chapitre 3 NP-complétudeSana Aroussi
4K vues84 diapositives
Chapitre 2 -Complexité des problèmes avec correction.pdf par
Chapitre 2 -Complexité des problèmes avec correction.pdfChapitre 2 -Complexité des problèmes avec correction.pdf
Chapitre 2 -Complexité des problèmes avec correction.pdfMbarkiIsraa
475 vues84 diapositives
Chapitre 1 rappel par
Chapitre 1   rappelChapitre 1   rappel
Chapitre 1 rappelSana Aroussi
4.4K vues105 diapositives
Chapitre ii complexité et optimalité par
Chapitre ii complexité et optimalitéChapitre ii complexité et optimalité
Chapitre ii complexité et optimalitéSana Aroussi
3.7K vues16 diapositives

Contenu connexe

Tendances

Chapitre v algorithmes gloutons par
Chapitre v algorithmes gloutonsChapitre v algorithmes gloutons
Chapitre v algorithmes gloutonsSana Aroussi
8.7K vues60 diapositives
Chapitre iii récursivité et paradigme diviser pour régner par
Chapitre iii récursivité et paradigme diviser pour régnerChapitre iii récursivité et paradigme diviser pour régner
Chapitre iii récursivité et paradigme diviser pour régnerSana Aroussi
4.8K vues60 diapositives
La complexité des algorithmes récursives Géométrie algorithmique par
La complexité des algorithmes récursivesGéométrie algorithmiqueLa complexité des algorithmes récursivesGéométrie algorithmique
La complexité des algorithmes récursives Géométrie algorithmiqueHajer Trabelsi
2.3K vues23 diapositives
Chapitre iv algorithmes de tri par
Chapitre iv algorithmes de triChapitre iv algorithmes de tri
Chapitre iv algorithmes de triSana Aroussi
12.2K vues83 diapositives
Chapitre 3 _Conception et analyse d’algorithme-DPR.pdf par
Chapitre 3 _Conception et analyse d’algorithme-DPR.pdfChapitre 3 _Conception et analyse d’algorithme-DPR.pdf
Chapitre 3 _Conception et analyse d’algorithme-DPR.pdfMbarkiIsraa
229 vues27 diapositives
Cours algorithmique et complexite complet par
Cours algorithmique et complexite completCours algorithmique et complexite complet
Cours algorithmique et complexite completChahrawoods Dmz
58.3K vues104 diapositives

Tendances(20)

Chapitre v algorithmes gloutons par Sana Aroussi
Chapitre v algorithmes gloutonsChapitre v algorithmes gloutons
Chapitre v algorithmes gloutons
Sana Aroussi8.7K vues
Chapitre iii récursivité et paradigme diviser pour régner par Sana Aroussi
Chapitre iii récursivité et paradigme diviser pour régnerChapitre iii récursivité et paradigme diviser pour régner
Chapitre iii récursivité et paradigme diviser pour régner
Sana Aroussi4.8K vues
La complexité des algorithmes récursives Géométrie algorithmique par Hajer Trabelsi
La complexité des algorithmes récursivesGéométrie algorithmiqueLa complexité des algorithmes récursivesGéométrie algorithmique
La complexité des algorithmes récursives Géométrie algorithmique
Hajer Trabelsi2.3K vues
Chapitre iv algorithmes de tri par Sana Aroussi
Chapitre iv algorithmes de triChapitre iv algorithmes de tri
Chapitre iv algorithmes de tri
Sana Aroussi12.2K vues
Chapitre 3 _Conception et analyse d’algorithme-DPR.pdf par MbarkiIsraa
Chapitre 3 _Conception et analyse d’algorithme-DPR.pdfChapitre 3 _Conception et analyse d’algorithme-DPR.pdf
Chapitre 3 _Conception et analyse d’algorithme-DPR.pdf
MbarkiIsraa229 vues
Cours algorithmique et complexite complet par Chahrawoods Dmz
Cours algorithmique et complexite completCours algorithmique et complexite complet
Cours algorithmique et complexite complet
Chahrawoods Dmz58.3K vues
Complexité_ENSI_2011.ppt par MbarkiIsraa
Complexité_ENSI_2011.pptComplexité_ENSI_2011.ppt
Complexité_ENSI_2011.ppt
MbarkiIsraa107 vues
Chapitre vi np complétude par Sana Aroussi
Chapitre vi np complétudeChapitre vi np complétude
Chapitre vi np complétude
Sana Aroussi2.5K vues
Algorithme & structures de données Chap III par Ines Ouaz
Algorithme & structures de données Chap IIIAlgorithme & structures de données Chap III
Algorithme & structures de données Chap III
Ines Ouaz12.1K vues
Travaux dirigés 1: algorithme & structures de données (corrigés) par Ines Ouaz
Travaux dirigés 1: algorithme & structures de données (corrigés)Travaux dirigés 1: algorithme & structures de données (corrigés)
Travaux dirigés 1: algorithme & structures de données (corrigés)
Ines Ouaz76K vues
Ch8 correction exercices (1) par abdellah12
Ch8 correction exercices (1)Ch8 correction exercices (1)
Ch8 correction exercices (1)
abdellah1211.3K vues
Exercices vhdl par yassinesmz
Exercices vhdlExercices vhdl
Exercices vhdl
yassinesmz17.1K vues
Chap04 les-algorithme-de-tri-et-de-recherche par Riadh Harizi
Chap04 les-algorithme-de-tri-et-de-rechercheChap04 les-algorithme-de-tri-et-de-recherche
Chap04 les-algorithme-de-tri-et-de-recherche
Riadh Harizi3.4K vues
Les algorithmes d'arithmetique par mohamed_SAYARI
Les algorithmes d'arithmetiqueLes algorithmes d'arithmetique
Les algorithmes d'arithmetique
mohamed_SAYARI13.2K vues

En vedette

Tema 2 par
Tema 2Tema 2
Tema 2Julio Sanchez
746 vues28 diapositives
نصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadan par
نصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadanنصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadan
نصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadanMosaadRamadan AbdAlhk
907 vues54 diapositives
Complément cours actuariat vie par
Complément cours actuariat vieComplément cours actuariat vie
Complément cours actuariat viefranckcam
354 vues4 diapositives
Projet sur les carrieres informatiques par
Projet sur les carrieres informatiquesProjet sur les carrieres informatiques
Projet sur les carrieres informatiquesSeattle138
233 vues18 diapositives
Daniel sanger portfolio 2015 par
Daniel sanger portfolio 2015Daniel sanger portfolio 2015
Daniel sanger portfolio 2015Daniel Sanger
692 vues30 diapositives
Sans nom 2 par
Sans nom 2Sans nom 2
Sans nom 2Aline Mathis
193 vues25 diapositives

En vedette(20)

نصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadan par MosaadRamadan AbdAlhk
نصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadanنصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadan
نصوص ضائعه من أخبار مصر للمسبحي byMosaadRamadan
Complément cours actuariat vie par franckcam
Complément cours actuariat vieComplément cours actuariat vie
Complément cours actuariat vie
franckcam354 vues
Projet sur les carrieres informatiques par Seattle138
Projet sur les carrieres informatiquesProjet sur les carrieres informatiques
Projet sur les carrieres informatiques
Seattle138233 vues
Guide pratique sur l'audiométrie vocale en arabe marocain par Oujilal Abdelilah
Guide pratique sur l'audiométrie vocale en arabe marocainGuide pratique sur l'audiométrie vocale en arabe marocain
Guide pratique sur l'audiométrie vocale en arabe marocain
Oujilal Abdelilah2.3K vues
Charte graphique Visite Patrimoine par Cécile Bernet
Charte graphique Visite PatrimoineCharte graphique Visite Patrimoine
Charte graphique Visite Patrimoine
Cécile Bernet567 vues
Mali: ENJEUX DE LA FORMATION DES RESSOURCES HUMAINES DANS LA COMPETITION REGI... par ckmadmin
Mali: ENJEUX DE LA FORMATION DES RESSOURCES HUMAINES DANS LA COMPETITION REGI...Mali: ENJEUX DE LA FORMATION DES RESSOURCES HUMAINES DANS LA COMPETITION REGI...
Mali: ENJEUX DE LA FORMATION DES RESSOURCES HUMAINES DANS LA COMPETITION REGI...
ckmadmin1.1K vues
Promenademarseille mai 2013 par ciffer louis
Promenademarseille mai 2013Promenademarseille mai 2013
Promenademarseille mai 2013
ciffer louis608 vues
Présentation Wordpress Côte d'ivoire par WordpressCIV
Présentation Wordpress Côte d'ivoirePrésentation Wordpress Côte d'ivoire
Présentation Wordpress Côte d'ivoire
WordpressCIV358 vues
Gladiator - Les anachronismes dans la présentation des gladiateurs par Polyxenia66
Gladiator - Les anachronismes dans la présentation des gladiateursGladiator - Les anachronismes dans la présentation des gladiateurs
Gladiator - Les anachronismes dans la présentation des gladiateurs
Polyxenia662.2K vues

Similaire à Diviser Pour Régner

melange de gaussienne par
melange de gaussiennemelange de gaussienne
melange de gaussienneomri med
224 vues49 diapositives
246242769 sequence-1-pdf par
246242769 sequence-1-pdf246242769 sequence-1-pdf
246242769 sequence-1-pdfEttaoufik Elayedi
3.4K vues60 diapositives
22-MATJ1ME1.pdf par
22-MATJ1ME1.pdf22-MATJ1ME1.pdf
22-MATJ1ME1.pdfLETUDIANT1
127.4K vues5 diapositives
Regression logistque par
Regression  logistqueRegression  logistque
Regression logistqueFerdaous HDIOUD
246 vues41 diapositives
02systemediapo.pdf par
02systemediapo.pdf02systemediapo.pdf
02systemediapo.pdfAzedineSariye
13 vues43 diapositives
Chapitre 3 la recherche tabou par
Chapitre 3 la recherche tabouChapitre 3 la recherche tabou
Chapitre 3 la recherche tabouAchraf Manaa
10.9K vues29 diapositives

Similaire à Diviser Pour Régner(20)

melange de gaussienne par omri med
melange de gaussiennemelange de gaussienne
melange de gaussienne
omri med224 vues
22-MATJ1ME1.pdf par LETUDIANT1
22-MATJ1ME1.pdf22-MATJ1ME1.pdf
22-MATJ1ME1.pdf
LETUDIANT1127.4K vues
Chapitre 3 la recherche tabou par Achraf Manaa
Chapitre 3 la recherche tabouChapitre 3 la recherche tabou
Chapitre 3 la recherche tabou
Achraf Manaa10.9K vues
fr_Tanagra_Naive_Bayes_Classifier_Explained.pdf par SidiAbdallah1
fr_Tanagra_Naive_Bayes_Classifier_Explained.pdffr_Tanagra_Naive_Bayes_Classifier_Explained.pdf
fr_Tanagra_Naive_Bayes_Classifier_Explained.pdf
SidiAbdallah176 vues
CAPES maths 2019 composition 1 (option informatique) par Dany-Jack Mercier
CAPES maths 2019 composition 1 (option informatique)CAPES maths 2019 composition 1 (option informatique)
CAPES maths 2019 composition 1 (option informatique)
optimisation cours.pdf par Mouloudi1
optimisation cours.pdfoptimisation cours.pdf
optimisation cours.pdf
Mouloudi158 vues
Projet Traitement Du Signal par PierreMASURE
Projet Traitement Du SignalProjet Traitement Du Signal
Projet Traitement Du Signal
PierreMASURE839 vues
chap 3 complexité (3).pdf par donixwm
chap 3 complexité (3).pdfchap 3 complexité (3).pdf
chap 3 complexité (3).pdf
donixwm23 vues
Algorithmique-ProgrammationC-Serie1.pdf par OULAKBIRIlham
Algorithmique-ProgrammationC-Serie1.pdfAlgorithmique-ProgrammationC-Serie1.pdf
Algorithmique-ProgrammationC-Serie1.pdf
OULAKBIRIlham82 vues
Ex determ par bades12
Ex determEx determ
Ex determ
bades123.6K vues
01_LES_TENSEURS.pdf par NSANGOU1
01_LES_TENSEURS.pdf01_LES_TENSEURS.pdf
01_LES_TENSEURS.pdf
NSANGOU1126 vues

Dernier

Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle. par
Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle.Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle.
Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle.Txaruka
45 vues18 diapositives
Formation M2i - Génération IA : Prenez le train de l'avenir par
Formation M2i - Génération IA : Prenez le train de l'avenirFormation M2i - Génération IA : Prenez le train de l'avenir
Formation M2i - Génération IA : Prenez le train de l'avenirM2i Formation
7 vues38 diapositives
INCENDIE_New1.ppt par
INCENDIE_New1.pptINCENDIE_New1.ppt
INCENDIE_New1.pptAcadmieSecourisme
5 vues120 diapositives
Indicateurs de développement durable pour les municipalités  : sources et rep... par
Indicateurs de développement durable pour les municipalités  : sources et rep...Indicateurs de développement durable pour les municipalités  : sources et rep...
Indicateurs de développement durable pour les municipalités  : sources et rep...Centre GéoStat, Bibliothèque, Université Laval
55 vues48 diapositives
Conception et développement d'une marketplace basée sur l'architecture micros... par
Conception et développement d'une marketplace basée sur l'architecture micros...Conception et développement d'une marketplace basée sur l'architecture micros...
Conception et développement d'une marketplace basée sur l'architecture micros...Adem Amen Allah Thabti
11 vues94 diapositives
La conscience d'être libre est-elle illusoire ? (G. Gay-Para) par
La conscience d'être libre est-elle illusoire ? (G. Gay-Para)La conscience d'être libre est-elle illusoire ? (G. Gay-Para)
La conscience d'être libre est-elle illusoire ? (G. Gay-Para)Gabriel Gay-Para
32 vues54 diapositives

Dernier(11)

Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle. par Txaruka
Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle.Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle.
Téophile Alexandre Steinlen.Peintre anarchiste du XIXe sieècle.
Txaruka45 vues
Formation M2i - Génération IA : Prenez le train de l'avenir par M2i Formation
Formation M2i - Génération IA : Prenez le train de l'avenirFormation M2i - Génération IA : Prenez le train de l'avenir
Formation M2i - Génération IA : Prenez le train de l'avenir
M2i Formation7 vues
Conception et développement d'une marketplace basée sur l'architecture micros... par Adem Amen Allah Thabti
Conception et développement d'une marketplace basée sur l'architecture micros...Conception et développement d'une marketplace basée sur l'architecture micros...
Conception et développement d'une marketplace basée sur l'architecture micros...
La conscience d'être libre est-elle illusoire ? (G. Gay-Para) par Gabriel Gay-Para
La conscience d'être libre est-elle illusoire ? (G. Gay-Para)La conscience d'être libre est-elle illusoire ? (G. Gay-Para)
La conscience d'être libre est-elle illusoire ? (G. Gay-Para)
Exercice de révision SE - IPSET.pdf par MedBechir
Exercice de révision SE - IPSET.pdfExercice de révision SE - IPSET.pdf
Exercice de révision SE - IPSET.pdf
MedBechir10 vues

Diviser Pour Régner

  • 1. Chapitre 2: La récursivité et le paradigme ‘’diviser pour régner’’ 2.1. Récursivité Définition 1: Un algorithme est dit récursif lorsqu’il est défini en fonction de lui-même. 2.1.1. Récursivité simple Revenons à la fonction puissance cette fonction peut être définie Récursivement: L’algorithme correspondant s’écrit: Puissance (x, n) Si n=0 alors renvoyer 1 sinon renvoyer x × Puissance ( x, n-1) .n xx         1si 0si1 1 nxx n x n n
  • 2. 2.1.2. Récursivité multiple Une définition récursive peut contenir plus d’un appel récursifs. Nous volons calculer ici les combinaisons en se servant de la relation de pascal: L’algorithme correspondant: Combinaison (n, p) Si p=0 ou p=n alors renvoyer 1 sinon renvoyer Combinaison (n-1, p)+ Combinaison (n-1, p-1) 2.1.3. Récursivité mutuelle Des définitions sont dites mutuellement récursives si elles dépendent les unes des autres. C’est le cas pour la définition de la parité: p nC         sinon. ou0si1 1 11 p n p n p n CC npp C             sinon)1( 0siaux )(imet sinon)1( 0si )( npair nf npair nimpair nvrai npair
  • 3. Les algorithmes correspondants s’écrivent: Pair(n) Impair(n) Si n=o alors renvoyer vrai si n=0 alors renvoyer faux sinon renvoyer Impair(n-1) sinon renvoyer Pair(n-1) 2.1.4. Récursivité imbriquée La fonction d’Ackermann est définie comme suit: D’où l’algorithme: Ackermann(m, n) Si m=0 alors n+1 sinon si n=0 alors Ackermann(m-1,1) sinon Ackermann(m-1, Ackermann(m, n-1))          sinon))1,(,1( 0et0si)1,1( 0si1 ),( nmAmA nmmA mn nmA
  • 4. 2.1.5. Principe et dangers de la récursivité Principe et intérêt: ce sont les mêmes que ceux de la démonstration par récurrence en mathématiques; on doit avoir: - Un certain nombre de cas dont la résolution est connue, ces ‘cas simples’ formeront les cas d’arrêt de la récursion; - Un moyen de se ramener d’un cas ‘compliqué’ à un cas ‘plus simple’. La récursivité permet d’écrire des algorithmes concis et élégants. Difficultés : - La définition être dénuée de sens: Algorithme A(n) renvoyer A(n) - il faut être sûrs que l’on retombera toujours sur un cas connu, c’est-à-dire sur un cas d’arrêt ; il nous faut nous assurer que la fonction est complètement définie, i.e., qu’elle est définie sur tout son domaine d’applications. Moyen : existence d’un ordre strict tel que la suite des valeurs successives des arguments invoqués par la définition soit strictement monotone et finit toujours par atteindre une valeur pour laquelle la solution est explicitement définie.
  • 5. 2.1.6. Exemple d’algorithme récursif: les tours de Hanoï Hypothèse : on suppose que l’on sait résoudre le problème pour (n-1) disques. Principe: pour déplacer n disques de la tige A vers la tige C, on déplace les (n-1) plus petits disques de la tige A vers la tige B, puis on déplace le plus gros disque de la tige A vers la tige c, puis on déplace les (n-1) plus petit disques de la tige B vers la tige C.
  • 6. Algorithme Hanoï(n, départ, intermédiaire, destination) Si n=1 alors déplacer le disque supérieur de la tige départ vers la tige destination sinon Hanoï(n-1, départ, destination, intermédiaire) déplacer le disque supérieur de la tige départ vers la tige destination Hanoï(n-1, intermédiaire, départ, destination) Complexité: On compte le nombre de déplacements des disques effectués par l’algorithme Hanoï invoqué sur n disques. D’où l’on déduit que On a donc ici un algorithme de complexité exponentielle.       sinon)1(21 1si1 )( nt n nt .12)(  n nt
  • 7. 2.2. Diviser pour régner 2.2.1. Principe Nombres d’algorithmes ont une structure récursive: pour résoudre un problème donné, ils s’appellent eux-mêmes récursivement une ou plusieurs fois sur des problèmes très similaires, mais de taille moindres, résolvent les sous-problèmes de manière récursive puis combinent les résultats pour trouver une solution au problème initial. Le paradigme ‘diviser pour régner’ donne lieu à trois étapes à chaque niveau de récursivité: Diviser : le problème en un certain nombre de sous-problèmes; Régner : sur les sous-problèmes en les résolvant récursivement ou, si la taille d’un sous-problème est assez réduite, le résoudre directement. Combiner : les solutions des sous-problèmes en une solution complète du problème initial.
  • 8. 2.2.2. Premier exemple: multiplication naïve de matrices Nous nous intéressons ici à la multiplication de matrices carrées de taille n. Algorithme naïf L’algorithme classique est le suivant: Multiplier-Matrices(A, B) Soit n la taille des matrices carrées A et B Soit C une matrice carrée de taille n Cet algorithme effectue multiplication et autant d’additions. C bacc nk c nj ni jkkijiji ji renvoyer faireà1Pour 0 faireà1Pour faireà1Pour ,,,, ,      )( 3 n
  • 9. Algorithme ‘diviser pour régner’naïf Dans la suite nous supposerons que n est une puissance exacte de 2. Décomposons les matrices A, B et C en sous-matrices de taille L’équation C=A.B peut alors s’écrire: En développant cette équation, nous obtenons: Chacune de ces quatre opérations correspond à deux multiplications de matrices carrée de taille et une addition de telles matrices. A partir de ces équations on peut aisément dériver un algorithme ‘diviser pour régner’ dont la complexité est donnée par la récurrence: L’addition des matrices carrées de taille étant en .22 nn                    hf ge dc ba ut sr dhcgudfcetbhagsbfaer  et,, 2 n ),()(8)( 2 2 ntnt n  2 n )( 2 n
  • 10. Lorsqu’un algorithme contient un appel récursif à lui-même, son temps d’exécution peut souvent être décrit par une équation de récurrence qui décrit le temps d’exécution global pour un problème de taille n en fonction du temps d’exécution pour des entrées de taille moindre. La récurrence définissant le temps d’exécution d’un algorithme ‘diviser pour régner’ se décompose suivant les trois étapes du paradigme de base: 1. Si la taille du problème est suffisamment réduite, pour une certaine constante c, la résolution est directe et consomme un temps constant 2. Sinon, on divise le problème en a sous-problèmes chacun de taille de la taille du problème initial. Le temps d’exécution total se décompose alors en trois parties: • D(n): le temps nécessaire à la division du problème en sous-problèmes. • a.t(n/b): le temps de résolution des a sous-problèmes. • C(n): le temps nécessaire pour construire la solution finale à partir des solutions aux sous-problèmes. La relation de récurrence prend alors la forme: 2.2.3.Analyse des algorithmes ‘diviser pour régner’ cn  ).1( b 1       sinon,)()()( ,si)1( )( nCnDta cn nt b n
  • 11. Où l’on interprète soit comme , soit comme .b n  b n  b n 2.2.4. deuxième exemple: algorithme de Strassem pour la multiplication des matrices L’algorithme de Strassem est un algorithme ‘diviser pour régner’ qui n’effectue que 7 multiplications de matrices, contrairement à 8 dans l’algorithme précédent, mais qui effectue plus d’additions et de soustractions de matrices, ce qui est sans conséquence une addition de matrices étant ‘gratuite’ par rapport au coût d’une multiplication. Complexité La complexité de l’algorithme de Strassem est donnée par la récurrence: Algorithme Il se décompose en quatre étapes: 1. Diviser les matrices A et B en matrices carrés de taille . 2. Au moyen de additions et soustractions scalaires, calculer 14 matrices (à préciser) carrés de taille .   )(7)( 2 2 ntnt n  2 n )( 2 n 7171 ,...,,,..., BBAA 2 n
  • 12. 3. Calculer récursivement les 7 produits de matrices 4. Calculer les sous-matrices désirées r, s, t et u en additionnant et/ou soustrayant les combinaisons idoines des matrices ad-hoc, à l’aide de additions et soustractions scalaires. Produits de sous-matrices Nous supposons que chaque matrice produit peut s’écrire sous la forme: où les coefficients sont pris dans l’ensemble {-1, 0, 1}. Nous supposons donc que chaque produit peut être obtenu en additionnant et soustrayant certaines des sous-matrices de A, en additionnant et soustrayons certaines des sous-matrices de B, et en multipliant les deux matrices ainsi obtenues. Récrivons l’équation définissant r : ].7;1[,  iBAP iii iP )( 2 n iP    hgfedcbaBAP iiiiiiiiiii  43214321  jiji ,, et                                              .... .... ... ... 0000 0000 0010 0001 d c b a h g f e dcbabfaer hgfe
  • 13. Où « + » représente « +1 », « . » représente « 0 » et « - » représente « -1 ». Nous récrivons de même les équations définissant s, t et u : On remarque que l’on peut calculer s par où sont calculées chacune au moyen d’une unique multiplication de matrice: , .... .... ... ...                d c b a bhags hgfe , ... ... .... ....                d c b a dfcet hgfe . ... ... .... ....                d c b a dhcgu hgfe 21 PPs  21 et PP
  • 14. . .... .... ... ... )(, .... .... .... .. )( 222111                              hbaBAPhgaBAP De même la matrice t peut être calculée par avec: Pour calculer r et u on introduit une matrice définie comme suit: 43 PPt  . .. .... .... .... )(, ... ... .... .... )( 444333                              efdBAPedcBAP 5P . .. .... .... .. )()(555                hedaBAP
  • 15.                                                                                                                                                       .. .... .. .... .... .... ... ... .. .... .... .... .. .... .... .. .. .... ... ... .. .... .... .... .. .... .... .. .. .... ... ... .. .... .... .. .... .... ... ... r
  • 16.                .. .... .. .... )()(666 hfdbBAP D’où, en posant On obtient De même, on cherche à obtenir u à partir de : .6245 PPPPr  5P
  • 17.                                                                                                                                                       .... .. .... .. ... ... .... .... .... .... .... .. .. .... .... .. ... ... .... .. .... .... .... .. .. .... .... .. ... ... .... .. .. .... .... .. ... ... .... .... u
  • 18. D’où, en posant On obtient Discussion L’algorithme de Strassen n’est intéressant en pratique que pour de grandes matrices (n > 45) denses (peu d’éléments non nuls). La meilleure borne supérieure pour la multiplication de matrices carrés de taille n est environ en La meilleure borne inférieure connue est en (il faut générer valeurs).                .... .. .... .. )()(777 gecaBAP .7315 PPPPu  ).( 376,2 nO )( 2 n 2 n
  • 19. Chapitre 3: Algorithmes de tri 3.1. Tri par fusion 3.1.1. Principe L’algorithme de tri par fusion est construit suivant le paradigme ‘diviser pour régner’: 1. Il divise la séquence de n nombres à trier en deux sous-séquences de taille 2. Il trie récursivement les deux sous-séquences. 3. Il fusionne les deux sous-séquences triées pour produire la séquence complète triée. La récursion termine quand la sous-séquence à trier est de longueur 1 (car une telle séquence est toujours triée). 3.1.2.Algorithme La principale action de l’algorithme de tri par fusion est justement la fusion des deux listes triées. La fusion Le principe de cette fusion est simple: à chaque étape, on compare les éléments minimaux des deux sous-listes triées, le plus petit des deux étant l’élément minimal de l’ensemble on le met de côté et on recommence. On conçoit ainsi un algorithme .2 n
  • 20. Fusionner qui prend en entrée un tableau A et trois entiers, p, q et r, tels que p ≤ q< r et tels que les tableaux A[p .. q] et A[q+1 .. r] soient triés. L’algorithme est donné ci- dessous: 1 1 ][][fairequetant 1 1 ][][sinon 1 ][][alors][][si faireetquetant 1 1tailledeun tableausoit 1 ),,,( ]1[ ][               kk ii iAkCqi kk jj jAkC ii iAkCjAiA rjqi k prC qj pi rqpA ..rqA p ..qA fusiondeboucle temporairetableauleparcouriràservantindice résultatleconstruitonlequeldanstemporairetableau tableauleparcouriràservantindice tableauleparcouriràservantindice Fusionner
  • 21. ][]1[ faire1à1pour 1 1 ][][fairequetant kCkpA prk kk jj jAkCrj      Fig.1 Algorithme de fusion de deux sous-tableaux adjacents triés. Complexité de la fusion Etudions les différentes étapes de l’algorithme: - Les initialisations ont un coût constant - La boucle tant que de fusion s’exécute au plus r-p fois, chacune de ses itérations étant de coût constant, d’où un coût total en - Les deux boucles tant que complétant C ont une complexité respective au pire de q-p+1 et de r-q, ces deux complexité étant - La recopie finale coûte Par conséquent, l’algorithme de fusion a une complexité en ).1( ).( prO  );( prO  ).1(  pr ).( pr 
  • 22. Le tri Ecrire l’algorithme de tri par fusion est maintenant une trivialité (cf. Fig.2). Fig.2 Algorithme de tri par fusion. 3.1.3. Complexité Pour déterminer la formule de récurrence qui nous donnera la complexité de l’algorithme Tri-Fusion, nous étudions les trois phases de cet algorithme ‘diviser pour régner’: Diviser: cette étape se réduit au calcul du milieu de l’intervalle [p; r], sa complexité est donc en Régner: l’algorithme résout récursivement deux sous-problèmes de tailles respectives d’où une complexité en Combiner: la complexité de cette étape est celle de l’algorithme de fusion qui est de Pour la construction d’un tableau solution de taille n.   ),,,( ),1,( ),,( alors ),,( 2 )( rqpAFusionner rqAFusionTri qpAFusionTri qrpsi rpAFusionTri rp      ).1( ,2 n ).(2 2 nt )(n
  • 23. Pour des valeurs de n suffisamment grandes, le tri par fusion avec son temps d’exécution en est nettement plus efficace que le tri par insertion dont le temps d’exécution est en )log( nn ).( 2 n 3.2. Tri par tas 3.2.1. Définition d’un tas Un tas est un arbre binaire parfait dont tout les niveaux sont complets sauf le dernier qui est rempli de la gauche vers la droite. Dans un tas, un père est toujours plus grand que ses fils. Pour un exemple de tas voir Fig. 3. 16 14 10 8 7 9 3 2 4 1 1 2 3 4 5 6 7 8 9 10 Fig. 3 Un tas vu comme un arbre binaire (à gauche) et comme un tableau (à droite).
  • 24. Les tas sont généralement représentés et manipulés sous forme d’un tableau: - Un tableau A qui représente un tas est un objet à deux attributs: 1. longueur(A) qui est le nombre d’éléments qui peuvent être stockés dans le tableau A; 2. taille(A) qui est le nombre d’éléments stockés dans le tableau A. - La racine est stockée dans la première case du tableau A[1]. - Les éléments de l’arbre sont rangés dans l’ordre, niveau par niveau, et de gauche à droite. Les fonctions d’accès aux éléments du tableau sont alors:   12i )Droite(Fils 2i )Gauche(Fils )Père( 2    renvoyer renvoyer renvoyer i i i i - Propriété des tas: ][)][Père( iAiA 
  • 25. 3.2.2 Conservation de la structure de tas L’algorithme Entasser (cf. Fig.3) prend en entrée un tableau A et un indice i. On suppose que les sous-arbres de racine gauche(i) et Droite(i) sont des tas. Par contre, il est possible que A[i] soit plus petit que ses fils (violant ainsi la propriété de tas) . Entasser doit faire ‘descendre’ la valeur A[i] de sorte que le sous arbre de racine i soit un tas. L’action de cet algorithme est illustré par la Fig.4. max),Entasser( [max]][échangeralorsaxsi maxalors[max]][et)(si maxalors[max]][et)(si ax )( )( ),Entasser( A AiAim dAdAAtailleg gAgAAtailleg im iDroited iGaucheg iA       Fig. 3: Algorithme Entasser.
  • 26. Fig. 5: Action Entasser(A,1).
  • 27. Complexité Le temps d’exécution de Entasser sur un arbre de taille n est en plus le temps de l’exécution récursive de Entasser sur un des deux sous-arbres, or ces deux sous-arbres ont une taille en au plus (le pire cas survient quand la dernière rangée de l’arbre est exactement remplie à moitié) Le temps d’exécution de Entasser est donc décrit parla récurrence: 3.2.3 Construction d’un tas La construction se fait simplement par utilisation successive de l’algorithme Entasser, comme le montre l’algorithme à la Fig. 6. )1( 3 2n )1()()( 3 2  ntnt )(logendoncest)( nnt    ),(faire1àPour ][][ )( 2 ][ iAEntasseri AtailleAlongueur ATasConstruire Alongueur    Fig. 6: Algorithme Construire-Tas.
  • 30. D’où : On peut donc construire un tas à partir d’un tableau en temps linéaire. )()( nOnt 
  • 32. 3.2.4 Algorithme de tri par tas Illustration de l’algorithme Tri-Tas voir Fig. 6 Complexité La procédure Trier-Tas prend un temps car l’appel à Construire-Tas prend un temps et que chacun des n-1 appels à Entasser prend un temps )1,(Entasser 1)()( ][]1[échanger faire2à)(Pour )( )( A AtailleAtaille iAA Alongueuri ATasConstruire AtasTrier      )log( nnO )(nO ).(log2 nO
  • 36. 3.3. Tri rapide (Quicksort) 3.3.1. Principe
  • 44. 3.4. Tri rapide version 2
  • 45. 3.4.1. Etape de division 3.4.2. Etape de fusion
  • 46. 3.4.2. Tri rapide complet
  • 47. 3.4.3. Pseudo-code du Tri rapide
  • 48. 3.5. Tri fusion (complément) a) Etape de division
  • 50. 3.5.1. Tri Fusion complet
  • 51. 3.5.2 Pseudo-code du Tri Fusion