find_invariant
intermediaire
Trouvez l'invariant de boucle pour le tri à bulles (bubble sort).
void bubble_sort(int x[], int n) {
for (int i = n-1; i > 0; i--)
for (int j = 0; j < i; j++)
if (x[j] > x[j+1]) { int t=x[j]; x[j]=x[j+1]; x[j+1]=t; }
}