快速排序(Quick Sort),简称快排,顾名思义,是一种效率很高的排序算法,由霍尔在1960年发明,也正因此,霍尔在20年后的1980年获得了图灵奖,而快排算法也在2000年被评为二十世纪对科学技术进步有巨大影响的十大算法之一!
由此可见,快排的影响力之巨大!
算法思想
快排的思想便是,首先选取数组中的一个元素(一般取第一个元素)作为中轴,则剩下的元素若小于中轴元素,便放在中轴元素的左侧,若大于中轴元素,便放在中轴元素的右侧,然后将左右两侧的部分按照上述思想依次执行,直到分治到只剩下一个元素时停止。
可以看出,快排的思想和归并排序的思想之间的区别便在于,前者只需要分,而不需要合,而后者则不仅需要分,还需要合;前者分比较难,后者合比较难。
代码实现
这里我是用C++实现,同时这里我将给出多种分割的方法:
首先数组元素为:
int A[10] = {23, 5, 7, 4, 89, 76, 2, 6, 44, 33};
然后便是分割函数:
首先看第一种分割(这种分割便是霍尔一开始提出的):
int partition1(int* A, int low, int high) {
int temp = A[low];
int i = low;
int j = high + 1;
do {
do i++; while (A[i] < temp);
do j--; while (A[j] > temp);
swap(A[i], A[j]);
} while (i < j);
swap(A[i], A[j]);
swap(A[j], A[low]);
return j;
}
这种分割函数的思想便是,首先取第一个元素作为中轴元素,之后从左往右找到第一个大于中轴元素的值,再从右往左找到第一个小于中轴元素的值,再将这两个交换,直到遍历完数组中的所有元素。
注意:在遍历完以后,还需要将i和j指向是元素再交换一遍,这是因为我们在退出循环的时候交换了一次,而退出循环的条件有两个,一个是i=j,一个是i>j。i=j时,交不交换都无所谓,但是i>j时,由于在退出循环前交换过了,导致中轴元素左边有一个大于中轴元素的值,而右边有一个小于中轴元素的值,因此退出循环之后需要交换回来,此时,j指向的位置必是最后一个小于中轴元素的值,因此将该元素与中轴元素交换一下,便是实现了分割,同时中轴元素就处在j指向的位置,因此将j返回即可。
再来看第二种分割:
int partition2(int* A, int low, int high) {
int temp = A[low];
while (low < high) {
while (low < high && A[high] >= temp) high--;
A[low] = A[high]; //将比中轴元素小的元素移动到左边
while (low < high && A[low] <= temp) low++;
A[high] = A[low]; //将比中轴元素大的元素移动到右边
}
A[low] = temp;
return low;
}
这种分割函数的思想则是,由于整个数组首先取出来第一个元素,因此最左边low指向的位置便空出来了,因此先从右向左找到第一个小于中轴元素的元素,然后将其放到low指向的位置,此时,high指向的位置便空出来了,因此从左往右找到第一个大于中轴元素的元素,以此往复,注意到一点,这里退出循环之后就不需要像前面那种一样还要再交换一次,因为在循环里面找到需要更改位置的元素的同时也在判断low<high?因此不需要再交换。
然后快排函数:
void quickSort(int* A, int low, int high) {
if (low < high) {
//int m = partition1(A, low, high);
int m = partition2(A, low, high);
quickSort(A, low, m - 1);
quickSort(A, m + 1, high);
}
}
最后在main()函数中启动:
int main() {
cout << "排序前的数组:" << endl;
for (int i = 0; i < 10; i++) {
cout << A[i] << " ";
}cout << endl;
quickSort(A, 0, 9);
cout << "排序后的数组:" << endl;
for (int i = 0; i < 10; i++) {
cout << A[i] << " ";
}cout << endl;
return 0;
}
运行结果如下:
复杂度分析
首先是空间复杂度,由于快排是递归实现的,因此这里需要借助一个递归工作栈,最坏的情况,即遇到一个有序数组使得分割之后的结果只有一边,则此时的空间复杂度为O(n),而最好的情况,即每次分割都能够使得两边的元素数量相等,则此时的空间复杂度为O(logn),平均情况的空间复杂度为O(logn)。
至于时间复杂度,平均情况和最优情况的时间复杂度都是O(nlogn),而最差情况的时间复杂度则为O(n2)。
虽然粗看之下,感觉快排的时间复杂度和归并排序、堆排序这些差不多,但是大量的研究表明,快排的效率其实是最好的,这也还是对得起它的名字的。
参考资料
《算法设计与分析基础》第三版以及老师的课件