希尔排序

涉及的一些知识

1. 逆序对

   设$A$为一个有$n$个数字的有序集（$n>1$），其中所有数字各不相同。如果存在正整数$i$、$j$使得$1\le i<j\le n$而且$A[i]>A[j]$，则$(A[i],A[j])$这个有序对称为A的一个逆序对。

2. 定理1

   任意$N$个不同元素组成的序列平均具有$N(N-1)/4$个逆序对。

3. 定理2

   任何仅以交换相邻两元素来排序的算法，其平均时间复杂度为$\Omega (N^2)$

   由该定理可知，要提高算法效率，我们可以：

   1. 每次消去不止一个逆序对
   2. 每次交换相隔较远的两个元素

4. 稳定性

   能保证两个相等的数，经过排序之后，其在序列的前后位置顺序不变。（$A_1=A_2$，排序前$A_1$在$A_2$前面，排序后$A_1$还在$A_2$前面）

希尔排序

1. 希尔排序（Shell’s Sort）

   希尔排序是把元素按下标的一定增量分组，对每组使用直接插入排序算法排序；随着增量逐渐减少，每组包含的元素越来越多，当增量减至1时，整个数组恰被分成一组，算法便终止。

2. 例：用希尔排序对下面的数组按照从小到大排列
   

   1. 对该数组先做5-间隔排序，即把元素按照下标的增量为5的这个规则分组，对每组使用插入排序。
      81、35和41一组，对它们使用插入排序
      
      94、17和75一组，对它们使用插入排序
      
      11、95和15一组，对它们使用插入排序
      
      96和28一组，对它们使用插入排序
      
      12和58一组，对它们使用插入排序
      
   2. 对进行了5-间隔排序之后的数组再进行3-间隔排序。
      
   3. 对进行了3-间隔排序之后的数组再进行1-间隔排序，即直接进行插入排序。
      

3. 主要步骤

   1. 定义增量序列$D_M>D_{M-1}>\cdots >D_1=1$
   2. 对每个$D_k$进行“$D_k$-间隔”排序（$k=M,M-1,\cdots ,1$）
   3. 注意：“$D_k$-间隔”有序的序列，在执行“$D_{k-1}$-间隔”排序后，仍然是“$D_k$-间隔”有序的。

4. 代码实现

   1. 原始希尔排序
      增量序列为：$D_M=\lfloor Size/2\rfloor$，$D_k=\lfloor D_{k+1}/2\rfloor$

      /* 希尔排序 */
      void ShellSort(ListElementType *A, int Size)
      {
          int Increment = 0, i = 0, j = 0;
          ListElementType Temp;
      
          for (Increment = Size; Increment > 0; Increment = Increment / 2) /* 增量序列 */
          {
              for (i = Increment; i < Size; i++) /* 插入排序 */
              {
                  Temp = A[i];
                  for (j = i; j >= Increment&&A[j - Increment] > Temp; j = j - Increment)
                  {
                      A[j] = A[j - Increment];
                  }
                  A[j] = Temp;
              }
          }
      }
      

      原始增量序列下，最坏情况时间复杂度是：$T_{worst}(N)=\Theta (N^2)$
      原因：增量元素不互质，则小增量可能根本不起作用。
      优化：使用更加高效的增量序列。

   2. 优化增量序列

      1. Hibbard增量序列：$D_k=2^k-1$（可以保证相邻元素互质）
      2. Sedgewick增量序列： { 1 , 5 , 19 , 41 , 109 , ⋯   } \{1,5,19,41,109,\cdots \} {1,5,19,41,109,⋯}（$9\times 4^i-9\times 2^i+1$或$4^i-3\times 2^i+1$）

5. 时间复杂度

   1. 原始增量序列
      最坏情况时间复杂度：$T_{worst}(N)=\Theta (N^2)$

   2. Hibbard增量序列
      最坏情况时间复杂度：$T_{worst}(N)=\Theta (N^{3/2})$
      平均时间复杂度：$T_{avg}(N)=O(N^{5/4})$（只是猜想，尚未有人能证明）

   3. Sedgewick增量序列
      最坏情况时间复杂度：$T_{worst}(N)=O(N^{4/3})$（只是猜想，尚未有人能证明）
      平均时间复杂度：$T_{avg}(N)=O(N^{7/6})$（只是猜想，尚未有人能证明）

6. 稳定性
   希尔排序是不稳定排序。