算法描述
- 每一轮排序选择一个基准点(pivot)进行分区
- 让小于基准点的元素的进入一个分区,大于基准点的元素的进入另一个分区
- 当分区完成时,基准点元素的位置就是其最终位置
- 在子分区内重复以上过程,直至子分区元素个数少于等于 1,这体现的是分而治之的思想
- 从以上描述可以看出,一个关键在于分区算法,常见的有洛穆托分区方案、双边循环分区方案、霍尔分区方案
快排特点
- 平均时间复杂度是 O ( n l o g 2 n ) O(nlog_2n ) O(nlog2n),最坏时间复杂度 O ( n 2 ) O(n^2) O(n2)
- 数据量较大时,优势非常明显
- 属于不稳定排序
洛穆托分区方案 vs 霍尔分区方案
- 霍尔的移动次数平均来讲比洛穆托少3倍
补充代码说明
- day01.sort.QuickSort3 演示了空穴法改进的双边快排,比较次数更少
- day01.sort.QuickSortHoare 演示了霍尔分区的实现
- day01.sort.LomutoVsHoare 对四种分区实现的移动次数比较
单边循环快排(lomuto 洛穆托分区方案)
- 选择最右元素作为基准点元素
- j 指针负责找到比基准点小的元素,一旦找到则与 i 进行交换
- i 指针维护小于基准点元素的边界,也是每次交换的目标索引
- 最后基准点与 i 交换,i 即为分区位置
package com.unit.sort;
/**
* Description:快速排序 单边循环快排(lomuto 洛穆托分区方案) O(nlogn)
*/
public class QuickSort1 {
public static void main(String[] args) {
int[] a = {18, 23, 19, 9, 23, 15};
//单次分区
partition(a, 0, a.length - 1);
//递归分区
quick(a, 0, a.length - 1);
}
/*
*单边循环快排(lomuto 洛穆托分区方案)
*/
public static int partition(int[] a, int l, int h) {
int pv = a[h]; //基准点元素
int i = l;//第一个元素
for (int j = l; j < h; j++) {
if (a[j] < pv) {
if (i != j) {//优化结果
swap(a, i, j);//把比第一个元素小的交换
}
i++;
}
if (i != h) {//优化结果
swap(a, h, i);//基准点元素与i元素交换
}
}
// 返回值代表了基准点元素所在的正确索引,用它确定下一轮分区的边界
return i;
}
//递归分区
public static void quick(int[] a, int l, int h) {
if (l >= h) {
return;
}
int p = partition(a, l, h);//获取基准点的索引值
quick(a, l, p - 1);//左边分区的范围确定
quick(a, p + 1, h);//右边区分的范围确定
}
//数组交换位置
public static void swap(int[] a, int i, int j) {
int t = a[i];
a[i] = a[j];
a[j] = t;
}
}
双边循环快排(不完全等价于 hoare 霍尔分区方案)
- 选择最左元素作为基准点元素
- j 指针负责从右向左找比基准点小的元素,i 指针负责从左向右找比基准点大的元素,一旦找到二者交换,直至 i,j 相交
- 最后基准点与 i(此时 i 与 j 相等)交换,i 即为分区位置
要点:
1.基准点在左边,并且要先 j 后 i
2.while( i < j && a[j] > pv ) j–
3.while ( i < j && a[i] <= pv ) i++
package com.unit.sort;
import java.util.Arrays;
/**
* ClassName:QuickSort1
* Package:com.unit.sort
* Description:快速排序 双边循环快排(不完全等价于 hoare 霍尔分区方案) O(nlogn)
*
* @author
* @create -08-06 18:26
*/
public class QuickSort2 {
public static void main(String[] args) {
int[] a = {18, 23, 19, 9, 23, 15};
//单次分区
partition(a, 0, a.length - 1);
//递归分区
quick(a, 0, a.length - 1);
}
/*
*双边循环快排(不完全等价于 hoare 霍尔分区方案)
*/
public static int partition(int[] a, int l, int h) {
int pv = a[l];//基准点元素
int i = l;//左边界
int j = h;//有边界
while (i < j) {
// j 从右找小的
while (i < j && a[j] > pv) {
j--;
}
// i 从左找大的
while (i < j && a[i] <= pv) {
i++;
}
swap(a, i, j);
}
// l 与 j相遇时,与基准点元素交互
swap(a, l, j) ;
System.out.println(Arrays.toString(a) + " j=" + j);
return j;
}
//递归分区
public static void quick(int[] a, int l, int h) {
if (l >= h) {
return;
}
int p = partition(a, l, h);//获取基准点的索引值
quick(a, l, p - 1);//左边分区的范围确定
quick(a, p + 1, h);//右边区分的范围确定
}
//数组交换位置
public static void swap(int[] a, int i, int j) {
int t = a[i];
a[i] = a[j];
a[j] = t;
}
}