acwing算法基础课算法笔记之快速排序

先说下我自己，第一次在CSDN上发文章，我是个初学者啦，有写的不对或者不好的地方多体谅

一 快速排序

1.基本思路

快排呢主打的是一个分治思想，所谓分治思想就是将问题分为3步解决

1. 将问题分成子问题
2. 将子问题递归处理
3. 合并子问题

当然这不是快排的模板思路（快排的思路只用到了分治的前两步，没有对于子问题的合并,但归并排序对于子问题的合并是重点）
快排思路来咯：

首先：有一个数组q[N],左端点是l，右端点是r

1. 确定一个分界点x x可以为数组左边界q[l],右边界q[r]或者中间值q[l+r/2],还可以取任意值 不过分界点选取涉及边界问题 后面具体分析
2. 划分区间 以x为参照划分区间，x的左侧都是小于x的值，x的右侧都是大于x的值（即分出比x大和比x小的两个无序序列） ！重点步骤
3. 递归处理左右两序列

2.思路拓展

1.划分区间的实现 （快排的重点哦）

通俗的讲: 就是将比x小的放在左侧，x大的放右侧

朴素做法（暴力做法）：

1. 先开两个数组a，b分别用来存储比x小和比x大的数
2. 遍历一遍数组q，如果q[i]小于等于x q[i]存入a数组 如果q[i]大于x q[i]存入b数组
3. 然后先将a放回q，再将b放回q

一通暴力操作下划分区间完成啦

不过人嘛总不能太那么朴素又接地气，毕竟优雅永不过时，所以就有不需要开辟数组的优雅思路啦

优雅思路
这个思路有双指针的影子，利用两个指针的扫描实现区间划分

*再强调一下区间划分的目的，就是让x左侧都是小于x的数，x右侧都是大于x的数

1. 开两个指针i和j，分别指向数组q的左右端点l和r
2. 让i指针从左端点向右扫描，遇到小于等于x的数（合理），继续向前扫描，遇到大于x的数（不合理），i指针停下
3. 让j指针从右端点向左扫描，遇到大于x的数，继续向左扫描，遇到小于等于x的数停下
4. 此时交换i，j指针所指的值后，而i，j指针继续扫描
5. 重复2,3,4步骤
6. 当i和j重合后代表扫描结束，划分完成

2. 代码来咯

优雅的代码等同于清晰的思路😘

void quick_sort(int q[N],int l,int r)
{
	if(l>=r)return;  //1.判断是否需要排序   （如果只有一个数，或者没有数退出排序） 
	int x=q[(r+l)/2];//2.确定分界点
	int i=l-1,j=r+1;// 3.确定指针下标   （初始下标为左右端点两侧）
	while(i<j)		//4.通过指针的移动和交换划分区间 
	{
		do i++;while(q[i]<x);
		do j--;while(q[j]>x);
		if(i<j)swap(q[i],q[j]);//如果指针移动后没有穿过或重合 就交换指针所指的值 
	 } 
	 //5. 递归处理左右区间  直至区间长度为1 即排序完成 
	quick_sort(q,l,j);
	quick_sort(q,j+1,r);
}

3.细节问题 （快排问题的难点）

1.do while 的使用和指针的初始化偏移问题

这个问题其实很简单，有小伙伴的疑问在于不理解为什么这样用，而不是简单的使用while以及对应的指针

因为:由于使用do-while循环,所以i和j一定会自增,使得循环会继续下去,但是如果采用while循环(i和j的初始化做出对应的变更),i和j在特殊情况下不自增的话,循环就会卡死
（看起来使人头大，看个例子就好啦）

while(q[i] < x) i++;
while(q[j] > x) j--;
当q[i]和q[j]都为 x 时, i 和 j 都不会更新,导致 while 陷入死循环

2. 边界问题

边界问题在快排中很是让人头大，因为里面涉及的边界问题极多，而且推导起来麻烦易出错，所以正确的做法就是熟练的记下一个模板（一劳永逸），但出于科学严谨的学习态度，我们来分析一下边界问题

1. 第一个边界问题就是递归的边界问题

递归时，如果以j为分界则为quick_sort(q,l,j); quick_sort(q,j+1,r);

递归时，如果以i为分界则为quick_sort(q,l,i-1); quick_sort(q,i,r);

分析一下为什么quick_sort(q,l,j-1); quick_sort(q,j,r)是错误的？
因为j从右向左扫描，遇到小于x的数停下，因此j最后停下的位置是一个小于x的数，故上述递归区间错误

2. 第二个边界问题是分界点x的取值与递归分界的选取问题

这里就不做太多的解释了，直接下结论

如果递归以j为分界 则x只能下取整 比如x=q[l]或者x=q[(l+r)/2]
如果递归以i为分界 则x只能上取整 比如x=q[r]或者x=q[(l+r+1)/2]

3.千锤百炼之完整模板（前人的肩膀）

对于边界问题的现场推导很麻烦且浪费时间，这时候如果你脑子里有一个清晰的模板，简直是 却看妻子愁何在，漫卷诗书喜欲狂啊

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+10;
int q[N];
int n;
void quick_sort(int q[N],int l,int r)
{
	if(l>=r)return;  //1.判断是否需要排序   （如果只有一个数，或者没有数退出排序） 
	int x=q[(r+l)/2];//2.确定分界点
	int i=l-1,j=r+1;// 3.确定指针下标   （初始下标为左右端点两侧）
	while(i<j)		//4.通过指针的移动和交换划分区间 
	{
		do i++;while(q[i]<x);
		do j--;while(q[j]>x);
		if(i<j)swap(q[i],q[j]);//如果指针移动后没有穿过或重合 就交换指针所指的值 
	 } 
	 //5. 递归处理左右区间  直至区间长度为1 即排序完成 
	quick_sort(q,l,j);
	quick_sort(q,j+1,r);
}
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;
 }