并不是很懂wikipedia上面说快排的空间复杂度最坏情况是O（NlogN）啊，难道不是空间复杂度平均O（logN），最坏O（N）么……原地快排难道不是只要算递归栈深度就好了么……有谁给我解释一下啊（评论区orz）。
快排的核心思想我感觉就是选一个pivot，然后将待排序数列通过与pivot比较分为两个部分A和B（A部分的数均小于或等于pivot，B部分均大于或等于pivot），这样划分好的数列中的数就处于A <= pivot <= B的状态，接着对划分好的两个部分A和B分别递归调用快排函数，最后一定能出现划分好的部分中只剩下一个元素或没有元素的情况，而对于只有一个元素的数列或空列，我们认为它已经是有序的，这样就把数列排好了。
所以在快排中怎样对数组进行划分是关键，不同版本的快速排序大体结构都差不多，不同之处就在于划分函数的不同，这里就暂时称它为Partition函数吧，下面首先介绍四种不同的实现，再介绍它们的优化。
第一个版本
其实快排一开始不是我们现在看到的这样的，一开始Hoare发明的版本在《算法导论》这本书的思考题7-1上有提及。这个版本相当于是以开头元素为pivot，然后两个index分别从头和尾开始遍历，暂时把这两个index变量称为i和j吧，i从头开始，j从尾开始，其过程如下：
第一步——j往前遍历，遇到小于或等于pivot的数就停止
第二步——i往后遍历，遇到大于或等于pivot的数就停止
第三步——比较i和j大小，j > i则交换i和j位置上的数并在此基础上继续第一步，否则函数返回j
函数返回后，经过Partition函数的调用，数组中下标为j之前（包括j）的元素都小于或等于pivot，j之后的元素都大于或等于pivot，然后对这两部分进行快速排序。
例子：
代码如下：
int Hoare_Partition(int A[ ], int begin, int end){
int pivot = A[begin];
;;
;
){
do{
j--;
}while(A[j] > pivot);
do{
i++;
}while(A[i] < pivot);
if(j > i){
Swap(A, i, j);
}
else{
return j;
}
}
}
void Quick_Sort_1(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = Hoare_Partition(A, begin, end);
Quick_Sort_1(A, begin, pivot_position);
Quick_Sort_1(A, pivot_position + , end);
}
第二个版本
这个版本是对Hoare原版本的一个改进，Hoare原版本中Partition函数调用结束后pivot会存在于划分好的两个部分中的某一个中，因此第二个版本对此进行了改进，同样选取第一个元素作为pivot，如果数列的下标从begin开始，end结束的话，那么用Hoare的处理思想去处理从begin + 1到end部分的数列（Hoare的版本是处理从begin到end部分的数列的），这样处理完成后下标为begin + 1到j的数都是小于或等于pivot的，而下标为j + 1到end的数都是大于或等于pivot的，最后再将pivot和下标为j的数进行交换并返回j，这样一来下标为j之前（不包括j）的数均小于或等于pivot，下标为j之后的数均大于或等于pivot，pivot也就不在两个划分好的部分中，而独立存在了，因此只要对两个部分继续快排就好了，而不需要再将pivot包括进去。
例子：
代码如下：
int New_Partition_1(int A[ ], int begin, int end){
int pivot = A[begin];
int i = begin;
;
){
do{
j--;
}while(A[j] > pivot);
do{
i++;
}while(A[i] < pivot);
if(j > i){
Swap(A, i, j);
}
else{
A[begin] = A[j];
A[j] = pivot;
return j;
}
}
}
void Quick_Sort_2(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = New_Partition_1(A, begin, end);
Quick_Sort_2(A, begin, pivot_position - );
Quick_Sort_2(A, pivot_position + , end);
}
第三个版本
这个版本是现在比较常见的版本之一，将pivot所在位置挖成一个坑，i从begin + 1开始，j从end开始，然后：
第一步——j往前遍历，找到小于或等于pivot的数
如果此时j > i，将下标为j的数填入现在的坑中，并在下标为j的位置产生一个新坑，进行第二步
否则就将pivot填入现在的坑中，并返回j
第二步——i往后遍历，找到大于或等于pivot的数
如果此时j > i，将下标为i的数填入现在的坑中，并在下标为i的位置产生一个新坑，进行第一步
否则就将pivot填入现在的坑中，并返回i
例子：
代码如下：
int New_Partition_2(int A[ ], int begin, int end){
int pivot = A[begin];
int i = begin;
;
){
do{
j--;
}while(A[j] > pivot);
if(j > i){
A[i] = A[j];
}
else{
A[i] = pivot;
return i;
}
do{
i++;
}while(A[i] < pivot&&i < j);
if(j > i){
A[j] = A[i];
}
else{
A[j] = pivot;
return j;
}
}
}
void Quick_Sort_3(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = New_Partition_2(A, begin, end);
Quick_Sort_3(A, begin, pivot_position - );
Quick_Sort_3(A, pivot_position + , end);
}
第四个版本
这个版本也很常见，就是把最后一个数作为pivot，i一开始等于begin，用j从begin开始往end - 1遍历，找到小于或等于pivot的数，与i所在位置的数交换，并将i++，最后将pivot和下标为i的数交换，返回i。
例子：
代码如下：
int New_Partition_3(int A[ ], int begin, int end){
int pivot = A[end];
int i, j = begin;
for(i = begin; i < end; i++){
if(A[i] <= pivot){
Swap(A, i, j);
j++;
}
}
A[end] = A[j];
A[j] = pivot;
return j;
}
void Quick_Sort_4(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = New_Partition_3(A, begin, end);
Quick_Sort_4(A, begin, pivot_position - );
Quick_Sort_4(A, pivot_position + , end);
}
通过三数取中来优化快排
这种优化就是每次选择pivot时，选择首元素，尾元素，和中点处元素中第二大的元素来作为pivot，这样就可以尽量避免快排中最坏情况的出现（这样能尽可能让两个划分大小均匀，毕竟是选取大小较为中间的数作为pivot，减少选取到的pivot是极大值或极小值的概率），同时也可以避免某些partition函数的版本（如第三个版本）中出现数组访问越界的情况（因为选取的pivot尽可能是中间值，不会出现一次遍历结束全都大于或全都小于pivot的情况，遍历也就可以停住而不会继续下去导致越界访问），代码如下：
int Choose_Pivot(int A[], int begin, int end){
;
if((A[pivot_position] >= A[end]&&A[pivot_position] >= A[begin])){
if(A[begin] >= A[end]){
pivot_position = begin;
}
else{
pivot_position = end;
}
}
else if((A[pivot_position] <= A[end]&&A[pivot_position] <= A[begin])){
if(A[begin] >= A[end]){
pivot_position = end;
}
else{
pivot_position = begin;
}
}
return pivot_position;
}
int Optimal_Partition_1(int A[], int begin, int end){
int pivot_position = Choose_Pivot(A, begin, end), pivot;
int i = begin, j;
Swap(A, pivot_position, end);
pivot = A[end];
for(j = begin; j < end; j++){
if(A[j] <= pivot){
Swap(A, i, j);
i++;
}
}
A[end] = A[i];
A[i] = pivot;
return i;
}
void Quick_Sort_5(int A[], int begin, int end){
int pivot_position;
while(begin < end){
pivot_position = Optimal_Partition_1(A, begin, end);
if(end - pivot_position >= pivot_position - begin){
Quick_Sort_5(A, begin, pivot_position - );
begin = pivot_position + ;
}
else{
Quick_Sort_5(A, pivot_position + , end);
end = pivot_position - ;
}
}
}
通过优先排序较小划分来优化快排
快排是通过递归实现的，而在快排函数中会递归调用两次，第二次调用是尾递归，我们知道尾递归都是可以转换为循环来进行优化的。函数调用是很浪费时间的，并且递归又很占用内存空间，所以可以优先递归调用快排去排序较小的划分子列，这样可以节约空间，然后通过循环来实现原先对较大的划分子列进行快排的尾递归，节约时间和空间，上面通过三数取中法来优化快排的函数中就采用了这一方法。（实际上很多聪明的编译器都会自动优化这一点）
通过随机数来优化快排
因为pivot如果选取的不恰当就很可能出现最坏情况，所以可以生成随机数来决定选取数组中某个位置的数作为pivot，这样就会减小选到极大的或极小的pivot的情况的概率，从而使划分尽可能均匀。想一想，假设一个数列包含以下的数{1, 2, 3, 4, 5, 6, 7, 8},这个数列中{3, 4, 5, 6}这几个数都至少大于或小于数列中25%的数，选择它们为pivot的话就可以让划分变得更加均匀（相比较选择{1, 2, 7, 8}而言），每次都选择{3, 4, 5, 6}的话，在O（Nlog4N）即O（2NlogN）时间就可以完成排序，而选取随机数有50%的概率选中{3, 4, 5, 6}中的数，也就是最多需要O（4NlogN）时间即可完成排序，这个结果是远远比最坏情况O（N^2）要好的，当然注意用rand函数要加括号，代码如下：
int Optimal_Partition_2(int A[], int begin, int end){
) + begin);
int pivot;
int i = begin, j;
pivot = A[pivot_position];
Swap(A, pivot_position, end);
for(j = begin; j < end; j++){
if(A[j] <= pivot){
Swap(A, i, j);
i++;
}
}
A[end] = A[i];
A[i] = pivot;
return i;
}
void Quick_Sort_6(int A[], int begin, int end){
int pivot_position;
while(begin < end){
pivot_position = Optimal_Partition_2(A, begin, end);
if(end - pivot_position >= pivot_position - begin){
Quick_Sort_5(A, begin, pivot_position - );
begin = pivot_position + ;
}
else{
Quick_Sort_5(A, pivot_position + , end);
end = pivot_position - ;
}
}
}
用插入排序来优化快排
快排在小规模数组方面的表现不如插入排序和堆排序好，而且一般递归到规模较小的数组时，数组已经处于一种较为有序，或者说局部有序的状态，这时用插入排序可以节省时间，代码如下：
void Insert_Sort(int A[], int begin, int end){
int i, j, tmp;
for(i = begin; i <= end; i++){
tmp = A[i];
; j >= begin; j--){
if(tmp > A[j]){
break;
}
else{
A[j + ] = A[j];
}
}
A[j + ] = tmp;
}
}
int Optimal_Partition_2(int A[], int begin, int end){
) + begin);
int pivot;
int i = begin, j;
pivot = A[pivot_position];
Swop(A, pivot_position, end);
for(j = begin; j < end; j++){
if(A[j] <= pivot){
Swap(A, i, j);
i++;
}
}
A[end] = A[i];
A[i] = pivot;
return i;
}
void Quick_Sort_7(int A[], int begin, int end){
int pivot_position;
while(begin < end){
){
Insert_Sort(A, begin, end);
return;
}
pivot_position = Optimal_Partition_2(A, begin, end);
if(end - pivot_position >= pivot_position - begin){
Quick_Sort_5(A, begin, pivot_position - );
begin = pivot_position + ;
}
else{
Quick_Sort_5(A, pivot_position + , end);
end = pivot_position - ;
}
}
}
完整代码：
//
// main.c
// Quick Sort
//
// Created by 余南龙 on 2016/11/29.
// Copyright © 2016年 余南龙. All rights reserved.
//
#include <stdio.h>
#include <time.h>
#include <stdlib.h>
void Swap(int A[], int i, int j){
int tmp = A[i];
A[i] = A[j];
A[j] = tmp;
}
int Choose_Pivot(int A[], int begin, int end){
;
if((A[pivot_position] >= A[end]&&A[pivot_position] >= A[begin])){
if(A[begin] >= A[end]){
pivot_position = begin;
}
else{
pivot_position = end;
}
}
else if((A[pivot_position] <= A[end]&&A[pivot_position] <= A[begin])){
if(A[begin] >= A[end]){
pivot_position = end;
}
else{
pivot_position = begin;
}
}
return pivot_position;
}
void Insert_Sort(int A[], int begin, int end){
int i, j, tmp;
for(i = begin; i <= end; i++){
tmp = A[i];
; j >= begin; j--){
if(tmp > A[j]){
break;
}
else{
A[j + ] = A[j];
}
}
A[j + ] = tmp;
}
}
int Hoare_Partition(int A[ ], int begin, int end){
int pivot = A[begin];
;;
;
){
do{
j--;
}while(A[j] > pivot);
do{
i++;
}while(A[i] < pivot);
if(j > i){
Swap(A, i, j);
}
else{
return j;
}
}
}
int New_Partition_1(int A[ ], int begin, int end){
int pivot = A[begin];
int i = begin;
;
){
do{
j--;
}while(A[j] > pivot);
do{
i++;
}while(A[i] < pivot);
if(j > i){
Swap(A, i, j);
}
else{
A[begin] = A[j];
A[j] = pivot;
return j;
}
}
}
int New_Partition_2(int A[ ], int begin, int end){
int pivot = A[begin];
int i = begin;
;
){
do{
j--;
}while(A[j] > pivot);
if(j > i){
A[i] = A[j];
}
else{
A[i] = pivot;
return i;
}
do{
i++;
}while(A[i] < pivot&&i < j);
if(j > i){
A[j] = A[i];
}
else{
A[j] = pivot;
return j;
}
}
}
int New_Partition_3(int A[ ], int begin, int end){
int pivot = A[end];
int i, j = begin;
for(i = begin; i < end; i++){
if(A[i] <= pivot){
Swap(A, i, j);
j++;
}
}
A[end] = A[j];
A[j] = pivot;
return j;
}
int Optimal_Partition_1(int A[], int begin, int end){
int pivot_position = Choose_Pivot(A, begin, end), pivot;
int i = begin, j;
Swap(A, pivot_position, end);
pivot = A[end];
for(j = begin; j < end; j++){
if(A[j] <= pivot){
Swap(A, i, j);
i++;
}
}
A[end] = A[i];
A[i] = pivot;
return i;
}
int Optimal_Partition_2(int A[], int begin, int end){
) + begin);
int pivot;
int i = begin, j;
pivot = A[pivot_position];
Swap(A, pivot_position, end);
for(j = begin; j < end; j++){
if(A[j] <= pivot){
Swap(A, i, j);
i++;
}
}
A[end] = A[i];
A[i] = pivot;
return i;
}
void Quick_Sort_1(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = Hoare_Partition(A, begin, end);
Quick_Sort_1(A, begin, pivot_position);
Quick_Sort_1(A, pivot_position + , end);
}
void Quick_Sort_2(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = New_Partition_1(A, begin, end);
Quick_Sort_2(A, begin, pivot_position - );
Quick_Sort_2(A, pivot_position + , end);
}
void Quick_Sort_3(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = New_Partition_2(A, begin, end);
Quick_Sort_3(A, begin, pivot_position - );
Quick_Sort_3(A, pivot_position + , end);
}
void Quick_Sort_4(int A[ ], int begin, int end){
int pivot_position;
if(begin >= end)
return;
pivot_position = New_Partition_3(A, begin, end);
Quick_Sort_4(A, begin, pivot_position - );
Quick_Sort_4(A, pivot_position + , end);
}
void Quick_Sort_5(int A[], int begin, int end){
int pivot_position;
while(begin < end){
pivot_position = Optimal_Partition_1(A, begin, end);
if(end - pivot_position >= pivot_position - begin){
Quick_Sort_5(A, begin, pivot_position - );
begin = pivot_position + ;
}
else{
Quick_Sort_5(A, pivot_position + , end);
end = pivot_position - ;
}
}
}
void Quick_Sort_6(int A[], int begin, int end){
int pivot_position;
while(begin < end){
pivot_position = Optimal_Partition_2(A, begin, end);
if(end - pivot_position >= pivot_position - begin){
Quick_Sort_5(A, begin, pivot_position - );
begin = pivot_position + ;
}
else{
Quick_Sort_5(A, pivot_position + , end);
end = pivot_position - ;
}
}
}
void Quick_Sort_7(int A[], int begin, int end){
int pivot_position;
while(begin < end){
){
Insert_Sort(A, begin, end);
return;
}
pivot_position = Optimal_Partition_2(A, begin, end);
if(end - pivot_position >= pivot_position - begin){
Quick_Sort_5(A, begin, pivot_position - );
begin = pivot_position + ;
}
else{
Quick_Sort_5(A, pivot_position + , end);
end = pivot_position - ;
}
}
}
int main(int argc, const char * argv[]) {
] = {, , , , , , , , , };
] = {, , , , , , , , , };
] = {, , , , , , , , , };
] = {, , , , , , , , , };
] = {, , , , , , , , , };
] = {, , , , , , , , , };
];
int i;
srand((unsigned)time());
; i < ; i++){
A_7[i] = (rand() % );
}
Quick_Sort_1(A_1, , );
; i < ; i++){
printf("%d ", A_1[i]);
}
putchar('\n');
Quick_Sort_2(A_2, , );
; i < ; i++){
printf("%d ", A_2[i]);
}
putchar('\n');
Quick_Sort_3(A_3, , );
; i < ; i++){
printf("%d ", A_3[i]);
}
putchar('\n');
Quick_Sort_4(A_4, , );
; i < ; i++){
printf("%d ", A_4[i]);
}
putchar('\n');
Quick_Sort_5(A_5, , );
; i < ; i++){
printf("%d ", A_5[i]);
}
putchar('\n');
Quick_Sort_6(A_6, , );
; i < ; i++){
printf("%d ", A_6[i]);
}
putchar('\n');
Quick_Sort_7(A_7, , );
; i < ; i++){
printf("%d ", A_7[i]);
}
putchar('\n');
}