排序——插入排序(循环不变式)

Posted LT.C#

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了排序——插入排序(循环不变式)相关的知识,希望对你有一定的参考价值。

插入排序的思想是构造一个循环不变式,可用扑克牌的例子来解释,左手为已经排好序的牌,右手为未排好序的牌,分别将右手中的牌依次一张一张地插入到左手,将左手中的每一张牌依次和这张牌比较,以此来确定这张牌在左手中的正确顺序,然后进行下一张牌,在这个过程中,左手中的牌始终是排好序的,即不变的,——称为循环不变式

初始:左手中只有一张牌,是排好序的

保持:依次将左手中的牌插入适当位置,保持左手排好序

终止:当右手中的牌全部到左手中

技术分享

 

初始时:只有1,已经排好序

保持:while(i>=1&&A[i]>key)

{

  A[i+1]=A[i]//右移

  i--;

}

  A[i+1]=key;//插入

已经跑过的代码如下

#define N 10
int main()
{
    int i=0;
    int a[N];
    for(i=0;i<N;i++)
    scanf("%d",&a[i]);
    int j,key;
    i=0;
    for(j=1;j<N;j++)
    {
        key=a[j];
        i=j-1;
        while(i>=0&&a[i]<key)
        {
            a[i+1]=a[i];
            i--;
        }
        a[i+1]=key;
    }
    for(i=0;i<N;i++)
    {
        printf("%d\t",a[i]);
    }
    return 0;
}

 

以上是关于排序——插入排序(循环不变式)的主要内容,如果未能解决你的问题,请参考以下文章

算法导论学习第一天(插入排序和循环不变式)

算法导论笔记,第2章 循环不变式与插入排序

排序算法

入门算法-二分查找,二分排序,插入排序,冒泡排序

插入排序小结

选择排序