m
||p(j)||
1
n
m
n; m; f)
m( List)
j:m, x,y:||p(j)||. x < y 
(p(j))[x] > (p(j))[y]
j:m, x:||p(j)||. (p(j))[x] < n & f((p(j))[x]) = j
sum(||p(j)|| | j < m)1
m
k,b:, f:(k
). (x:k. f(x)b) sum(f(x) | x < k)bk
| 1 | 9. j: m ||p(j)||1 | 7 steps |
About:
 |  |  |  |  |  |  |  |  |  |