二分查找通过不断缩小查找区间实现。二分查找的前提条件是有序不重复,涉及很多边界条件,容易出问题。写好二分法,要注意保持区间定义这个不变量,每一次搜索不重不漏。
二分查找题目为:给定一个 n
个元素有序的(升序)整型数组 nums
和一个目标值 target
,写一个函数搜索 nums
中的 target
,如果目标值存在返回下标,否则返回 -1
。
二分法设置搜索区间左下标left,右下标right。开始搜索时,搜索区间为整个数组,left=0,right可取nums.length或者nums.length-1,数组共有nums.length个元素,下标为0到nums.length-1,根据right的取值分为左闭右闭区间的写法和左闭右开区间的写法。
左闭右闭区间
左闭右闭区间要保持左闭右闭的特性,进入数组开始搜索:
while(left<=right)
如果是left<right可以吗?这时区间就不是左闭右闭了,遗漏了left=right的数组情况,即当数组中只有一个元素时不能进入循环。
当数组中间值>target时,要更新右下标right,使得新的搜索区间为左半区间:
if(nums[mid]>target){
right=mid-1;
}
nums[mid]>target,说明中间值与target已经比较过了,新的搜索区间右下标应该放在mid前一位,这样形成的新的搜索区间仍是左闭右闭的,没有漏掉nuns[mid-1]这个值,也没有重复比较nums[mid]这个值。例如数组中只剩一个值且不等于target的情况,若right=mid,就会陷入无限循环。
类似地,当数组中间值<target时,要更新左下标left,使得新的搜索区间为右半区间:
if(nums[mid]<target){
left=mid+1;
}
左闭右闭题解
class Solution {
public int search(int[] nums, int target) {
// 避免当 target 小于nums[0] nums[nums.length - 1]时多次循环运算
if (target < nums[0] || target > nums[nums.length - 1]) {
return -1;
}
int left = 0, right = nums.length - 1;
while (left <= right) {
int mid = left + ((right - left) >> 1);
if (nums[mid] == target)
return mid;
else if (nums[mid] < target)
left = mid + 1;
else if (nums[mid] > target)
right = mid - 1;
}
return -1;
}
}
左闭右开区间
左闭右开区间要保持左闭右开的特性,进入数组开始搜索:
while(left<right)
right初始为nums.length,随着搜索区间的更新,依然是左闭右开区间,right永远等于当前区间最大索引+1,left为当前区间最小索引,最小索引<=最大索引<最大索引+1,left永远不可能等于right。
当数组中间值>target时,要更新右下标right,使得新的搜索区间为左半区间:
if(nums[mid]>target){
right=mid;
}
中间值已经与target比较过,新的搜索区间最大索引应为mid-1,新的搜索区间右下标right应为最大索引+1,即right=mid。
类似地,当数组中间值<target时,要更新左下标left,使得新的搜索区间为右半区间:
if(nums[mid]<target){
left=mid+1;
}
左闭右开题解
class Solution {
public int search(int[] nums, int target) {
int left = 0, right = nums.length;
while (left < right) {
int mid = left + ((right - left) >> 1);
if (nums[mid] == target)
return mid;
else if (nums[mid] < target)
left = mid + 1;
else if (nums[mid] > target)
right = mid;
}
return -1;
}
}
总结
选择左闭右闭区间写法时,进入搜索条件为left<=right;选择左闭右开区间写法时,进入搜索条件为left<right。
更新搜索区间时,左下标left的更新两种情况相同,都是left=mid+1=搜索区间最小索引,
右下标right的更新,注意right与搜索区间最大索引的不同,左闭右闭区间时,right=搜索区间最大索引=mid-1;左闭右开区间时,right=搜索区间最大索引+1=mid。