排序——插入排序——普通插入排序

1. 插入排序

插入排序是逐个将无序序列的元素插入到有序序列中。

插入排序的时间复杂度为O(n^ 2) ，空间复杂度为O(1)。最好的时间复杂度是O(n)，最坏也就是平均是O(n^2)。算法稳定。

2.步骤

插入排序从有序序列后一个元素开始，进行向前插入排序，一直到最后一个数向前做插入排序。

3.代码实现

void insert_sort(int a[], int n)
{
    // a[] 待排数组， n待排个数
    int key, i;
    for(int j = 2;j < n;j++)
    {// 因为a[1,1]是有序的， 所以从j =2 开始。
        key = a[j];
        i = j-1;
        while(i>=0&&a[i]>key)
        {
            a[i+1] = a[i];
            i--;
        }
        a[i+1] = key;
    }
}

4. 证明

利用循环不变式证明。关于循环不变式， 我们必须证明三条性质：

• 初始化： 循环的第一次迭代之前， 它为真
• 保持： 如果循环的某次迭代之前它为真， 那么下次迭代之前它仍为真。
• 在循环终止时， 不变式为我们提供一个有用的性质， 该性质有助于我们证明算法的正确性。

5. 参考

• 《算法导论 第三版》