Bonjour,
je bloque pour la preuve de cet algo en utilisant le theoreme de correction:
Entasser-max(A,i)
g<-- Gauche(i)
d<-- Droite(i)
Si g<=taille[A] et A[g]>A[i]
alors max<-- g
sinon max <-- i
Si d<=taille[A] et A[d]>A[max]
alors max <-- d
Si max <> i
alors echanger(A[i] et A[max])
Entasser-Max(A,max)
L'algorithme permet de rétablir la propriété d'un tas max.(un arbre binaire tel que la valeur du noeud pere est superieur ou egal a celles des noeuds fils).
A c'est un tableau representant le tas ,i c'est l'indice du noeud qui a une valeur plus petite que celles de ses fils .Le role de l'algo c'est de faire descendre la valeur de A[i] dans le tas max, de sorte que le sous arbre enraciné en i devienne un tas max.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :