摘要： 书名：算法引论——一种创造性方法作者：Udi Manber译者：黄林鹏、谢瑾奎、陆首博出版社：电子工业出版社循环不变量（P19）一个循环的数学模型（归纳假设）可以用循环不变量表示。例如：把一个十进制数转换成数组表示的二进制数，它的归纳假设如下，如果m是由二进制数组b[1...k]表示的整数，那么n = t *2^k + m (^表示幂运算) 阅读全文