十大排序之希尔排序

十大排序之希尔排序

---

汇总在这里 十大排序汇总

---

希尔排序(Shell Sort)

算法介绍：
希尔排序，也称递减增量排序算法，1959年Shell发明，第一个突破O(n2)的排序算法，是简单插入排序的改进版。它与插入排序的不同之处在于，它会优先比较距离较远的元素，希尔排序是非稳定排序算法。

改进逻辑：
希尔排序是基于插入排序的以下两点性质而提出改进方法的：

插入排序在对几乎已经排好序的数据操作时，效率高，即可以达到线性排序的效率；
但插入排序一般来说是低效的，因为插入排序每次只能将数据移动一位；

希尔排序的基本思想是：先将整个待排序的记录序列分割成为若干子序列分别进行直接插入排序，待整个序列中的记录"基本有序"时，再对全体记录进行依次直接插入排序。

算法描述：
选择一个增量序列 $t_1$,$t_2$，……,$t_k$，其中 $t_i$ > $t_j$, $t_k$ = 1；

按增量序列个数 k，对序列进行 k 趟排序；

每趟排序，根据对应的增量 $t_i$，将待排序列分割成若干长度为 m 的子序列，分别对各子表进行直接插入排序。仅增量因子为 1 时，整个序列作为一个表来处理，表长度即为整个序列的长度。

---

代码实现：

void shell_sort(int arr[], int len) {
    int gap, i, j;
    int temp;
    for (gap = len >> 1; gap > 0; gap >>= 1) {  // 循环控制间隔的缩小
        for (i = gap; i < len; i++) {  // 对每个子序列进行插入排序
            temp = arr[i];
            for (j = i - gap; j >= 0 && arr[j] > temp; j -= gap) {
                arr[j + gap] = arr[j];
            }
            arr[j + gap] = temp;  // 插入元素到正确位置
        }
    }
}

1. 初始时，将间隔gap初始化为数组长度的一半（len >> 1）。
2. 循环控制间隔的缩小，每次缩小一半（gap >>= 1）。
3. 对于每个子序列，从gap开始，依次向后遍历数组。
4. 在遍历过程中，将当前元素存储到临时变量temp中。
5. 通过比较将元素向前移动，直到找到正确的插入位置。
6. 将temp插入到正确的位置，完成一次插入排序。
   重复步骤3-6，直到所有子序列排序完毕。

时间复杂度：
希尔排序的平均时间复杂度通常被认为是介于O(n log n)和O(n^2)之间，具体取决于具体的间隔序列。一些常见的间隔序列，例如希尔增量序列（Shell’s increments）和Hibbard增量序列（Hibbard’s increments），其时间复杂度通常被认为是O(n^1.5)。

需要注意的是，希尔排序的时间复杂度并不是严格的确定值，它受到多个因素的影响，包括输入数据的分布情况、间隔序列的选择等。因此，在实际应用中，对于不同的情况，希尔排序的性能可能会有所不同。

空间复杂度：
希尔排序的空间复杂度是O(1)，即它是一个原地排序算法，不需要额外的空间来存储临时数据或辅助数组。希尔排序仅使用常数级别的额外空间来存储少量的辅助变量，例如循环变量、临时变量和间隔值。

无论输入数据的规模如何增长，希尔排序所使用的额外空间都保持不变。这使得希尔排序在内存有限的环境中表现良好，因为它不需要进行额外的内存分配。

稳定性：
希尔排序是一种不稳定的排序算法。在稳定的排序算法中，相等元素的相对顺序在排序后保持不变。然而，希尔排序通过较大的间隔进行排序，这可能会导致相等元素之间的相对顺序发生改变。
需要注意的是，希尔排序的不稳定性并不是由于交换的原因，而是由于间隔的选择和子数组的排序方式导致的。在希尔排序的最后一步，使用间隔为1的插入排序对子数组进行排序，这可能会改变相等元素的相对顺序。

持续更新中，加油！！！