数据结构之希尔排序（浙大mooc笔记）_希尔排序是取上界还是下界-CSDN博客

本文链接：https://blog.csdn.net/qq_43498709/article/details/106693968

数据结构之希尔排序

文章目录

数据结构之希尔排序

图例

简单的例子
首先，以5为间隔对各个子序列进行插入排序，然后再以3为间隔进行插入排序，最后以1为间隔进行插入排序。

主要思想

主要思想：定义增量序列 $D_M>D_{M-1}>\cdots>D_1=1$
注：最后一步必须是以1为间隔
对每个 $D_k$ 进行 $D_k-间隔"$ 排序 $(k=M,M-1,\ldots,1)$

注： $D_k-间隔"有序的序列，再执行“D_{k-1}-间隔"排序后，仍然是“D_k-间隔”有序的$
（人话就是：打个比方，本来以5为间隔递增排序，然后以3为间隔递增排序后，这个序列还是可以以5为间隔递增的）

原始希尔排序算法

$D_M(最初间隔)=\left \lfloor N/2 \right \rfloor,D_K（间隔增量）=\left\lfloor D_{k+2}/2 \right\rfloor$

void shell_sort(int a[], int N) {
	int D,P,tmp,i;
	for (D = N / 2; D > 0; D /= 2) {/*希尔增量序列*/
		for (P = D; P < N; P++)/*插入排序*/
		{
			tmp = a[P];
			for ( i = P; i>=D && a[i - D] > tmp; i-=D) {
				a[i] = a[i - D];
			}
			a[i] = tmp;
		}
	}
}

注：希尔排序里的插入排序把原版的1全部换成了 $D （间隔增量）$ 。

原始希尔排序时间复杂度

$最坏情况：\theta(N^2)(\theta:既是上界也是下界)$

最坏情况

此时前三次都没有进行元素交换，相当于白白浪费了。
增量元素不互质，则小增量可能根本不起作用。

更多增量序列

Hibbard序列
$D_k=2^k-1，$ 这样保证了相邻元素互质。
最坏情况： $T=\theta(N^{3\over2})$
猜想： $T_{avg}=\theta(N^{5\over4})$
Sedgewick增量序列
$\left \{ 1,5,19,41,109,\ldots\right \}$
猜想： $T_{avg}=O(N^{7\over6}),T_{worst}=O(N^{4\over3})$

以下是伪码描述：

void ShellSort( ElementType A[], int N )
{ /* 希尔排序 - 用Sedgewick增量序列 */
     int Si, D, P, i;
     ElementType Tmp;
     /* 这里只列出一小部分增量 */
     int Sedgewick[] = {929, 505, 209, 109, 41, 19, 5, 1, 0};
      
     for ( Si=0; Sedgewick[Si]>=N; Si++ ) 
         ; /* 初始的增量Sedgewick[Si]不能超过待排序列长度 */
 
     for ( D=Sedgewick[Si]; D>0; D=Sedgewick[++Si] )
         for ( P=D; P<N; P++ ) { /* 插入排序*/
             Tmp = A[P];
             for ( i=P; i>=D && A[i-D]>Tmp; i-=D )
                 A[i] = A[i-D];
             A[i] = Tmp;
         }
}