2022/12/10

快速排序
主要思想：

确定分界点：
x = a[l]
x = a[r]
q = a[(l + r) / 2]
调整范围：
左边<=x
右边>x
递归处理左边和右边
模板：

void quick_sort(int q[], int l, int r)
{
    if (l >= r) return;

    int i = l - 1, j = r + 1, x = q[l + r >> 1];
    while (i < j)
    {
        do i ++ ; while (q[i] < x);         // 可换成 while(q[ ++ i ] < x);
        do j -- ; while (q[j] > x);         // 可换成 while(q[ -- j ] > x);
        if (i < j) swap(q[i], q[j]);
    }
    quick_sort(q, l, j), quick_sort(q, j + 1, r);
}

quick_sort(a, 0, n - 1);            // 调用方法
void quick_sort(int q[], int l, int r)
{
    if (l >= r) return;

    int i = l - 1, j = r + 1, x = q[l];
    while (i < j)
    {
        do i ++ ; while (q[i] < x);         // 可换成 while(q[ ++ i ] < x);
        do j -- ; while (q[j] > x);         // 可换成 while(q[ -- j ] > x);
        if (i < j) swap(q[i], q[j]);
    }
    quick_sort(q, l, j), quick_sort(q, j + 1, r);
}

quick_sort(a, 0, n - 1);            // 调用方法
说明：

如果x选取q[l]，则递归时参数范围选择(l, j)和(j + 1, r)

如果x选取q[r]，则递归时参数范围选择(l, i - 1)和(i, r)

如果x选取q[l + r >> 1]，则递归时参数范围选择哪种都行

证明：

反例：

如果算法x选取q[l]，即x = q[0] = 1，递归时参数范围选择(l, i - 1)和(i, r)，则下一次迭代后i = 0，j = 0，递归时参数的范围为(0, -1)和(0, 1)，其中第1个递归无效，第2个递归与之前一致，陷入死循环。

同理如果算法x选取q[r]，即x = q[1] = 2，递归时参数范围选择(l, j)和(j + 1, r)，则下一次迭代后i = 1，j = 1，递归时参数的范围为(0, 1)和(2, 1)，其中第2个递归无效，第1个递归与之前一致，陷入死循环。

注意：

快速排序在对含有重复元素的数组排序时是不稳定的，但可以把元素值和其下标组成二元组{q[i], i}后再排序，这样就能使排序结果稳定。