| prov:value
| - (1) Compute d k 1 , 0 = c 2 k 0 - c 2 k + 1 0 , k = 0 , ??? , M 1 - 1. (2) Compute c k 1 = Int ( d k 1 , 0 2 ) + c 2 k + 1 0 , k = 0 , ??? , N 1 - 2 , c N 1 - 1 1 = { Int ( d M 1 - 1 1 , 0 2 ) , + C N - 1 0 , if N is an even number , c N - 1 0 , if N is an odd number ; (3) Compute { d 0 1 = Int ( c 0 - c 1 1 4 ) , + d 0 1 , 0 d k 1 , = Int ( c k - 1 1 - c k + 1 1 4 ) - d k 1 , 0 , k = 1 , ??? , M
|