二分:山脉数组的峰顶索引、寻找峰值、寻找旋转排序数组中的最小值、点名

二分查找模板

左边界

首先我们要根据查找元素,正好将数组分成两个部分,并且目标元素是右边区间的左边界:

此时left和right围成待搜索区间,此时mid有两种可能:

  1. 要么落在左区间:

我们知道左区间的值势必不会是target,因此搜索区间可以变成[mid+1,right]:

  1. mid还可能落在右区间:

但mid有可能是target,所以搜索区间变成[left,mid]。

wait!此时mid都找到了target,为什么不直接返回结果呢?

回到开头,我们是将数组化成左右两个区间,target是右区间左边界。但实际上我们仅知道如此了,并不能明确这个数是不是target。所以只能继续搜寻,直到left和right重合,我们才能确定指向的是右区间的左边界。

此时我们需要注意mid取值时只能向下取整,不能向上取整,来看一种边界情况:

此时仅剩下两元素,很明显right就是结果。但是如果用向上取整,mid就会指向right,搜索区间就变成[left,mid]=[left,right]。也就是进入死循环了,但如果向下取整,搜索区间就变成[mid+1,right]=[right,right]我们就找到了结果.

总的来说模板就是:

cpp 复制代码
int BinarySearchLeftBoundary(vector<int>&nums)
{
	int left=0,right=nums.size()-1,mid=0;
	while(left<right)
	{
		//防止整型越界
		mid=left+(right-left)/2;
		if(nums[mid]属于左区间)
			left=mid+1;
		else
			right=mid;
	}
	return left;
}

有边界

即目标元素在左区间的右边界。

此时mid落在左区间是有可能是target的,而右区间则不可能。

因此相对的,mid要用向上取整:

cpp 复制代码
int BinarySearchRightBoundary(vector<int>&nums)
{
	int left=0,right=nums.size()-1,mid=0;
	while(left<right)
	{
		//防止整型越界
		mid=left+(right-left+1)/2;//区别1
		if(nums[mid]属于左区间)
			left=mid;//区别2
		else
			right=mid-1;//区别3
	}
	return left;
}

山脉数组的峰顶索引

题目描述

山脉数组的峰顶索引

给定一个长度为 n 的整数 山脉 数组 arr ,其中的值递增到一个 峰值元素 然后递减。

返回峰值元素的下标。

你必须设计并实现时间复杂度为 O(log(n)) 的解决方案。

示例 1:

输入:arr = [0,1,0]

输出:1

示例 2:

输入:arr = [0,2,1,0]

输出:1

示例 3:

输入:arr = [0,10,5,2]

输出:1

提示:

  • 3 <= arr.length <= 105
  • 0 <= arr[i] <= 106
    题目数据 保证 arr 是一个山脉数组

算法原理

  • 二分查找

根据前面的的分析已经很明了了,一个数组如果想要用二分查找target。主要看能不能以target为分界点将数组分成两个区间,我们来观测一下山脉数组的特点:

那么你们发现了什么。

没错!

target左边是单调递增区间,右边是单调递减区间,target则是左区间的有边界!

算法实现

cpp 复制代码
class Solution {
public:
    int peakIndexInMountainArray(vector<int>& arr) 
    {
        int left = 0, right = arr.size() - 1, mid = 0;
        while (left < right)
        {
            mid = left + (right - left + 1) / 2;
            if (arr[mid] > arr[mid - 1])
                left = mid;
            else
                right = mid - 1;
        }
        return left;
    }
};

寻找峰值

题目描述

寻找峰值

峰值元素是指其值严格大于左右相邻值的元素。

给你一个整数数组 nums,找到峰值元素并返回其索引。数组可能包含多个峰值,在这种情况下,返回 任何一个峰值 所在位置即可。

你可以假设 nums[-1] = nums[n] = -∞ 。

你必须实现时间复杂度为 O(log n) 的算法来解决此问题。

示例 1:

输入:nums = [1,2,3,1]

输出:2

解释:3 是峰值元素,你的函数应该返回其索引 2。

示例 2:

输入:nums = [1,2,1,3,5,6,4]

输出:1 或 5

解释:你的函数可以返回索引 1,其峰值元素为 2;

或者返回索引 5, 其峰值元素为 6。

提示:

  • 1 <= nums.length <= 1000
  • -231 <= nums[i] <= 231 - 1
  • 对于所有有效的 i 都有 nums[i] != nums[i + 1]

算法原理

注意到可以假设 nums[-1] = nums[n] = -∞ ,这意味着我们的数组大概长这样:

