跳到主要内容 二分查找算法详解与常见变种实战 | 极客日志
C++ 算法
二分查找算法详解与常见变种实战 详细讲解了二分查找算法的基础原理及多种变体应用。涵盖基础二分搜索、查找元素区间、平方根计算、插入位置确定、山脉数组峰值查找、旋转排序数组最小值查找以及缺失数字查找等问题。通过代码示例分析了时间复杂度优化至 O(log n) 的实现细节,包括边界条件处理、防止溢出策略及左右指针更新逻辑。适合希望深入理解二分查找及其变形场景的开发者阅读。
芝士奶盖 发布于 2026/3/30 更新于 2026/4/13 1 浏览1. 基础二分查找
题目链接
给定一个 n 个元素有序的(升序)整型数组 nums 和一个目标值 target,写一个函数搜索 nums 中的 target,如果目标值存在返回下标,否则返回 -1。
示例 1:
输入: nums = [-1,0,3,5,9,12], target = 9
输出: 4
解释: 9 出现在 nums 中并且下标为 4
示例 2:
输入: nums = [-1,0,3,5,9,12], target = 2
输出: -1
解释: 2 不存在 nums 中因此返回 -1
暴力解法就是遍历这个数组,找到这个元素就将该元素的下标进行返回,时间复杂度为 O(N)。
我们找到一个数 4,现在要找 target=5,那么 4 比 5 小,那么 4 左边的数字肯定都比 5 小,那么 4 左边的数字我们就不需要去看了。那么我们直接将 4 左边的区间排除,从 4 右边的区间去找。
所以我们的思路就是,在一个数组中随便找一个点,将这个数和 target 进行比较。如果这个数小于 target 的话,那么我们直接从这个数的右边的区间去找;如果这个数比 target 大的话,那么我们从这个数的左边去找。
只要数组具有二段性的话,那么我们就可以使用二分查找算法。我们可以找二分之一的位置,或者三分之一的位置的数,只要能将我们的数组分成两段的话,都是可行的,但是选择中间点的效果是最好的。
因为二分查找的算法是从中间的点去选择是最好的。我们需要频繁地找中点和频繁的找区间,所以我们需要定义三个指针:一个 left 指向数组开始的数,一个 right 指向最后一个数字,一个 mid 指向中间的元素。根据中间点的值和 target 进行比较然后确定我们的区间。
如果我们的 mid < target 的话,那么我们的 left 直接定义到 mid+1 的位置,我们再从 [mid+1, right] 这个区间找中间值去分区间,所以我们二分查找算法是循环式的。
如果我们的 mid > target 的话,那么我们的 right 就需要定义到 mid-1 的位置,那么我们就需要从 [left, mid-1] 的位置开始。
还有一种特殊情况,就是我们的 mid = target,那么我们就直接找到了目标值。
细节问题
循环结束的条件:当 left > right,我们就停止循环。
时间复杂度:log n。
class Solution {
public :
int {
left = , right = nums. () - ;
(left < right) {
mid = left + (right - left) / ;
(nums[mid] < target) {
left = mid + ;
} (nums[mid] > target) {
right = mid - ;
} mid;
}
;
}
};
微信扫一扫,关注极客日志 微信公众号「极客日志」,在微信中扫描左侧二维码关注。展示文案:极客日志 zeeklog
相关免费在线工具 加密/解密文本 使用加密算法(如AES、TripleDES、Rabbit或RC4)加密和解密文本明文。 在线工具,加密/解密文本在线工具,online
Base64 字符串编码/解码 将字符串编码和解码为其 Base64 格式表示形式即可。 在线工具,Base64 字符串编码/解码在线工具,online
Base64 文件转换器 将字符串、文件或图像转换为其 Base64 表示形式。 在线工具,Base64 文件转换器在线工具,online
Markdown 转 HTML 将 Markdown(GFM)转为 HTML 片段,浏览器内 marked 解析;与 HTML 转 Markdown 互为补充。 在线工具,Markdown 转 HTML在线工具,online
HTML 转 Markdown 将 HTML 片段转为 GitHub Flavored Markdown,支持标题、列表、链接、代码块与表格等;浏览器内处理,可链接预填。 在线工具,HTML 转 Markdown在线工具,online
JSON 压缩 通过删除不必要的空白来缩小和压缩JSON。 在线工具,JSON 压缩在线工具,online
search
(vector<int >& nums, int target)
int
0
size
1
while
int
2
if
1
else
if
1
else
return
return
-1
我们这里求中间值的代码是 left + (right - left) / 2,因为这样可以避免溢出的情况出现。
2. 在排序数组中查找元素的第一个和最后一个位置 给你一个按照非递减顺序排列的整数数组 nums,和一个目标值 target。请你找出给定目标值在数组中的开始位置和结束位置。
如果数组中不存在目标值 target,返回 [-1, -1]。
你必须设计并实现时间复杂度为 O(log n) 的算法解决此问题。
输入: nums = [5,7,7,8,8,10], target = 8
输出: [3,4]
输入: nums = [5,7,7,8,8,10], target = 6
输出: [-1,-1]
输入: nums = [], target = 0
输出: [-1,-1]
暴力解法就是从开始到末尾,最差的情况下时间复杂度是 O(N)。
朴素二分的话,虽然可以实现这个题,但是时间复杂度不行。
我们这里的话,当 x 小于 t 的话,处理方式和我们朴素二分的方式一样的。
查找区间的左端点 但是当我们的 x >= t 的话,我们需要将我们的 right 定位到我们的 mid 的位置上,因为 mid 可能是左端点的位置。如果我们将 right 定位到 mid-1 的话,恰好此时 Mid 就是我们要找的话,那么就永远找不到 t 了。
细节处理:
循环条件必须是 left < right,不能是 left <= right。
一是因为当 left = right 的时候就是最终的结果。
二是因为我们判断了的话就会陷入死循环了。
如果我们此时 left = right 的话,我们进入到上面的第二个条件了,right = mid,那么此时 right 就会原地不动进行死循环了。
现在我们的求中点的话有两种方式:
left + (right - left) / 2
left + (right - left + 1) / 2
当我们数组元素是偶数的时候的话,我们使用第一种的话,那么我们的中点是相较于靠左的;第二种方法的话就是靠右的。
当我们使用第二种求中点的方式后,当我们数组中只剩下两个数之后,我们的 right 在后续判断中是会陷入死循环的。
查找区间的右端点 当 x <= t 的时候,我们的更新策略是 left = mid。
当 x > t,right = mid - 1。
我们循环条件必须是 left < right,求中点的方式,因为我们这里是求右端点,所以我们求中点的方式是 left + (right - left + 1) / 2。
解决代码 class Solution {
public :
vector<int > searchRange (vector<int >& nums, int target) {
if (nums.size () == 0 ) return {-1 , -1 };
int begin = 0 ;
int left = 0 , right = nums.size () - 1 ;
while (left < right) {
int mid = left + (right - left) / 2 ;
if (nums[mid] < target) left = mid + 1 ;
else right = mid;
}
if (nums[left] != target) return {-1 , -1 };
else begin = left;
right = nums.size () - 1 ;
while (left < right) {
int mid = left + (right - left + 1 ) / 2 ;
if (nums[mid] <= target) left = mid;
else right = mid - 1 ;
}
return {begin, right};
}
};
我们使用两个二分查找来找出我们符合条件的区间。我们先使用二分查找找到我们的左端点,在这个二分中,为了找到我们的左端点,我们的求中点的方式一定要设置为 left + (right - left) / 2,这样的话当我们数组是偶数元素的话,那么我们的 mid 是会落在左边的,在循环结束之后,我们使用 begin 记录我们的左端点的位置。
我们注意到以左边界划分的两个区间的特点:左边区间 [left, resLeft - 1] 都是小于 x 的;右边区间(包括左边界)[resLeft, right] 都是大于等于 x 的。
因此,关于 mid 的落点,我们可以分为下面两种情况:当我们的 mid 落在 [left, resLeft - 1] 区间的时候,也就是 arr[mid] < target。说明 [left, mid] 都是可以舍去的,此时更新 left 到 mid + 1 的位置,继续在 [mid + 1, right] 上寻找左边界;当 mid 落在 [resLeft, right] 的区间的时候,也就是 arr[mid] >= target。说明 [mid + 1, right](因为 mid 可能是最终结果,不能舍去)是可以舍去的,此时更新 right 到 mid 的位置,继续在 [left, mid] 上寻找左边界。
用 resRight 表示右边界;我们注意到右边界的特点:左边区间(包括右边界)[left, resRight] 都是小于等于 x 的;右边区间 [resRight + 1, right] 都是大于 x 的。
因此,关于 mid 的落点,我们可以分为下面两种情况:当我们的 mid 落在 [left, resRight] 区间的时候,说明 [left, mid - 1](mid 不可以舍去,因为有可能是最终结果)都是可以舍去的,此时更新 left 到 mid;当 mid 落在 [resRight + 1, right] 的区间的时候,说明 [mid, right] 内的元素是可以舍去的,此时更新 right 到 mid - 1 的位置。
左指针:left = mid,可能会原地踏步(比如:如果向下取整的话,如果剩下 1,2 两个元素,left == 1,right == 2,mid == 1。更新区间之后,left,right,mid 的值没有改变,就会陷入死循环)。
右指针:right = mid - 1,是会向前移动的,因此区间是会缩小的;因此一定要注意,当 right = mid 的时候,要向下取整。
总结二分模版
3. x 的平方根 给你一个非负整数 x,计算并返回 x 的算术平方根。
由于返回类型是整数,结果只保留整数部分,小数部分将被舍去。
注意:不允许使用任何内置指数函数和算符,例如 pow(x, 0.5) 或者 x ** 0.5。
输入: x = 8
输出: 2
解释: 8 的算术平方根是 2.82842…,由于返回类型是整数,小数部分将被舍去。
class Solution {
public :
int mySqrt (int x) {
if (x < 1 ) return 0 ;
int left = 1 , right = x;
while (left < right) {
long long mid = left + (right - left + 1 ) / 2 ;
if (mid * mid <= x) left = mid;
else right = mid - 1 ;
}
return left;
}
};
4. 搜索插入位置 给定一个排序数组和一个目标值,在数组中找到目标值,并返回其索引。如果目标值不存在于数组中,返回它将会被按顺序插入的位置。
请必须使用时间复杂度为 O(log n) 的算法。
输入: nums = [1,3,5,6], target = 5
输出: 2
输入: nums = [1,3,5,6], target = 2
输出: 1
输入: nums = [1,3,5,6], target = 7
输出: 4
如果我们在一段数组中找到了 target 的话,那么我们就返回他的对应下标。如果没有找到的话,那么就返回我们该插入的位置的下标。
我们这里的 target 在数组中找不到,然后我们需要找到他插入的位置,我们将这个数组分成两个区间,左边的就是小于 t 的,右边的就是大于等于 t 的。
那么我们仅仅需要找到大于等于这段区域的左端点就行了,所以现在我们使用查找区间左端点的模版来进行操作。
如果 x < t 的话,x 落在了左边区间里面了,那么结果一定不会在这里的,所以我们是需要让 left 更新为 mid+1,然后在右边的这段区间继续寻找结果,就是 left = mid+1。
如果 x >= t 的话,那么我们就是掉在了第二块区间里面了,我们需要去这段区间的左半边去寻找结果,因为此时的 mid 可能是最终的结果,所有我们直接让 right = mid。
class Solution {
public :
int searchInsert (vector<int >& nums, int target) {
int left = 0 , right = nums.size () - 1 ;
while (left < right) {
int mid = left + (right - left) / 2 ;
if (nums[mid] < target) left = mid + 1 ;
else right = mid;
}
if (nums[left] < target) return left + 1 ;
return left;
}
};
5. 山脉数组的峰顶索引 给定一个长度为 n 的整数山脉数组 arr,其中的值递增到一个峰值元素然后递减。
你必须设计并实现时间复杂度为 O(log(n)) 的解决方案。
输入: arr = [0,2,1,0]
输出: 1
输入: arr = [0,10,5,2]
输出: 1
这个山峰数组就是先上升后下降,这个题就是让我们找到我们的封顶元素,然后返回对应数据的下标。
当我们在遍历的时候,第一次遇到一个数大于后面的数的话,那么这个数就是峰值,当我们第一次扫描到这个数的时候我们就停止下来。
所以我们的解法一:利用暴力枚举,时间复杂度是 O(N)。
我们将整个数组分成两个部分:arr[i] > arr[i-1] 和 arr[i] < arr[i-1]。那么这里就可以看出二段性了。
如果落在了左边的区间的话,那么我们的 mid 包含最终的结果。arr[mid] > arr[mid-1],我们这里更新 left = mid (mid 可能是最终的结果)。
落在右边的区间的话,那么这段区域一定不是最终的结果,那么我们直接都忽略掉。arr[mid] < arr[mid-1],我们这里更新 right = mid - 1。
那么我们取中间值的话,我们就是 left + (right - left + 1) / 2。
class Solution {
public :
int peakIndexInMountainArray (vector<int >& arr) {
int left = 1 , right = arr.size () - 2 ;
while (left < right) {
int mid = left + (right - left + 1 ) / 2 ;
if (arr[mid] > arr[mid - 1 ]) left = mid;
else right = mid - 1 ;
}
return left;
}
};
6. 寻找峰值 给你一个整数数组 nums,找到峰值元素并返回其索引。数组可能包含多个峰值,在这种情况下,返回任何一个峰值所在位置即可。
你可以假设 nums[-1] = nums[n] = -∞。
你必须实现时间复杂度为 O(log n) 的算法来解决此问题。
输入: nums = [1,2,3,1]
输出: 2
解释: 3 是峰值元素,你的函数应该返回其索引 2。
输入: nums = [1,2,1,3,5,6,4]
输出: 1 或 5
解释: 你的函数可以返回索引 1,其峰值元素为 2;或者返回索引 5,其峰值元素为 6。
1 <= nums.length <= 1000
-2^31 <= nums[i] <= 2^31 - 1
对于所有有效的 i 都有 nums[i] != nums[i + 1]
如果第一个值就是 -∞,那么我们直接返回 0 就行了。
暴力解法就是从第一个位置开始走,一直向后走,分情况讨论即可。
现在将整个数组分成两个部分,我们数组开始和结束的位置都是 -∞。
如果我们的 arr[i] > arr[i+1] 的话,那么就说明我们左边区域肯定是存在峰值的,因为从 -∞ 开始的话,我们是上升的,可能是一直上升到 i 的位置,所以这种情况的话左边是存在峰值的,右边的话可能存在峰值。
如果是 arr[i] < arr[i+1] 的话,那么我们左边的话可能不存在峰值,右边区域可能存在峰值了。
如果 arr[mid] > arr[mid+1] 的话,说明我们左边的这段区域是一定会有结果的,包含 mid,所以我们直接让 right = mid。
如果是 arr[i] < arr[i+1] 的话,说明我们友区间是一定存在结果的,所有我们让 left = mid+1 即可。
class Solution {
public :
int findPeakElement (vector<int >& nums) {
int left = 0 , right = nums.size () - 1 ;
while (left < right) {
int mid = left + (right - left) / 2 ;
if (nums[mid] > nums[mid + 1 ]) right = mid;
else left = mid + 1 ;
}
return left;
}
};
7. 寻找旋转排序数组中的最小值 已知一个长度为 n 的数组,预先按照升序排列,经由 1 到 n 次旋转后,得到输入数组。例如,原数组 nums = [0,1,2,4,5,6,7] 在变化后可能得到:
若旋转 4 次,则可以得到 [4,5,6,7,0,1,2]
若旋转 7 次,则可以得到 [0,1,2,4,5,6,7]
注意,数组 [a[0], a[1], a[2], ..., a[n-1]] 旋转一次的结果为数组 [a[n-1], a[0], a[1], a[2], ..., a[n-2]]。
给你一个元素值互不相同的数组 nums,它原来是一个升序排列的数组,并按上述情形进行了多次旋转。请你找出并返回数组中的最小元素。
你必须设计一个时间复杂度为 O(log n) 的算法解决此问题。
输入: nums = [3,4,5,1,2]
输出: 1
解释: 原数组为 [1,2,3,4,5],旋转 3 次得到输入数组。
输入: nums = [4,5,6,7,0,1,2]
输出: 0
解释: 原数组为 [0,1,2,4,5,6,7],旋转 4 次得到输入数组。
输入: nums = [11,13,15,17]
输出: 11
解释: 原数组为 [11,13,15,17],旋转 4 次得到输入数组。
以这个为例子 [0,1,2,4,5,6,7],旋转一次就是将 7 挪动到前面了,旋转 2 次就是将 6 挪动到前面了。
解法一:暴力查找最小值,时间复杂度就是 O(N)。
AB 这一段是大于 D 点的值的,CD 这一段是小于等于 D 点的值的。
AB:nums[i] > nums[n-1]
CD:nums[i] <= nums[n-1]
如果落在 AB 区间的话,那么 nums[mid] > nums[n-1]。
如果中间元素大于右边的元素,则最小值在右半部分。
如果中间元素小于或等于右边元素,则最小值在左半部分或可能是中间元素本身。
不断地利用中间值和 right 对应的值进行比较,因为这个数组在转的时候,第一次是最后一个最大的数字到前面,第二次是最后一个第二大的数字到前面。
如果我们中间元素大于右边的元素的话,那么最小值肯定是出现在在右边的,左边的就是比较大的数字的,那么我们是需要找到最小值的,所以我们需要往右边靠的,因为中间元素大于右边的元素,所以我们直接让 left = mid+1。
但是如果 mid 位置的值小于等于最右边的值的话,那么最小值肯定在左边,甚至可能是 mid 的位置,所以我们让 right = mid。
class Solution {
public :
int findMin (vector<int >& nums) {
int left = 0 , right = nums.size () - 1 ;
while (left < right) {
int mid = left + (right - left) / 2 ;
if (nums[mid] > nums[right]) left = mid + 1 ;
else right = mid;
}
return nums[left];
}
};
8. 缺失的第一个正整数 一个长度为 n-1 的递增排序数组中的所有数字都是唯一的,并且每个数字都在范围 0 到 n-1 之内。
在范围 0 到 n-1 的 n 个数字中有且只有一个数字不在该数组中,请找出这个数字。
可以利用下面的方法进行求出这个缺失的数,第四种就是利用等差数列求和求出数组总大小,然后依次减去数组中的每个数,最后剩下的就是我们缺失的数。
我们可以将数组分成两个部分,左边的就是数组和下标相等的,右边的数的大小比下标大 1 的,所以我们需要找到我们右边这段区间最左边的这个数的下标就可以知道我们缺失的那个数是什么了。
当我们的 mid 落在左边区域的话,那么我们是需要去右边去寻找的,所以我们需要更新 left = mid+1,这段区间的判断条件是 nums[mid] = mid。
如果落在右边区域的话,那么我们需要往左边靠,找到这个区间的靠左的数,我们需要更新 right = mid,mid 有可能在最终结果上。
右边区间的判断条件是 nums[mid] != mid。
但是存在一种边界的情况。下面的话就是我们缺少了 4,但是循环结束后我们最终会落在 3 这个位置上面的,我们需要的结果是 3 这个位置后面的一位数。
所以我们返回结果的时候需要进行判断下,我们结束的位置的 nums[mid] = mid,说明我们此时的数组是一个完全递增的数组,我们缺失的数就是 mid+1。
class Solution {
public :
int getMissingNumber (vector<int >& nums) {
int left = 0 , right = nums.size () - 1 ;
while (left < right) {
int mid = left + (right - left) / 2 ;
if (nums[mid] == mid) left = mid + 1 ;
else right = mid;
}
return nums[left] == left ? left + 1 : left;
}
};