快速排序证明

快速排序关键证明

快速排序主要是运用递归分治的思想，将大问题分解成小问题来进行处理

递归终止条件为最终递归的区间只剩一个数为止，然后每次选择一个数组序列中间的一个数，进行一次排序后，比这个数小的放在它的左面，比这个数大的在它的右面，然后分别在进行递归左区间和右区间即可
新理解，快排就是将一个数放到他正确的位置即可，因为我们知道左面的数一定比它小，右面的一定比它大，所以就相当于找到了这个数在这个数组里应该处于第几大的位置。而我们进行分界点的时候是通过j来进行区分的所以j就是该基准元素在排好序数组里面对应的下标

本文主要介绍的是快排细节的证明

首先贴上代码

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]);
    }
    quick_sort(q, l, j);
    quick_sort(q, j + 1, r);
}

主要有以下几点需要证明
1:while循环如何保证左面的元素都小于x,右面的元素都大于x
2:为什么i要命名为l-1不是l,j要命名为r+1而不是r
3:为什么要用do-while循环而不是while
4:为什么while循环的条件是i<j
5:为什么while(q[i]<x) 而不是<=x
6:为什么基准值要取中间元素，而不是两边的元素，取两边的元素有什么影响

证明1:

首先do i++循环能够保证q[l,l+1,l+2…i-1] < x, q[i] >= x,do j--循环能保证q[j+1,j+2,…r] > x, q[j] <= x.因为最后一轮i >= j所以if语句一定不执行。但是根据q[l…i-1]<x并且(i-1>j-1)所以q[l…j-1]<x并且q[j]<=x所以q[l…j]<=x.得证

证明2:

此问题照应于do i++和do j --因为i = l - 1先i ++ 就可以保证从l开始

证明3:

while循环话如果q[i]和q[j]都为x得话，那么i和j在进行循环之后一直都不会变，陷入死循环

证明4:

如果i<=j作为条件的话，对于一个有序数组，或者是递归过程中，一个区间内的数组是有序的话，就会陷入死循环。例如 1 2 3 三个元素，最后j为1左面区间是一个数可以返回，但是右面区间是2 3 两个元素，第一次i,j重合在了第一个元素的位置，此时还没有跳出循环，就会导致j变成-1最后循环时j + 1 到r的区间就变成了l 到r,左面的区间就变成了l , -1会直接返回(简单来说就是j变成了l-1最后会一直循环l -r 的区间

证明5:

两种情况一种是如果所有元素都相同就会一直循环下去最后导致i下标访问越界。第二种情况如果中间元素为最小或者最大，则也会循环不终止最后导致越界访问。

证明6:

首先原因就是选择中间元素不会造成无限划分。当选择j为划分时，基准值不能选择q[r]选择i划分时基准值不能选q[l].
以j划分为例，假设最右面的值为最大值的话，那么以最大值进行划分就会导致i一直++直到i走到最大值，此时j也为r的位置，那么最后划分的时候
quick_sort(q,l,r)就会造成无限划分。quick_sort(q,j+1,r)不会造成因额外i，j的最小值就是l。
注意事项： 以i划分的时候边界中点要取l + r + 1 >> 1因为向下取整可能会取到q[l]。