这意味着,数组最左边永远有单调递增区间,右边永远有单调递减区间。

而根据上一题山脉数组的峰顶索引,我们知道。峰值的左边一定是递增区间、右边是递减区间。

这意味着,当mid指向递增区间时,mid右边一定有峰值;

相对的,当mid指向递减区间时,mid左边一定有峰值。

算法实现

cpp 复制代码
class Solution {
public:
    int findPeakElement(vector<int>& nums)
    {
        int left = 0, right = nums.size() - 1, mid = 0;
        while (left < right)
        {
            mid = left + (right - left + 1) / 2;
            if (nums[mid] > nums[mid - 1])
                left = mid;
            else
                right = mid - 1;
        }
        return left;
    }
};

寻找旋转排序数组中的最小值

题目描述

寻找旋转排序数组中的最小值

已知一个长度为 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) 的算法解决此问题。

示例 1:

输入:nums = [3,4,5,1,2]

输出:1

解释:原数组为 [1,2,3,4,5] ,旋转 3 次得到输入数组。

示例 2:

输入:nums = [4,5,6,7,0,1,2]

输出:0

解释:原数组为 [0,1,2,4,5,6,7] ,旋转 4 次得到输入数组。

示例 3:

输入:nums = [11,13,15,17]

输出:11

解释:原数组为 [11,13,15,17] ,旋转 4 次得到输入数组。

提示:

  • n == nums.length
  • 1 <= n <= 5000
  • -5000 <= nums[i] <= 5000
  • nums 中的所有整数 互不相同
  • nums 原来是一个升序排序的数组,并进行了 1 至 n 次旋转

算法原理

首先我们的未旋转前的数组是一个严格单调递增的数组:

旋转后相当于有个传送门,将左边部分传送到右边部分:

do u feel insterting?

注意到我们可以划分左右区间了,左区间的值一定大于right的值,右区间的值一定小于right的值。target则是右区间的左边界。

算法实现

cpp 复制代码
class Solution {
public:
    int findMin(vector<int>& nums) 
    {
        int n = nums.size() - 1;
        int left = 0, right = n, mid = 0;
        while (left < right)
        {
            mid = left + (right - left) / 2;
            if (nums[mid] > nums[n])
                left = mid + 1;
            else
                right = mid;
        }
        return nums[left];
    }
};

点名

题目描述

点名

某班级 n 位同学的学号为 0 ~ n-1。点名结果记录于升序数组 records。假定仅有一位同学缺席,请返回他的学号。

示例 1:

输入:records = [0,1,2,3,5]

输出:4

示例 2:

输入:records = [0, 1, 2, 3, 4, 5, 6, 8]

输出:7

提示:

  • 1 <= records.length <= 10000

算法原理

现在还是要划分左右区间,我们以输入:records = [0, 1, 2, 3, 4, 5, 6, 8]为例:

好吧,我们可以发现左区间的value=index,右区间则不相等。依次找到左区间右边界或者右区间左边界都可。

算法实现

cpp 复制代码
class Solution {
public:
    int takeAttendance(vector<int>& records) 
    {
        if(records[0])
            return 0;
        int left = 0, right = records.size() - 1, mid = 0;
        while (left < right)
        {
            mid = left + (right - left + 1) / 2;
            if (records[mid] != mid)
                right = mid - 1;
            else
                left = mid;
        }
        return left + 1;
    }
};
相关推荐
Elias不吃糖1 小时前
克隆图(LeetCode 133)——用数组做映射的 DFS 解法
c++·算法·leetcode·深度优先
不知所云,1 小时前
1. 开篇简介
c++·vulkan
欧阳x天1 小时前
类和对象(三)
c++
iiiiii111 小时前
【论文阅读笔记】IDAQ:离线元强化学习中的分布内在线适应
论文阅读·人工智能·笔记·学习·算法·机器学习·强化学习
秋深枫叶红1 小时前
嵌入式第二十三篇——数据结构基本概念
linux·数据结构·学习·算法
lilv661 小时前
visual studio 2026中C4996错误 ‘operator <<‘: 被声明为已否决
c++·ide·visual studio
Zsy_0510031 小时前
【数据结构】二叉树介绍及C语言代码实现
c语言·数据结构·算法
Ayanami_Reii1 小时前
基础数学算法-移棋子游戏
数学·算法·游戏·博弈论·sg函数
谁刺我心1 小时前
蓝桥杯C++常用STL
c++·算法·蓝桥杯