摘要：原创博客，转载请注明： http://www.cnblogs.com/wuwenyan/p/4982713.html 当算法的输入n非常大的时候，对于算法复杂度的分析就显得尤为重要，虽然有时我们能通过一定的方法得到较为精确的运行时间，但是很多时候，或者说绝大多数时候，我们并不值得去花精力求得... 阅读全文

摘要：1. 循环不变式 循环不变式帮助我们理解算法正确性。利用循环不变式时，需要证明以下三条性质。 初始化：循环第一次迭代前，循环不变式为真.（对应归纳法中的基本情况） 保持：如果循环在某次迭代前为真，则在下次迭代之前也为真。（对应于归纳步） 终止：循环终止时，不变式提供一个有用的性质，该性质有助于... 阅读全文