Feuille de TD 4

t n
t n
i0n−2
t(i..n −1) i
n−1i+ 1
t(j)< t(j−1)
t(j)t(j−1)
t(0..i)
t
t(0..n −1)
i= 0
t=
01234567
.
n

n
t n
t n
i n −1 1
t(i)t(0..i)
t=
01 2 34567
?
trie_chaine string →string
≤
<=
0a→0a→bool
(0a→
0a→bool)→ 0a array → 0a array
#tri [|3;1;4;1;5;9;2|] (<=) ;;
- : int array = [|1; 1; 2; 3; 4; 5; 9|]
#tri [|3;1;4;1;5;9;2|] (>=) ;;
- : int array = [|9; 5; 4; 3; 2; 1; 1|]
0a array →(0a→0a→bool)→0a array

t