快排划分思想

快排利用分治思想，选定一个基准，通过交换元素将原数组划分成两部分，其中一部分的元素都小于或等于x，另一部分元素都大于或等于x，此时x已经找到了在数组中最终排好序的位置，继续用快排解决左右两个部分，所有子问题规模逐渐减小到1时完成排序。

给定你一个长度为 n 的整数数列。请你使用快速排序对这个数列按照从小到大进行排序，并将排好序的数列按顺序输出。

输入格式：

输入共两行，第一行包含整数 n。

第二行包含 n 个整数（所有整数均在 1∼10^9范围内），表示整个数列。

输出格式：

输出共一行，包含 n 个整数，表示排好序的数列。

数据范围

1≤n≤100000

这里给出快排模板：

（1）首先判断问题规模是否为1，若是直接返回不用排序，否则先定义两个指针i和j用于划分数组（i和j初始定出界的目的在于每次循环先移动i和j时不会漏掉首尾元素），令基准元素x = 当前数组中间元素。

（2）当 i < j 时进入循环，不断移动 i ，直到 i 指向的元素大于或等于基准元素 x ，即从左到右找到第一个应该交换到右半区的元素；不断移动 j ，直到 j 指向的元素小于或等于基准元素 x，即从右向左找到第一个应该交换到左半区的元素。

（3）如果此时 i 和 j 指向的不是同一个元素，那么交换这两个元素。如果 i < j 返回（2），否则进入（4）

（4）解决两个子问题，即[l, j] 以及 [j + 1, r]两个数组排序。

#include <iostream>
using namespace std;
const int SIZE = 100010;
int q[SIZE];
void quickSort(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){
        while (q[++i] < x);
        while (q[--j] > x);
        if (i < j) swap(q[i], q[j]);
    }
    quickSort(q, l, j), quickSort(q, j + 1, r);
}
int main()
{
    int n;
    scanf("%d", &n);
    for (int i = 0; i < n; ++ i){
        scanf("%d", &q[i]);
    }
    quickSort(q, 0, n - 1);
    for (int i = 0; i < n; i++){
        printf("%d ", q[i]);
    }
    return 0;
}

注意一点，每一次快排划分完成后 i = j 和 i > j 的情况都有可能出现。

为什么两个子问题描述为[l, j] 以及 [j + 1, r]而不是其它？这与基准元素 x 的选取和先 i 后 j 的结构有关。x = q[l + r >> 1]使得x有可能取到 l 指向的元素，当此次划分结束后 i 与 j 可能会都停在 l ，即 l = i = j，此时若将子问题划分为与上述区间对称的[l, i - 1] 以及 [i, r]则会使得左侧区间没有元素而右侧区间与这次要排序的区间一样，这样子问题规模并未减少，会不断循环下去。

即划分为[l, i - 1] 以及 [i, r] 在i = j = l 时会死循环，划分为[l, i] 以及 [i + 1] 会在 j < l = r 时陷入死循环。划分为[l, j - 1] 以及 [j, r] 会在 i = j = l 时陷入死循环。

那么有没有可能 i = j = r 使得划分为[l, j] 以及 [j + 1, r]时死循环？不可能！因为先 i 后 j 的结构决定了出现 i = j 代表 i 停在某一位置而 j 连续向左走到 i 的位置，显然该位置不会在右边界 r 。

---

利用划分思想可以解决第 k 个数

给定一个长度为 n 的整数数列，以及一个整数 k，请用快速选择算法求出数列从小到大排序后的第 k 个数。

输入格式

第一行包含两个整数 n 和 k。

第二行包含 n 个整数（所有整数均在 1∼10^9 范围内），表示整数数列。

输出格式

输出一个整数，表示数列的第 k 小数。

数据范围

1≤n≤100000,
1≤k≤n

只需在上述模板上修改一下即可，快排划分后，若 第k小的数在左半部则递归调用左半部的快排，否则调用右半部的快排，直到快排部分只剩一个元素，这个元素就是第 k 小的数，返回该数即可。

#include <iostream>
using namespace std;
const int N = 100010;
int q[N];
int quickSort(int q[], int l, int r, int k)
{
    if (l == r) return q[l];
    int i = l - 1, j = r + 1, x = q[l + r >> 1];
    while (i < j){
        while (q[++i] < x);
        while (q[--j] > x);
        if (i < j) swap(q[i], q[j]);
    }
    if (k <= j) return quickSort(q, l, j, k);
    else return quickSort(q, j + 1, r, k);
}

int main()
{
    int n, k;
    scanf("%d%d", &n, &k);
    for (int i = 0; i < n; i++){
        scanf("%d", &q[i]);
    }
    printf("%d", quickSort(q, 0, n - 1, k - 1));
    return 0;
}