Différences

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

--- nsi:terminales:tri_rapide [2021/12/09 09:43] – goupillwiki
+++ nsi:terminales:tri_rapide [2022/12/13 10:47] (Version actuelle) – goupillwiki
@@ Ligne 89: / Ligne 89: @@
 FONCTION partition
 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
 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
     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
-FIN
 </code>