Triedenie ? Jednoduché riešenia
budeme uvádzat len assign sekciu a predpokladat, ze
initially ? || i: 1 ? i ? N:: y[i] = x[i] ?
1. Reduckia poctu zle usporiadaných dvojíc
Program P1
assign
? ? i: 1 ? i < N ::
y[i] := min(y[i], y[i + 1])
|| y[i + 1] := max(y[i], y[i + 1]) ?
Program P1’
assign
? ? i: 1 ? i < N ::
y[i], y[i + 1] := sort2(y[i], y[i + 1])
pricom funkcie min, max a sort2 majú nasledovný význam:
min: 2? ? ?; vráti minimum mnoziny prirodzených císel
max: 2? ? ?; vráti maximum mnoziny prirodzených císel
sort2: ? ? ? ? ? ? ?; vráti usporiadanú dvojicu císel
napr. min(7, 5, 1976) = 5, max(7, 5, 1976) = 1976, sort2(7, 5) = (5, 7)