排序算法(四)——希尔排序算法详解及Python实现

一、简介

希尔排序（Shell Sort）算法，属于插入排序类，是不稳定排序，是对直接插入排序算法的优化，其时间复杂度为O(n^3/2)。

希尔排序是D.L.Shell 于1959年提出来的算法，在此之前排序算法的时间复杂度基本上都是O(n²)的，希尔排序是突破这个时间复杂度的第一批算法之一。^[1]

二、算法介绍

直接插入排序算法在1-数组基本有序或2-数组元素较少时效率很高，希尔排序的出发点就是如何对待排序数组进行调整，使其满足上述两个条件，从而利用直接插入排序算法的优势。最终，科学家Shell通过对数组进行分组，分隔成若干个子序列，此时子序列中的元素数相对较少，在各子序列内进行直接插入排序，当整个序列基本有序后，再对整个序列进行直接插入排序。^[1]

那么，如何对数组元素进行分组呢？
希尔算法利用增量(increment)实现跳跃分隔，将数组中相距某个增量的元素分为一组，比如0-3-6、1-4-7、2-5-8。

希尔排序是将待排序的数组元素，按下标的一定增量分组，分成多个子序列，然后对各个子序列进行直接插入排序算法排序；然后依次缩减增量再进行排序，直到增量为1时，进行最后一次直接插入排序，排序结束。^[2]

增量（inc）取值时，需注意以下几点：

1. 1 <= inc <= n(n为数组大小)；
2. 初始化时，一般可令inc = n // 2；
3. 每次迭代后，令inc = inc // 2 + 1；
4. 最后一个增量必须为1.

以下面的数组为例，对其使用希尔排序算法进行升序排序：
901050803070406020

1. inc初始值等于len(li)，即inc等于9；
2. 进入循环，inc = 9 // 3 + 1 = 4：
3. 第一次迭代，inc = 4：
   • i = 4：li[4] < li[0](40 < 90)，令t = li[[4] = 30，j = 0，进入第二个while循环，当j >= 0且t < li[j]（li[4] < li[0])时，令li[4] = li[0] = 90，j = j - inc = -4，因为j < 0，退出第二个while循环；
   • li[j+inc] = li[-4+4] = li[0] = t = 30，此时，数组li变为：
     301050809070406020
   • i = 5：li[5] > li[1](70 > 10)，不进入后续程序块；
   • i = 6：li[6] < li[2](40 < 50)，令t = li[6] = 40，j = i - inc = 2，进入第二个while循环，当j >= 0且t < li[j]（li[6] < li[2])时，令li[6] = li[2] = 50，j = j - inc = -2，因为j < 0，退出第二个while循环；
   • li[j+inc] = li[-2+4] = li[2] = t = 50，此时&#