Outils pour utilisateurs

Outils du site


nsi:terminales:tri_rapide

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révision
Révision précédente
nsi:terminales:tri_rapide [2021/10/08 18:43] – créée goupillwikinsi:terminales:tri_rapide [2022/12/13 10:47] (Version actuelle) goupillwiki
Ligne 87: Ligne 87:
  
 <code lang-none> <code lang-none>
-Fonction partition +FONCTION partition 
-entrées +ENTRÉES 
-  tableau: le tableau à trier +    tableau: le tableau à trier 
-  indice_debut: indice de début de la zone considérée +    indice_debut: indice de début de la zone considérée 
-  indice_fin: indice de la fin de la zone considérée +    indice_fin: indice de la fin de la zone considérée 
-précondition : 0 <= indice_debut <= indice_fin < longueur tableau +PRÉCONDITION : 0 <= indice_debut <= indice_fin < longueur tableau 
-Début +DÉBUT 
-  pivot est la valeur du tableau à l'indice indice_debut +    pivot est la valeur du tableau à l'indice indice_debut 
-  cg positionné à indice_debut + 1 +    cg positionné à indice_debut + 1 
-  cd positionné à indice_fin +    cd positionné à indice_fin 
-  TANT QUE cg à gauche de cd ou au même endroit FAIRE +    TANT QUE cg à gauche de cd ou au même endroit FAIRE 
-      avancer cg jusqu'à atteindre +        avancer cg jusqu'à atteindre 
-         un élément > pivot ou dépasser indice_fin +        un élément > pivot ou dépasser indice_fin 
-      avancer cd jusqu'à atteindre +        avancer cd jusqu'à atteindre 
-         un élément < pivot ou la position indice_debut +        un élément < pivot ou la position indice_debut 
-      SI cg strictement à gauche de cd ALORS +        SI cg strictement à gauche de cd ALORS 
-         permuter les contenus des deux curseurs +            permuter les contenus des deux curseurs 
-         avancer cg et cd dans leur sens respectifs +            avancer cg et cd dans leur sens respectifs 
-      FIN SI +        FIN SI 
-  FIN TANT QUE +    FIN TANT QUE 
-  permuter le contenu à indice_debut (pivot) avec le contenu de cd +    permuter le contenu à indice_debut (pivot) avec le contenu de cd 
-  RENVOYER position de cd +    RENVOYER position de cd 
-  postconditions:+FIN 
 +POSTCONDITIONS:
     indice_debut <= cd <= indice_fin     indice_debut <= cd <= indice_fin
     tous les items de indice_debut à cd sont <= a l'item en cd     tous les items de indice_debut à cd sont <= a l'item en cd
     tous les items de cd à indice_fin sont >= a l'item en cd     tous les items de cd à indice_fin sont >= a l'item en cd
-FIN 
 </code> </code>
  
nsi/terminales/tri_rapide.1633711415.txt.gz · Dernière modification : de goupillwiki