基础算法学习笔记——快速排序

快速排序
思想：分治算法
1、确定分界点
2、调整区间
3、递归处理左右两端
示意图：

例题：
785. 快速排序
给定你一个长度为 n 的整数数列。

请你使用快速排序对这个数列按照从小到大进行排序。

并将排好序的数列按顺序输出。

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

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

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

数据范围
1≤n≤100000
输入样例：
5
3 1 2 4 5
输出样例：
1 2 3 4 5

#include<bits/stdc++.h>
using namespace std;
const int N = 100010;
int n;
int q[N];
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);
		do j--;while(q[j]>x);
		if(i<j) swap(q[i],q[j]); //交换q[i]和q[j] 
	}
	quick_sort(q,l,j);//递归处理左右两端，j改成i-1也可以 
	quick_sort(q,j+1,r);//递归处理左右两端，j+1改成i也可以 
}

int main()
{
	scanf("%d",&n);
	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;
	
}

以下是AC社区大佬的边界值情况的分析：
附链接：https://www.acwing.com/solution/content/16777/

边界情况分析 分析 快排属于分治算法，最怕的就是 n分成0和n，或 n分成n和0,这会造成无限划分

以j为划分时，x不能选q[r] (若以i为划分,则x不能选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，显然会造成无限划分

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)

if(i < j) swap(q[i], q[j])能否使用 i <= j

可以使用if(i <= j) swap(q[i], q[j]);

因为 i = j 时，交换一下q[i],q[j] 无影响，因为马上就会跳出循环了

最后一句能否改用quick_sort(q, l, j-1), quick_sort(q, j, r)作为划分(用i做划分时也是同样的道理,)

不能

根据之前的证明，最后一轮循环可以得到这些结论

j <= i 和 q[l…i-1] <= x, q[i] >= x 和 q[j+1…r] >= x, q[j] <= x

所以，q[l…j-1] <= x 是显然成立的，

但quick_sort(q, j, r)中的q[j] 却是 q[j] <= x，这不符合快排的要求

另外一点，注意quick_sort(q, l, j-1), quick_sort(q, j, r)可能会造成无线划分

当x选为q[l]时会造成无限划分，报错为(MLE),

如果手动改为 x = q[r],可以避免无限划分

但是上面所说的q[j] <= x 的问题依然不能解决，这会造成 WA (Wrong Answer)

j的取值范围为[l…r-1]

证明:

假设 j 最终的值为 r ,说明只有一轮循环(两轮的话 j 至少会自减两次)

说明q[r] <= x (因为要跳出do-while循环)

说明 i >= r(while循环的结束条件), i 为 r 或 r + 1(必不可能成立)

说明 i 自增到了 r , 说明 q[r] >= x 和 q[l…r-1] < x,

得出 q[r] = x 和 q[l…r-1] < x 的结论,但这与 x = q[l + r >> 1]矛盾

反证法得出 j < r

假设 j 可能小于 l 说明 q[l…r] > x ,矛盾

反证法得出 j >= l

所以 j的取值范围为[l…r-1],不会造成无限划分和数组越界