模板:
//本模板来自ACwing
void quick_sort(int q[],int l,int r)
{if(l>=r) return;int x=q[l+r>>1],i=l-1,j=r+1;while(i<j){do i++;while(q[i]<x);do j--;while(q[j]>x); if(i<j) swap(q[i],q[j]);}quick_sort(q,l,j);quick_sort(q,j+1,r);
};
原理:
注意事项:
(1)为什么while的循环控制条件一定不带等号?
如果写成:
do i++;while(q[i]<=x);
那么如果x恰好是待排序数组中最大的元素,那么while条件会一直成立,那么i将会一直走到头,j也是同理,如果选中的x恰好是数组中最小的元素,那么j一直走到头。
所以,while的循环控制条件不带等号
(2)为什么是do-while,不能用while
如果写成:
while(q[i]<x) i++;
while(q[j]>x) j--;
设想这种情况,
2…………2…………2
x=2,i和j分别指向左右两边的2,那么两个while条件上来就不成立,i和j会无法移动,陷入死循环
(3)为什么交换q[i]和q[j]之前要判断i<j
最终,i和j指针无非两种情况,
1.相遇,相等
2.穿过,错一
设想案例:2,1,x=2,
将1和2交换后,进入下一轮循环,因为是do-while,所以i和j又将各自前移一位,最终会形成此种情形
如果swap前不检查i<j,那么此时又会swap,那么最终退出循环后,数组相当于没被排序,还是原样,
swap前判断i<j,为防i j交叉
(4)递归区间和x的关系,
如果x==q[i+j>>1],那么递归区间写quick_sort(q,l,j), quick_sort(q,j+1,r)
如果x==q[i+j+1>>1],那么递归区间写quick_sort(q,l,i-1),quick_sort(q,i,r)
为何不写quick_sort(q,l,j-1), quick_sort(q,j,r)?或者quick_sort(q,l,i),quick_sort(q,i+1,r)?
因为满足<=x的,是 [l,i-1],[l,j] 区间,满足>=x的,是 [i,r],[j+1,r] 区间
因为x=q[i+j>>1],可能会导致i=l,比如案例:1,2 ,此时如果递归区间写此时i=l,那么会发生[l,r]调用[l,r],也即死递归
x=q[i+j+1>>1],可能会导致j=r,同样可举案例:1,2,同理。
总结:
快排算法写错,一般只可能有两种情况:
1.死循环
这里的循环陷入死路,对应注意事项(2)
2.死递归
quick_sort(a,m,n)
quick_sort(a,m,i-1)
quick_sort(a,i,n)
若i等于m,出现死递归
quick_sort(a,m,n)
quick_sort(a,m,j)
quick_sort(a,j+1,n)
而j=n,出现死递归
对应注意事项(4)
时间复杂度分析: