OCaml (option informatique) · Chapitre 9 · Application directe du cours
Vérifier qu'une liste est triée
Algorithmique : les tris · niveau 1 (application)
Énoncé
Écrire est_trie et l'appliquer à [1; 3; 3; 5] et [1; 4; 2].
Corrigé
let rec est_trie l =
match l with
| [] | [_] -> true
| x :: (y :: _ as reste) -> x <= y && est_trie resteest_trie [1; 3; 3; 5] vaut true (croissante au sens large : <=), est_trie [1; 4; 2] vaut false (car 4 > 2). L'évaluation paresseuse de && arrête au premier défaut.
Exercices semblables
- Valider un tri corrigé
- Le tri par dénombrement corrigé
- Insérer sans
@— fusion optimisée corrigé - Insertion dans une liste triée corrigé
- Fusionner deux listes triées corrigé