Corrigé des exercices
£. ¢. ¡. Exercice 6. Montrons par récurrence forte sur n = j ? i ? 2 que tri(t, i, j) trie correctement le tableau t[i : j]. ? Si n = 2 l'algorithme réalise ...
£. ¢. ¡. Exercice 6. Montrons par récurrence forte sur n = j ? i ? 2 que tri(t, i, j) trie correctement le tableau t[i : j]. ? Si n = 2 l'algorithme réalise ...