一、二分法的原理
二分法查找针对的是一个有序的数据集合,每次通过与区间的中间元素对比,将待查找的区间缩小为之前的一半,直到找到要查找的元素,或者区间被缩小为0.
故时间复杂度就是O(logn)
二、非递归实现
1、二分查找非递归实现
第一种写法,我们定义 target 是在一个在左闭右闭的区间里,也就是[Left, Right]
1、循环退出的条件
注意这里要写成Left<= Right,而不是Left< Right,因为当Left==Right,区间[Left, Right]依然有效,比如区间[2, 2],这里还有一个值2。只有Left +1 > Right,比如[2,3],while循环才退出
2、Left与Right的赋值
if (nums[middle] > target) Right要赋值为 middle - 1,因为当前这个nums[middle]一定不是target,那么接下来要查找下个位置就是 middle - 1,同理Left要赋值为 middle + 1
3、middle的取值
如果写成 middle= (Left+Right)/2是有问题的,数字较大就可能溢出,计算机位运算比除法快,故可改成low+((high-low)>>1)
class Solution {
public:
int search(vector<int>& nums, int target) {
int left = 0;
int right = nums.size() - 1; // 定义target在左闭右闭的区间里,[left, right]
while (left <= right) { // 当left==right,区间[left, right]依然有效,所以用 <=
int middle = left + ((right - left) >> 1 );// 防止溢出 等同于(left + right)/2
if (nums[middle] > target) {
right = middle - 1; // target 在左区间,所以[left, middle - 1]
}
else if (nums[middle] < target) {
left = middle + 1; // target 在右区间,所以[middle + 1, right]
}
else // (nums[middle] == target)
return middle; // 数组中找到目标值,直接返回下标
}
}
// 未找到目标值
return -1;
}
};
第二种写法:
如果说定义 target 是在一个在左闭右开的区间里,也就是[Left, Right) ,那么二分法的边界处理方式则截然不同。
1、循环退出的条件
注意是Left< Right,而不是Left<= Right。因为当Left==Right,区间[Left, Right)是无效的,比如区间[2, 2),已经没有值了
2、Left与Right的赋值
if (nums[middle] > target) Right 更新为 middle,因为寻找区间是左闭右开区间,所以right更新为middle,而Left还是闭区间,所以Left依然为 middle + 1
class Solution2 {
public:
int search(vector<int>& nums, int target) {
int left = 0;
int right = nums.size(); // 定义target在左闭右开的区间里,即:[left, right)
while (left < right) { // 因为left == right的时候,在[left, right)是无效的空间,所以使用 <
int middle = left + ((right - left) >> 1);
if (nums[middle] > target) {
right = middle; // target 在左区间,在[left, middle)中
}
else if (nums[middle] < target) {
left = middle + 1; // target 在右区间,在[middle + 1, right)中
}
else { // nums[middle] == target
return middle; // 数组中找到目标值,直接返回下标
}
}
// 未找到目标值
return -1;
}
};
三、递归实现
int bsearchInternally(vector<int>& a, int low, int high, int value)
{
if (low > high)
{
return -1;
}
int mid = low + ((high - low) >> 1);
if (a[mid] == value) {
return mid;
}
else if (a[mid] < value)
return bsearchInternally(a, mid + 1, high, value);
else {
return bsearchInternally(a, low, mid - 1, value);
}
}
int bsearch(vector<int>& a, int val) {
int length = a.size();
int res= bsearchInternally(a, 0, length - 1, val);
return res;
}
四、二分法的写法总结
二分法是非常重要的基础算法,为什么很多人对于二分法都是一看就会,一写就废?
其实主要就是对区间的定义没有理解清楚,在循环中没有始终坚持根据查找区间的定义来做边界处理。区间的定义就是不变量,那么在循环中坚持根据查找区间的定义来做边界处理,就是循环不变量规则。
参考: