- 3


(T[1: N] ) & (T '[1: N] )

& ("i i £ N (T [ i] = T [ i] )).

, , T , T' . , () . () end .

(i < N) (T'( i)) > T' (i + 1) (T' ( i) T' (i + 1) .

:

$ i i < N (T'(i) < T'(i +1), () end

( T').

, () end.

Abeg T = T 0

M =true

i = 0

M=true Aend

Ø M = true

i = i + 1