背景
对于包含有大量重复数据的数组, 三路快排有巨大的优势。
对于一般性的随机数组和近乎有序的数组, 三路快排的效率虽然不是最优的, 但是是在非常可以接受的范围里。
思路
将整个数组分为一个基准点和三个比较部分。比较分为3种情况:大于,小于和等于。指针i没循环一次右移一次,针对三种情况进行不同动作,结束后数组被分为3段,下一次递归只递归小于和大于两部分。
5个指针:
l:最左侧元素,基准点;
r:最右侧元素;
lt(less than):最后一个 <v 的元素,起始值(v);
gt(great than):第一个 >v 的元素,起始值 r+1;
i:正在被比较的元素,起始值 (v+1);
三个区间:
小于v:[l+1,lt]
等于:[lt+1,i-1]
大于:[gt,r]
区间一定要注意开闭。
三种情况:
1. arr[i]<v:交换当前比较值和相等区间的第一个值,lt右移,swap(arr[i],arr[lt+1]),lt++;i++;
2. arr[i]=v:无变化;i++;
3. arr[i]>v:交换当前比较值和大于区间外的第一个值,gt左移,swap(arr[i],arr[gt-1]),gt--;
结束条件:
指针i和指针gt重合或i>gt。
结束动作:
基准点和小于区间的最后一个元素做交换。
反思:
代码能否正常实现,边界条件往往是最重要的。
这次的实现中,一开始指针lt想设置为l+1,但无法正常运行,因为这样并没有将所有元素都进行判断,不知道lt设置在此就说明至少有一个元素是<v的,但实际情况不是如此,同理,gt初始化也要设置为r+1.
情况arr[i]>v中,不需要再判断中进行i++,因为i已经被调换,还需要进行下一步判断。
代码:
#include <iostream>
#include <algorithm>
#include "../SortTestHelper.h"
using namespace std;
template <typename T>
void _quickSort3(T arr[] ,int l ,int r){
if(r-l<=1){return;}
else{
T x = (l+rand()%(r-l+1));
swap(arr[l],arr[x]);
T v = arr[l];
int lt = l;
int i = l+1;
int gt = r+1;
while(i<gt){
if(arr[i]<v){
swap(arr[i],arr[lt+1]);
lt++;
i++;
}
else if( arr[i]>v){
swap(arr[i],arr[gt-1]);
gt--;
}
else{
i++;
}
}
swap(arr[l],arr[lt]);
_quickSort3(arr,l,lt-1);
_quickSort3(arr,gt,r);
}
}
template <typename T>
void quickSort3(T arr[] , int n){
srand((int)(time((NULL))));
_quickSort3(arr,0,n-1);
}
int main(){
int *arr = SortTestHelper::generateRandomArray(10,0,10);
for(int i = 0;i<10;i++){
cout<<arr[i];
}
cout<<endl;
quickSort3(arr,10);
for(int i = 0;i<10;i++){
cout<<arr[i];
}
cout<<endl;
return 0;
}