对于两个正整数 x, n 总存在整数 q, r 使得x = nq + r, 其中 0<= r <n //最小非负剩余q, r 是唯一确定的。q = [x/n], r = x - n[x/n]. 这个是带余除法的一个简单形式。在 c 语言中, q, r 容易计算出来: q = x/n, r = x % n.所谓把 x 按 n 对齐指的是:若 r=0, 取 qn, 若 r>0, 取 (q+1)n. 这也相当于把 x 表示为:x = nq + r', 其中 -n < r' <=0 //最大非正剩余 nq 是我们所求。关键是如何用 c 语言计算它。由于我们能处理标准的带余除法,所以可以把这个式子转换成一个标准的......
阅读全文