二分查找基础版
减而治之
以任一元素x = S[mi]为界,都可将待查找区间分为三部分
S[lo,mi) <= S[mi] <= S(mi,hi]
只需将目标元素e与x做一比较,即可分为三种情况进一步处理:
- e<x:则e若存在必属于左侧子区间S[lo,mi),故可向左侧深入
- e>x:则e若存在必属于右侧子区间S(mi,hi],故可向右侧深入
- e=x:已在此处找到答案,可随即返回
int Binsearch(int *a,int e,int lo,int hi){
while(lo<hi){
int mi=(lo+hi)>>1;
if(e<a[mi]){
hi=mi;
}else if(e>a[mi]){
lo=mi+1;
}else{
return mi;
}
}
return -1;
}
二分查找改进版本A
对判断分支进行缩减,使得分支只有两个方向,而不再是三个方向
同样地,轴点mi取作中点,则查找每深入一层,问题规模也缩减一半
- e<x:则e若存储必属于左侧子区间S[lo,mi),故可向左侧深入
- e>=x:则e若存在必属于右侧子区间S[mi,hi),故可向右侧深入
只有当元素数目hi-lo = 1时,才判断该元素是否命中
int Binsearch_upa(int *a,int e,int lo,int hi){
while(hi-lo>1){
int mi=(lo+hi)>>1;
(e<a[mi])?hi=mi:lo=mi;//[lo,mi) [mi,hi)
}
return (e==a[lo])?lo:-1;
}
二分查找改进版本B
版本B相比较版本A来说不再会返回查找失败,而是返回不大于e的最大秩
int Binsearch_upc(int *a,int e,int lo,int hi){
while(lo<hi){
int mi=(lo+hi)>>1;
(e<a[mi])?hi=mi:lo=mi+1;//[lo,mi) (mi,hi)
}//出口时,a[lo==hi]为大于e的最小元素
return --lo;//故lo-1即不大于e的元素的最大秩
}