关于循环不变式，我们必须证明三条性质： 初始化：循环的第一次迭代之前，它为真 保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真 终止：在循环终止时，不变式为我们提供一个有用的性质，该性质有助于证明算法是正确的 //<<算法导论>> Read More
思想：每一趟将一个待排序的记录，按照其关键字的大小插入到有序队列的合适位置里，直到全部插入完成。 伪代码： INSERTION-SORT(A): 这里假设数组下标从1开始 代码: 插入排序时间复杂度： 最好情况：O(n) 最坏情况：O(n2) 平均情况：O(n2) 空间复杂度：O(1) 稳定性: 稳 Read More