摘要： 循环不变式同样可以用来证明分治算法的正确性。只不过具体操作上稍有不同——我们不是从第一次递归之前开始证明，而是从第一次直接求解（即最后一次递归调用）时开始证明。一般过程为 初始化：在函数直接求解后，循环不变式成立。 保持：先假设函数内部的所有递归调用均满足循环不变式，再证明函数本身返回后，循环不变式仍然成立。 终止：“最外层”的函数调用返回后，算法结果一定是正确的。 阅读全文