参考文献
https://www.cnblogs.com/webary/p/4753231.html
https://blog.csdn.net/malimingwq/article/details/97418866
为什么使用low + (high - low) / 2而不使用(high + low) / 2呢?
防止溢出!
high = 0100 0000 0000 0000 0000 0000 0000 0000 = 1073741824
low = 0100 0000 0000 0000 0000 0000 0000 0000 = 1073741824
然后我们将这两个数值相加,看结果是什么。
high + low = 1000 0000 0000 0000 0000 0000 0000 0000
= 2147483648 as unsigned 32-bit integer
= -2147483648 as signed 32-bit integer
(high + low) / 2 = 1100 0000 0000 0000 0000 0000 0000 0000 = -1073741824
(high + low) >>> 1 = 0100 0000 0000 0000 0000 0000 0000 0000 = 1073741824
low + (high - low) / 2 = 0100 0000 0000 0000 0000 0000 0000 0000 = 1073741824
作为带符号的32位整数,它是溢出的并且翻转为负。因此(high + low) / 2
是错误的,因为high + low
的运算结果可能超出当前类型所表示的范围的。
如果作为无符号32位整数运算,总和是正确的。所需要的就是将它除以2。
在Java运算中不支持无符号整数,所以我们一般选择low + (high - low) / 2来防止溢出,但有一种是这样写的low + (high - low) >>> 1,在Java中>>>和>>的区别,则在于无符号和有符号。如果使用>>,会将符号位也参与运算。
(high + low) >> 1 = 1100 0000 0000 0000 0000 0000 0000 0000 = -1073741824
一般来说>>和>>>比除法的/的运行效率高,但是经过编译器的优化,他们效率并不相差多少,工作中尽量风格和同事统一,不要擅自使用位运算,这样有可能会造成阅读困难,而且效率也不能提高多少。
为什么使用low + ((high - low) >> 1)而不使用low + (high - low) >> 1呢?
C和java语言的 移位>>的优先级 低于
加减+的优先级
所以 mid = low + (high-low)>>1; 是错的
所以在c语言中,正确的写法为
mid = low + ((high-low)>>1);
大体思路我们应该都很清楚:有三个游标,一个low在头,一个high在尾,还有一个mid指向中间,如果要检索的数据value比中间的元素arr[mid]小,那么应该在[low,mid)区间继续查找,即将high指向mid前面那个元素(也许你可能认为是指向mid元素的位置);如果要检索的数据value比中间的元素arr[mid]大,那么应该在(mid,high]区间继续查找,即将low指向mid后面那个元素(也许你可能认为是指向mid元素的位置)。一直执行这个步骤来缩小搜索区间直到找到arr[k]==value返回k 或 low>high时返回-1表示没找到。
typedef int DataType;
int binarySearch(const DataType arr[],const DataType value,size_t len)
{
int low = 0, high = len-1, mid;
while(low <= high) {
mid = low + ((high-low)>>1); //思考为什么不写作(high+low)/2;
if(value-arr[mid]<1e-6 && arr[mid]-value<1e-6)//思考为何不写作arr[mid]==value
return mid;
if(value<arr[mid])
high = mid-1; //如果写作high = mid;可以吗
else
low = mid+1; //如果写作low = mid;可以吗
}
return -1;
}
在看完了上面的代码后,你有木有想到代码中注释部分的问题?当你第一遍写代码的时候真的考虑到了吗,如果没考虑这些会有什么过果呢?下面让我们来一一道来:
(1)第六行如果写作mid = (high+low)/2;,有木有发现high+low有点蹊跷?如果你看出来了,恭喜你说明你对数据类型对应的取值范围很了解!当DataType定义为int型时,两个int相加,不要以为不会越界哈~另外改成移位操作同样完成了除以2一样的效果,但是效率却提高了。如果用移位的话一定要记得移位运算优先级很低,所以记得加括号!!记得加括号!括号!(重要的事说三遍,哈哈)
(2)第七行说好的判等呢,为嘛写成了区间的形式?这个嘛,就要考虑代码可重用性,因为细心的你可能会发现,传入的第一个参数是数组类型,什么类型的数组?这里暂时定义为int,那如果是float呢?double呢?判等还用==?所以这里考虑的是普遍情况,通过将两个数的差值在很小范围内来表示他们相等,int时照样适用。(两个浮点数相减的结果 小于一个极小的数,则可以认为两个浮点数相等)
(3)第10行第12行,才开始写的时候可能会纠结是不是要减1或者加1,当然还有第五行是写low <= high还是low < high?举几个让另一种情况出现问题的例子然后你就会明白其中的奥秘了。
好了,基本上要注意主要的问题就这些了,下面给出一个用模板函数写好的完整代码吧!
#include<vector>
#include<iostream>
using namespace std;
//二分查找模板
template<typename T1,typename T2>
int binarySearch(const T1 &arr,const T2 &value,size_t len)
{
int low = 0, high = len-1, mid;
while(low <= high) { /* 注意这里是小于等于 */
mid = low + ((high-low)>>1); //思考为什么不写作(high+low)/2;
if(value-arr[mid]<1e-6 && arr[mid]-value<1e-6)//思考为何不写作arr[mid]==value
return mid;
if(value<arr[mid])
high = mid-1; //如果写作high = mid;可以吗
else
low = mid+1; //如果写作low = mid;可以吗
}
return -1;
}
int main()
{
double arr[10];
int i;
for(i=0; i<10; i++)
arr[i] = i;
for(i=-1; i<11; i++)
cout<<"the index of '"<<i<<"': "<<binarySearch(arr,i,10)<<endl;
cout<<endl;
vector<int> arr_i(arr,arr+10);
for(i=-1; i<11; i++)
cout<<"the index of '"<<i<<"': "<<binarySearch(arr_i,i,arr_i.size())<<endl;
return 0;
}
为什么是low = mid+1; high = mid-1; 而不是 low = mid; high = mid;?
防止出现死循环,如果high=mid/low=mid,有特殊的情况,high会永远等于low,就成了死循环了。
例如,我们对数组a={2,2}进行二分查找,假设我们查找3:
2 2
low high
mid
如果是 low=mid 的更新方式,那么上面的例子会出现死循环。
mid=low+(high-low)/2=0;
a[mid]=a[0]=a[mid]=2
所以,a[mid]<3
因此,low=mid=0。注意此时low和mid还是都指向0,说明此时出现死循环了!!!
综上所述,low=mid; 会导致死循环。
2.二分查找返回key(可能有重复)第一次出现的下标x,如果不存在返回-1
二分查找(Binary Search)常见问题解决方法总结
https://blog.csdn.net/han____shuai/article/details/75249037
https://blog.csdn.net/renwotao2009/article/details/51860436
https://www.cnblogs.com/wuyuegb2312/archive/2013/05/26/3090369.html#
https://www.cnblogs.com/moonbay/p/4886799.html
终止:
此时left>=right。在每次循环结束时,left总是x的第一个可能下标,array[right]总是第一个等于key或者大于key的元素。
那么对应于left==right的情况,检查array[left]即可获得key是否存在,若存在则下标为x;
对于left>right的情况,其实是不用考虑的。因为left==上一次循环的mid+1,而mid <= right。若mi+1>right,意味着mid == right,但此时必有left == right,这一轮循环从开始就不可能进入。
————————————————
版权声明:本文为CSDN博主「renwotao2009」的原创文章,遵循CC 4.0 by-sa版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/renwotao2009/article/details/51860436