数据结构与算法：快速排序算法

Ⅰ.快速排序算法：（quicksort）

快速排序算法是一种非常常见并且非常常用的算法。在目前的实践中表现几乎是最好的排序算法。它的平均运行时间是O(N*logN)的。代码量相对也还是非常简短的。

Ⅱ.快速排序的基本算法思路：

快速排序算法的思想基于分治递归。实现思路可以基本概括为以下几步：

1.按照一定的策略选定序列中的一个枢纽元p。

2.按照选定的枢纽元将序列分割成两部分。一个部分的序列元素全部小于等于p，另一个部分的序列元素全部大于p。

3.分别递归处理两个部分的序列。

4.递归出口：当序列的元素小于等于1个时，返回。

Ⅲ.代码实现：

#include<iostream>
#include<algorithm>

using namespace std;
const int N = 100010;
int q[N];
int n;

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

int main()
{
    cin >> n;
    for( int i = 0; i < n; i++ ){
        cin >> q[i];
    }
    quicksort( q, 0, n - 1 );
    for( int i = 0; i < n; i++ )
        cout << q[i] << ' ';
    puts("");
    return 0;
}

Ⅳ.讨论：

1.对于枢纽元的选取，以上代码直接选取了中位数。也可以按其他策略进行选取，比如永远取最左边的元素，永远取最右边的元素，或者三数中值分割（即，左中右三个元素之中选大小排中间的作为枢纽元）等等。

2.为什么快排是正确的呢？玄学思考：

当从 quicksort(a,0,n-1)  入口进入时，就不断选择一个枢纽元将区间分割。直到，分割成一个元素，此时直接返回。此时单元素，这个单元素区间是排好序的（因为只有一个元素）。

返回后，此时是两部分区间，我们开始了双指针移动算法的操作，将小的元素放左边，大的元素放右边。也就是说，在区间的最小的情况返回之后，只有两个元素的时候，我们同样保证了区间有序。

那么“合并”大区间的时候，左边区间有序， 且都小于枢纽元p， 右边区间有序且都大于枢纽元，左右区间直接接起来就肯定还是有序的（因为中间连接处也保证了有序）。

3.模板代码的需要注意的细节：

双指针i,j是先自增（自减），再去进行判断。否则，当a[i] == a[j] == pivot的时候，程序会陷入死循环。因此：i,j的初始化需要各自越界1位。

其次，双指针移动的时候判断的条件不应该包含==的情况，如：while( a[++i] < x ) 而不是 while( a[++i] <= x)。这样可以避免数组越界的风险。

4.当然啦，stl里自带快速排序，一般需要进行排序的时候，不必自己实现一遍快速排序。只需要头文件包含#include<algorithm>，然后直接调用sort函数就可以了，并且sort的比较是可以传入自己的比较函数的。