我的个人网站:https://hardyfish.top/
二分搜索(折半搜索)是一种在有序数组中查找某一特定元素的搜索算法。从定义可知,运用二分搜索的前提是数组必须是排好序的。另外,输入并不一定是数组,也有可能是给定一个区间的起始和终止的位置。
他的时间复杂度是 O(lgn),非常高效。
他的缺点要求待查找的数组或者区间是排好序的。
对数组进行动态的删除和插入操作并完成查找,平均复杂度会变为 O(n)。
因此,当输入的数组或者区间是排好序的,同时又不会经常变动,而要求从里面找出一个满足条件的元素的时候,二分搜索就是最好的选择。
二分搜索一般化的解题思路如下。
从已经排好序的数组或区间中取出中间位置的元素,判断该元素是否满足要搜索的条件,如果满足,停止搜索,程序结束。
如果正中间的元素不满足条件,则从它两边的区域进行搜索。由于数组是排好序的,可以利用排除法,确定接下来应该从这两个区间中的哪一个去搜索。
通过判断,如果发现真正要找的元素在左半区间的话,就继续在左半区间里进行二分搜索。反之,就在右半区间里进行二分搜索。
int binarySearch(int[] nums, int target) {
int left = 0, right = ...;
while(...) {
//计算 mid 时需要技巧防止溢出,建议写成: mid = left + (right - left) / 2
int mid = (right + left) / 2;
if (nums[mid] == target) {
...
} else if (nums[mid] < target) {
left = ...
} else if (nums[mid] > target) {
right = ...
}
}
return ...;
}
例题:假设我们要从一个排好序的数组里 {1, 3, 4, 6, 7, 8, 10, 13, 14} 查看一下数字 7 是否在里面,如果在,返回它的下标,否则返回 -1。
递归写法的代码模板如下。
// 二分搜索函数的定义里,除了要指定数组 nums 和目标查找数 target 之外,还要指定查找区间的起点和终点位置,分别用 low 和 high 去表示。
int binarySearch(int[] nums, int target, int low, int high) {
// 为了避免无限循环,先判断,如果起点位置大于终点位置,表明这是一个非法的区间,已经尝试了所有的搜索区间还是没能找到结果,返回 -1。
if (low > high) {
return -1;
}
// 取正中间那个数的下标 middle。
int middle = low + (high - low) / 2;
// 判断一下正中间的那个数是不是要找的目标数 target,是,就返回下标 middle。
if (nums[middle] == target) {
return middle;
}
// 如果发现目标数在左边,就递归地从左半边进行二分搜索。
if (target < nums[middle]) {
return binarySearch(nums, target, low, middle - 1);
} else {
return binarySearch(nums, target, middle + 1, high);
}//否则从右半边递归地进行二分搜索。
}
注意:
在计算 middle 下标的时候,不能简单地用 (low + hight) / 2,可能会导致溢出。
在取左半边以及右半边的区间时,左半边是 [low, middle - 1],右半边是 [middle + 1, high],这是两个闭区间。因为已经确定了 middle 那个点不是我们要找的,就没有必要再把它加入到左、右半边了。
对于一个长度为奇数的数组,例如:{1, 2, 3, 4, 5},按照 low + (high - low) / 2 来计算,middle 就是正中间的那个位置,对于一个长度为偶数的数组,例如 {1, 2, 3, 4},middle 就是正中间靠左边的一个位置。
时间复杂度是 O(logn)
非递归写法的代码模板如下。
int binarySearch(int[] nums, int target, int low, int high) {
// 在 while 循环里,判断搜索的区间范围是否有效
while (low <= high) {
// 计算正中间的数的下标
int middle = low + (high - low) / 2;
// 判断正中间的那个数是不是要找的目标数 target。如果是,就返回下标 middle
if (nums[middle] == target) {
return middle;
}
// 如果发现目标数在左边,调整搜索区间的终点为 middle - 1;否则,调整搜索区间的起点为 middle + 1
if (target < nums[middle]) {
high = middle - 1;
} else {
low = middle + 1;
}
}
// 如果超出了搜索区间,表明无法找到目标数,返回 -1
return -1;
}
为什么 while 循环的条件中是 <=,而不是 < ?
答:因为初始化 high 的赋值是 nums.length - 1,即最后一个元素的索引,而不是 nums.length。
这二者可能出现在不同功能的二分查找中,区别是:前者相当于两端都闭区间 [left, right],后者相当于左闭右开区间 [left, right),因为索引大小为 nums.length 是越界的。
我们这个算法中使用的是 [left, right] 两端都闭的区间。这个区间就是每次进行搜索的区间。
边界分上边界和下边界,有时候也被成为右边界和左边界。确定的边界指边界的数值等于要找的目标数。
例题:LeetCode 第 34 题,在一个排好序的数组中找出某个数第一次出现和最后一次出现的下标位置。
示例:输入的数组是:{5, 7, 7, 8, 8, 10},目标数是 8,那么返回 {3, 4},其中 3 是 8 第一次出现的下标位置,4 是 8 最后一次出现的下标位置。
解题思路
在二分搜索里,把第一次出现的地方叫下边界(lower bound),把最后一次出现的地方叫上边界(upper bound)。
那么成为 8 的下边界的条件应该有两个。
该数必须是 8; 该数的左边一个数必须不是 8: 8 的左边有数,那么该数必须小于 8; 8 的左边没有数,即 8 是数组的第一个数。
而成为 8 的上边界的条件也应该有两个。
该数必须是 8; 该数的右边一个数必须不是 8: 8 的右边有数,那么该数必须大于8; 8 的右边没有数,即 8 是数组的最后一个数。
代码实现
用递归的方法来寻找下边界,代码如下。
int searchLowerBound(int[] nums, int target, int low, int high) {
if (low > high) {
return -1;
}
int middle = low + (high - low) / 2;
//判断是否是下边界时,先看看 middle 的数是否为 target,并判断该数是否已为数组的第一个数,或者,它左边的一个数是不是已经比它小,如果都满足,即为下边界。
if (nums[middle] == target && (middle == 0 || nums[middle - 1] < target)) {
return middle;
}
if (target <= nums[middle]) {
return searchLowerBound(nums, target, low, middle - 1);
} else {
return searchLowerBound(nums, target, middle + 1, high);
} //不满足,如果这个数等于 target,那么就得往左边继续查找。
}
查找上边界的代码如下。
int searchUpperBound(int[] nums, int target, int low, int high) {
if (low > high) {
return -1;
}
int middle = low + (high - low) / 2;
//判断是否是上边界时,先看看 middle 的数是否为 target,并判断该数是否已为数组的最后一个数,或者,它右边的数是不是比它大,如果都满足,即为上边界。
if (nums[middle] == target && (middle == nums.length - 1 || nums[middle + 1] > target)) {
return middle;
}
if (target < nums[middle]) {
return searchUpperBound(nums, target, low, middle - 1);
} else {
return searchUpperBound(nums, target, middle + 1, high);
} //不满足时,需判断搜索方向。
}
二分搜索可以用来查找一些模糊的边界。模糊的边界指,边界的值并不等于目标的值,而是大于或者小于目标的值。
例题:从数组 {-2, 0, 1, 4, 7, 9, 10} 中找到第一个大于 6 的数。
解题思路
在一个排好序的数组里,判断一个数是不是第一个大于 6 的数,只要它满足如下的条件:
该数要大于 6; 该数有可能是数组里的第一个数,或者它之前的一个数比 6 小。 只要满足了上面的条件就是第一个大于 6 的数。
代码实现
Integer firstGreaterThan(int[] nums, int target, int low, int high) {
if (low > high) {
return null;
}
int middle = low + (high - low) / 2;
//判断 middle 指向的数是否为第一个比 target 大的数时,须同时满足两个条件:middle 这个数必须大于 target;middle 要么是第一个数,要么它之前的数小于或者等于 target。
if (nums[middle] > target && (middle == 0 || nums[middle - 1] <= target)) {
return middle;
}
if (target < nums[middle]) {
return firstGreaterThan(nums, target, low, middle - 1);
} else {
return firstGreaterThan(nums, target, middle + 1, high);
}
}
对于这道题,当不满足条件,而 middle 的数等于 target 的时候怎么办?举例说明,如果要求的是第一个大于 6 的数,而数组中有多个 6 挨在一起,而此时的 middle 指向其中的一个 6,程序必须得在右半边搜索。
二分搜索也能在经过旋转了的排序数组中进行。
例题:LeetCode 第 33 题,给定一个经过旋转了的排序数组,判断一下某个数是否在里面。
示例:给定数组为 {4, 5, 6, 7, 0, 1, 2},target 等于 0,答案是 4,即 0 所在的位置下标是 4。
解题思路
对于这道题,输入数组不是完整排好序,还能运用二分搜索吗?
由于题目说数字了无重复,举个例子: 第二类 6 7 1 2 3 4 5 这种,也就是 nums[start] > nums[mid]。此例子中就是 6 > 2。 代码实现 前面介绍的二分搜索的例题都给定了一个具体范围或者区间,那么对于没有给定明确区间的问题能不能运用二分搜索呢? 例题:有一段不知道具体长度的日志文件,里面记录了每次登录的时间戳,已知日志是按顺序从头到尾记录的,没有记录日志的地方为空,要求当前日志的长度。 解题思路 可以把这个问题看成是不知道长度的数组,数组从头开始记录都是时间戳,到了某个位置就成为了空:{2019-01-14, 2019-01-17, … , 2019-08-04, …. , null, null, null …}。 思路 1:顺序遍历该数组,一直遍历下去,当发现第一个 null 的时候,就知道了日志的总数量。很显然,这是很低效的办法。 思路 2:借用二分搜索的思想,反着进行搜索。 代码实现 微信搜索:月伴飞鱼 1.日常分享一篇实用的技术文章,对面试,工作都有帮助 2.后台回复666,获得海量免费电子书籍,会持续更新
1 2 3 4 5 6 7 可以大致分为两类,
第一类 2 3 4 5 6 7 1 这种,也就是 nums[start] <= nums[mid]。此例子中就是 2 <= 5。
这种情况下,前半部分有序。因此如果 nums[start] <=target
这种情况下,后半部分有序。因此如果 nums[mid] int binarySearch(int[] nums, int target, int low, int high) {
if (low > high) {
return -1;
} //判断是否已超出了搜索范围,是则返回-1。
int middle = low + (high - low) / 2; //取中位数。
if (nums[middle] == target) {
return middle;
} //判断中位数是否为要找的数
if (nums[low] <= nums[middle]) { //判断左半边是不是排好序的。
if (nums[low] <= target && target < nums[middle]) { //是,则判断目标值是否在左半边。
return binarySearch(nums, target, low, middle - 1); //是,则在左半边继续进行二分搜索。
}
return binarySearch(nums, target, middle + 1, high); //否,在右半边进行二分搜索。
} else {
if (nums[middle] < target && target <= nums[high]) { //若右半边是排好序的那一半,判断目标值是否在右边。
return binarySearch(nums, target, middle + 1, high); //是,则在右半边继续进行二分搜索。
}
return binarySearch(nums, target, low, middle - 1); //否,在左半边进行二分搜索。
}
}
不定长的边界
// 先通过getUpperBound函数不断地去试探在什么位置会出现空的日志。
int getUpperBound(String[] logs, int high) {
if (logs[high] == null) {
return high;
}
return getUpperBound(logs, high * 2);
}
// 再运用二分搜索的方法去寻找日志的长度。
int binarySearch(String[] logs, int low, int high) {
if (low > high) {
return -1;
}
int middle = low + (high - low) / 2;
if (logs[middle] == null && logs[middle - 1] != null) {
return middle;
}
if (logs[middle] == null) {
return binarySearch(logs, low, middle - 1);
} else {
return binarySearch(logs, middle + 1, high);
}
}`
最后