快速排序——以acwing 785为例

快速排序

以acwing 785为例

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

输入格式:输入共两行，第一行包含整数 n。第二行包含 n 个整数（所有整数均在 1∼109 范围内），表示整个数列。

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

数据范围:1≤n≤100000     */

分析：本题可以使用快速排序算法。步骤如下：

1. 选取基准点pivot
2. 划分，根据选取好的pivot将数组q[N]分成小于等于pivot的前半部分和大于等于pivot的后半部分
3. 分别递归求解数组的前半部分和后半部分
   实现过程：重点在于划分，假设数据最左侧的序号为l,右侧序号r。我们选取两个指针i,j分别从左边界和右边界向中间移动。当q[i]小于我们选取的基准点时i++；当q[j]大于基准点时j--。当两个指针都不再移动，此时若i<j则交换对应数组元素的值，然后循环上述过程，直到i>=j
   边界条件分析：

快排属于分治算法，最怕的就是 n分成0和n，或 n分成n和0,这会造成无限划分
1.以j为划分的时候，pivot不能选取q[r](若以’i’划分，pivot不能选取q[l])

假设 x = q[r]

关键句子quick_sort(q, l, j), quick_sort(q, j + 1, r);

由于j的最小值是l,所以q[j+1..r]不会造成无限划分

但q[l..j](即quick_sort(q, l, j))却可能造成无限划分，因为j可能为r

举例来说，若x选为q[r]，数组中q[l..r-1] < x,

那么这一轮循环结束时i = r, j = r，显然会造成无限划分

2.do i++; while(q[i] < x)和do j--; while(q[j] > x)不能用q[i] <= x 和 q[j] >= x

假设q[l..r]全相等

则执行完do i++; while(q[i] <= x);之后，i会自增到r+1

然后继续执行q[i] <= x判断条件，造成数组下标越界(但这貌似不会报错)

并且如果之后的q[i] <= x(此时i > r) 条件也不幸成立，

就会造成一直循环下去，造成内存超限(Memory Limit Exceeded)

3.循环的终止条件

由于最后一轮的if语句一定不执行

所以，只能保证i >= j和q[l..i-1] <= x, q[i] >= x和q[j+1..r] >= x, q[j] <= x

由q[l..i-1] <= x，i >= j(i-1 >= j-1) 和 q[j] <= x 可以得到 q[l..j] <= x

又因为q[j+1..r] >= x 所以，q[l..j] <= x,q[j+1..r] >= x

因此递归语句应该写为
quick_sort(q, l, i-1), quick_sort(q, i, r);

具体代码实现如下：

#include<iostream>

using namespace std;

void quick_sort(int q[], int l, int r){
    if(l >= r) return;
    int i = l-1, j = r+1, k = l + r + 1 >> 1;
    int x = q[k];
    while(i < j){
        do i++; while(q[i] < x);
        do j--; while(q[j] > x);
        if(i < j) swap(q[i], q[j]);
    }
    quick_sort(q, l, i-1);
    quick_sort(q, i, r);
}

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