数据结构排序法之希尔排序法(Shell Sort)

希尔排序，也叫递减增量排序，是插入排序的一种更高效的改进版本。希尔排序是不稳定的排序算法。
希尔排序是基于插入排序的以下两点性质而提出改进方法的：
1、插入排序在对几乎已经排好序的数据操作时，效率高，即可以达到线性排序的效率
2、但插入排序一般来说是低效的，因为插入排序每次只能将数据移动一位。

希尔排序通过将比较的全部元素分为几个区域来提升插入排序的性能。这样可以让一个元素可以一次性地朝最终位置前进一大步。然后算法再取越来越小的步长进行排序，算法的最后一步就是普通的插入排序，但是到了这步，需排序的数据几乎是已排好的了（此时插入排序较快）。

假设有一个很小的数据在一个已按升序排好序的数组的末端。如果用复杂度为O(n^2)的排序（冒泡排序或直接插入排序），可能会进行n次的比较和交换才能将该数据移至正确位置。而希尔排序会用较大的步长移动数据，所以小数据只需进行少数比较和交换即可到正确位置。
这是第一种写法：

// 希尔排序法
void shell (int* a, int len)
{
    int gap = len;                      // 代表每一步的步长

    do 
    {
        gap = gap / 3 + 1;              // 增量递增

        int i;
        // 每一组内部进行插入排序
        for (i = gap; i < len; i++)     
        {
            int get = a[i];             // 保存要插入的数
            int j = i - gap;

            // 向前遍历找到比他小的数并插在他后面
            while (j >= 0 && a[j] > get)
            {
                a[j+gap] = a[j];
                j -= gap;
            }
            a[j+gap] = get;             // 插入
        }       
    }while (gap > 1);
}

这里由于gap=1用while语句会陷入死循环，所以用了do while语句
下面这种写法更为常见：

// 希尔排序法2
void shell2 (int* a, int len)
{
    int gap = 0;

    // 生成初始增量
    while (gap < len)
    {
        gap = gap * 3 + 1;
    }   

    while (gap)
    {
        int i;
        // 每一组内部进行插入排序
        for (i = gap; i < len; i++)
        {
            int get = a[i];             // 保存要插入的数
            int j = i - gap;

            // 向前遍历找到比他小的数并插在他后面
            while (j >= 0 && a[j] > get)
            {
                a[j+gap] = a[j];
                j -= gap;
            }
            a[j+gap] = get;             // 插入
        }
        gap = (gap - 1) / 3;            // 增量递减
    }
}