二分查找(带图详解)

news2025/1/17 5:53:03

优选算法系列


文章目录

  • 优选算法系列
  • 前言
  • 一、二分查找的思想
  • 二、算法使用
    • 小总结
  • 三、代码实现
  • 四、二分查找拓展
    • 4.1、查找第一次出现的target
      • 小总结
    • 4.2、target最后出现的位置
      • 小总结
  • 五、代码
  • 总结


前言

在这篇博客中,我会给大家分享二分查找及其扩展。

这是链接->Leetcode二分查找

我们先以常规二分查找来引入。

一、二分查找的思想

接下来的讲解,我们以这个例题为背景来展开叙述。链接已放置上方。

例:
给定一个 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

提示:

1.你可以假设 nums 中的所有元素是不重复的。
2.n 将在 [1, 10000]之间。
3.nums 的每个元素都将在 [-9999, 9999]之间。

对于上面那题,如果我们使用暴力查找,当数据量比较大时查找效率时比较低的,而且还没有利用题中给除的,数组有序这个条件。
二分查找的思想是比较简单的,对于有序的数据,我们在查找某一值时:
首先选择数组中间的数字和需要查找的目标值比较
如果相等最好,就可以直接返回答案了
如果不相等:

1.如果中间的数字大于目标值,则中间数字向右的所有数字都大于目标值,全部排除
2.如果中间的数字小于目标值,则中间数字向左的所有数字都小于目标值,全部排除

二分法就是按照这种方式进行快速排除查找的。接下来我们对上面例题,使用二分思想进行画图解决。

二、算法使用

开始时设left为数据左指针,right为数据右指针,mid为中间值指针,target为目标值。
注:以下标作为指针进行计算。
mid=(left+right)/2,此时:
在这里插入图片描述
讲mid指针指向值于目标值比较,我们发现该值小于目标值,因为数组有序,所以mid指针左侧值都小于目标值,这时我们更行left指针,因为我们知道mid及其左侧值均已小于目标值所以:
left=mid+1;
再次进行查找
mid=(left+right)/2,此时:
在这里插入图片描述
再次与目标值进行比较,发现仍小于目标值,再次更新left指针
left=mid+1,再次查找
mid=(left+right)/2,此时:
在这里插入图片描述
将mid指向值与target进行比较,发现与目标值相等,循环结束。
这是查找是,目标值存在的情况下,那么如果目标值不存在呢?接下来我们继续分析.

对与上面相同过程我们就不赘述了。
在这里插入图片描述
我们接着将mid指向的值,与target比较,发现指向值大于目标值,此时我们可以确定,mid右侧值都大于目标值,这时我们就该更新右侧指针right。
right=mid-1;

这时我们就没有继续下去的必要了,因为left已经大于right了。那么当两个指针相等时我们还要继续判断吗?我们就制造除一个这样的场景看看吧。刚好你可以再梳理一遍过程。

首先进入循环:
mid=(left+right)/2,此时:
在这里插入图片描述
接着将mid指向值与target比较,发现小于target,舍弃mid及左边值。更新left
,left=mid+1,再次进入循环
mid=(left+right)/2,此时:

在这里插入图片描述
继续比较,更新left,left=mid+1,此时我们想要的场景就来了,更行left后:
在这里插入图片描述
这时就出现了当left=right时,我们是否继续循环的情况,结果很,明显吧,对于这两个指针指向的值,我们并不能将他排除掉,所以当然要再次进入循环了。

小总结

循环结束条件:左指针处在右指针的右边时(left>right)

细节问题:
1、在有的情况下我们使用mid=(left+right)/2来对指针取中时,如果left与right相加数值较大时(int类型存不下)可能会发生数据截断,这时我们往往采用mid=(right-left)/2+right,来代替上面的方式,至于为什么可以代替,大家举两个示例,计算一下就可以知道.
2、上一条提到的mid=(right-left)/2+left,也许你在其他地方见过mid=(right-left+1)/2+left这种写法,对于普通的二分查找,这两种写法并没有本质的区别,在下面我们会展开讲解

对于普通该念的二分查找,我们必须要求查找数据有序。

三、代码实现

int search(vector<int>& nums, int target) {
         int left=0,right=nums.size()-1;
         while(left<=right)//循环继续的条件
         {
            int mid=left+(right-left)/2;
            if(target>nums[mid])left=mid+1;//小于目标值跟新左指针
            else if(target<nums[mid])right=mid-1;//大于目标值更新右指针
            else return mid;//找到直接返回,结束循环
         }
         return -1;//未找到返回-1
    }

对于很多新手来说,大家往往被老师说的数组有序给限制了,大家思考一下,我们为什么可以一次排除一半的数据呢?这是因为我们可以从数据中选取一个值,这个值可以将数据分为,两部分(针对这里来说就是,我们可以时刻保证,左边比目标值小或右边比目标值大)而这个性质被称为二段性。其实对于可以将数据分为两部分的,我们都可以考虑,它是否可以使用二分来解决。

四、二分查找拓展

Leetcode在排序数组中查找元素的第一个和最后一个位置

接下来我们以这个题为背景来讲解

例:
给你一个按照非递减顺序排列的整数数组 nums,和一个目标值 target。请你找出给定目标值在数组中的开始位置和结束位置。
如果数组中不存在目标值 target,返回 [-1, -1]。
你必须设计并实现时间复杂度为 O(log n) 的算法解决此问题。

示例 1:

输入:nums = [5,7,7,8,8,10], target = 8
输出:[3,4]

示例 2:

输入:nums = [5,7,7,8,8,10], target = 6
输出:[-1,-1]

示例 3:

输入:nums = [], target = 0
输出:[-1,-1]

提示:

0 <= nums.length <= 105
-109 <= nums[i] <= 109
nums 是一个非递减数组
-109 <= target <= 109

这一题,我们使用上面讲的方法,是无法解决的,因为其中含有重复值,数组并非绝对有序,这时可能有人想,利用上面方法找到目标值后,将指针向前移动来找第一次出现的位置,向后移动来找第二次出现的位置不就可以了吗?但是这样的想法,当碰到一些特殊场景(如:目标值为3,待查找空间全为3)就相当于将数据都遍历一遍,这时我们的查找效率就大打折扣了。

上面我们提到,可以利用二分查找的原因并不是数组严格有序,是因为我们可以从中找取一个值将数据分为两部分,即数据具二段性。
在这里插入图片描述
对于上面这组数据,在查target第一次出现的位置时,我们可以利用第一个target,将左边变为小于target的,右边变为大于等于target的。同理查找最后出现的位置,我们利用target将左边变为小于等于target的,右边变为大于target的。这样说是很难理解的,接下来我们直接画图解题。

4.1、查找第一次出现的target

细节问题会在下面统一总结

首先进入循环
mid=left+(right-left)/2,此时:

在这里插入图片描述
比较mid指向的值,于target的关系,发现mid小于target,此时我们所选取的值就可以将数据分为两部分:

不合法区域:一定不含目标值的区域
合法区域:目标值存在区域

这种情况我们肯定是将左侧区域排除的,那么我们怎么更新左指针呢?当然是让他跳出不和法区域了,即:
left=mid+1,此时:
在这里插入图片描述
这样第一轮循环算是结束了,但这时候我们并没有找到目标中,所以再次进入循环:
mid=left+(right-left)/2,此时:

在这里插入图片描述
将mid指向的值,与target比较发现相等,此时我们并不知道mid指向的位置是否为第一个target的值,
但是我们可以确定mid右侧(不包含mid)的值都大于等于target
在这里插入图片描述

所以这时候我们虽然不知到它是否为第一个值,但我们可以确定它右侧一定不包含第一次出现的target,这时我们就可以更新right:
right=mid,为是什么这样更新呢,因为我们无法将mid排除,此时:

在这里插入图片描述
再次进入循环,mid=left+(right-left)/2,此时:
在这里插入图片描述
比较target与mid指向的值,发现相等,继续更新right,right=mid此时:
在这里插入图片描述
这是我们还要进入循环吗?很显然不需要了,当left==right是我们就可以跳出循环,判断他们所指向值是否,等于target,如果相等,我们就找到了,那么如果,待查找值不存在呢?它的结束条件又是什么呢?接下来我们继续看:

为了大家好理解,这次我们以上面的逻辑从头开始。

首先进入循环
mid=left+(right-left)/2,此时:
在这里插入图片描述

将mid指向值与target比较发现小于target,更新left ,left=mid=1,此时:
在这里插入图片描述

再次进入循环,mid=left=(right-left)/2,此时:
在这里插入图片描述

比较…更新left,left=mid+1,此时:

在这里插入图片描述
再次进入mid=left+(right-left)/2,此时:
在这里插入图片描述
比较…更新…相等了就不要再继续了
服啦我画麻了!!!!气死了…啊啊啊。

小总结

1.结束条件:left<right,当left=right时我们只需结束循环,并在循环外进行判断即可。
2.这里不可使用mid=left+(right-left+1)/2,具体原因当我们使用这个对mid进行计算时,有可能进入死循环如:
在这里插入图片描述
当我们次进入循环时,计算的mid仍然不变,这时我们就会更新right,right=mid…再次循环。
这样就造成了死循环问题。

4.2、target最后出现的位置

因为我们要查找最后一次出现的位置,所以要保证左边为小于等于target的,右边为大于target的这样如果存在则left最终指向的就是要查找值,这里大家也继续在过程中体会吧

进入循环,mid=left+(right-left+1)/2(这里和上面有点区别,后面分析),此时:
在这里插入图片描述
将mid指向值与target比较发现,mid指向值满足小于等于target,left=mid,此时:

在这里插入图片描述
再次进入循环,mid=left+(right-left+1)/2,此时:
在这里插入图片描述
继续比较,此时mid指向值仍然小于等于target,再次更新,left=mid,此时:

在这里插入图片描述
进入循环,mid=left+(right-left+1)/2,此时:
在这里插入图片描述
将mid指向值于target比较,发下大于target,更新right,right=mid-1,此时:
在这里插入图片描述

小总结

1.这里不可以使用mid=left+(right-left)/2来跟新mid,不然会造成死循环,大家将两次对比记忆。

五、代码

vector<int> searchRange(vector<int>& nums, int target) {
        vector<int>v={-1,-1};
        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(left<nums.size()&&nums[left]==target) v[0]=left;
        left=0;right=nums.size()-1;//重置指针
        while(left<right)
        {
            int mid=left+(right-left+1)/2;
            if(nums[mid]<=target) left=mid;
            else right=mid-1;
        }
        if(right<nums.size()&&nums[right]==target) v[1]=right;
        return v;
    }

总结

这里并没有将所以可能遇到的情况罗列出来,入果大家想尝试可以用下面三种模拟:
1.有节果
2.全大于
3.全小于

下面几题,可以使用二分思想来解答:
1.x的平方根
2.搜索插入位置
3.山脉数组的峰顶索引
4.寻找峰值

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2256426.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【C#】NET 9中LINQ的新特性-CountBy

前言 在 .NET 中,使用 LINQ 对元素进行分组并计算它们的出现次数时,需要通过两个步步骤。首先,使用 GroupBy方法根据特定键对元素进行分类。然后,再计算每个组元素包含个数。而随着 .NET 9 版本发布,引入了一些新特性。其中 LINQ 引入了一种新的方法 CountBy,本文一起来了…

[SWPUCTF 2022 新生赛]funny_php

进入靶场环境 <?phpsession_start();highlight_file(__FILE__);if(isset($_GET[num])){if(strlen($_GET[num])<3&&$_GET[num]>999999999){echo ":D";$_SESSION[L1] 1;}else{echo ":C";}}if(isset($_GET[str])){$str preg_replace(/NS…

2024-10-13-B fd 重定向 缓冲区

1 一切皆文件 1.1 虚拟文件系统 在系统层面&#xff0c;做了一层软件的封装&#xff0c;struct file 里有操作表&#xff08;即函数指针的集合&#xff09;&#xff0c;可以调用底层的读写方法。虚拟文件系统&#xff08;VFS&#xff09;是一种神奇的抽象&#xff0c;它使得…

调整数组顺序使奇数位于偶数前面

题目 输入一个整数数组&#xff0c;调整数组中数字的顺序&#xff0c;使得所有奇数位于数组的前半部分&#xff0c;所有偶数位于数组的后半部分。要求时间复杂度为O(n) 解法 双指针i和j 指针i起点是数组起点&#xff0c;当i检测到偶数时停下。j的起点时数组终点&#xff0c;…

如何使用 Docker Compose 安装 Memos 自托管笔记应用

简介 Memos是一个自托管的开源笔记应用程序&#xff0c;专为个人组织和信息管理而设计。它允许用户高效地创建、存储和管理笔记&#xff0c;提供如Markdown支持、用户友好的界面和注重隐私的设计等功能。Memos可以在各种平台上运行&#xff0c;但使用Docker Compose可以简化部…

详解:HTTP/HTTPS协议

HTTP协议 一.HTTP是什么 HTTP&#xff0c;全称超文本传输协议&#xff0c;是一种用于分布式、协作式、超媒体信息系统的应用层协议。HTTP往往是基于传输层TCP协议实现的&#xff0c;采用的一问一答的模式&#xff0c;即发一个请求&#xff0c;返回一个响应。 Q&#xff1a;什…

小程序项目的基本组成结构

分类介绍 项目根目录下的文件及文件夹 pages文件夹 用来存放所有小程序的页面&#xff0c;其中每个页面都由4个基本文件组成&#xff0c;它们分别是&#xff1a; .js文件&#xff1a;页面的脚本文件&#xff0c;用于存放页面的数据、事件处理函数等 .json文件&#xff1a;…

【uni-app 微信小程序】新版本发布提示用户进行更新

知识准备 uni.getUpdateManager文档介绍 不支持APP与H5&#xff0c;所以在使用的时候要做好平台类型的判断&#xff0c;如何判断&#xff0c;参考条件编译处理多端差异 代码参考 export const updateApp () > {const updateManager uni.getUpdateManager()updateManag…

LabVIEW断路器检测系统

随着电网技术的快速发展&#xff0c;对电力系统的可靠性和安全性要求不断提高&#xff0c;塑壳断路器作为关键的保护设备&#xff0c;其出厂前的检测非常重要。开发了一种基于LabVIEW软件平台开发的塑壳断路器智能脱扣器检测系统&#xff0c;该系统能够有效提高检测的自动化水平…

ASP.NET Core API 前后端分离跨域

环境准备 数据库&#xff1a; sqlserver 2022 后端&#xff1a; vs2022 ASP.NET Core API .net 8 前端&#xff1a; Hbuilderx bootstrap 5.3.0 jquery v3.7.1 bootstrap-table 1.23.5 完整项目代码下载地址 功能 实现 单张表 的 增 删 改 查 创建数据库和表 create data…

Mac M1 安装数据库

1. Docker下载 由于Sqlserver和达梦等数据库&#xff0c;不支持M系列的芯片&#xff0c;所以我们通过docker安装 下载并安装docker: https://www.docker.com/get-started/ 安装完成后&#xff0c;打开docker 2. SQL Server 安装 2.1 安装 打开终端&#xff0c;执行命令 doc…

进程的管理与控制

一、进程与线程 1. 进程 程序&#xff1a;是静态的&#xff0c;就是个存放在磁盘里的可执行文件&#xff0c;就是一系列的指令集合。 进程&#xff08;Process&#xff09;&#xff1a;是指计算机中已执行的程序&#xff0c;是动态的。 &#xff08;1&#xff09;进程的组成…

SQLCipher:SQLite加密工具的实用指南

本文还有配套的精品资源&#xff0c;点击获取 简介&#xff1a;SQLCipher是一个开源工具&#xff0c;用于为SQLite数据库提供透明的数据加密功能&#xff0c;确保数据安全。其工作原理是通过在SQLite的API上增加一层加密层&#xff0c;并使用AES加密算法确保数据在未授权访问…

如何将 JavaWeb 项目部署到云服务器

1. 搭建 Java 部署环境 接下来以 Ubuntu 来进行演示 1.1. apt 包管理工具 apt 就相当于手机上的应用市场 列出所有软件包&#xff1a;apt list 这个命令输出所有包的列表&#xff0c;内容比较多&#xff0c;可以使用 grep 命令过滤输出&#xff1a;apt list |grep "jd…

自动驾驶算法——卡尔曼滤波器平滑感知车道线参数【C++代码实现】

1.算法原理 在工程实践中,由于感知识别到的车道线偶尔存在较大的跳变,导致后端控制算法计算出的控制角度也存在较大的跳变,所以我们需要对感知输入的车道线系数进行平滑处理。 已知卡尔曼滤波算法主要分为以下几大步骤: 感知将车道线以三次螺旋曲线方程 y = c 0 + c 1 x +…

用python替换和循环插入excel的内容

用python替换和循环插入excel的内容 目的&#xff1a; 1.有一个word模板和一个有数据的excel表格 2.需要将excel中的数据经过更改成需要的字符串插入word段落中 3.更改word中的字符串 4.写一个现阶段可以用的程序&#xff0c;并用作以后更新迭代复用。 过程&#xff1a; …

UE5基本数据类型

bool: 表示布尔值&#xff0c;只有两个取值&#xff1a;true 或 false&#xff0c;用于表示逻辑条件。int8: 表示 8 位的有符号整数&#xff0c;范围是 −128−128 到 127127。uint8: 表示 8 位的无符号整数&#xff0c;范围是 00 到 255255。int16: 表示 16 位的有符号整数&am…

【Unity高级】在编辑器中如何让物体围绕一个点旋转固定角度

本文介绍如何在编辑器里让物体围绕一个点旋转固定角度&#xff0c;比如上图里的Cube是围绕白色圆盘的中心旋转45度的。 目标&#xff1a; 创建一个在 Unity 编辑器中使用的旋转工具&#xff0c;使开发者能够在编辑模式下快速旋转一个物体。 实现思路&#xff1a; 编辑模式下…

深度学习:从入门到精通的全面学习路径

摘要&#xff1a; 本文详细阐述了深度学习从入门到精通的系统学习路线。从基础数学与编程知识的夯实&#xff0c;到深度学习核心技术栈的深入掌握&#xff0c;包括 TensorFlow 与 PyTorch 等框架的应用&#xff1b;再到各类主流深度学习算法的原理学习与实践&#xff0c;涵盖神…

CC2530传感器应用实例

1.CC2530流水灯实验 //基于CC2530微控制器的程序&#xff0c;用于控制三个LED灯的闪烁。#include <ioCC2530.h>#define uint unsigned int #define uchar unsigned charuint代表无符号整型&#xff0c;uchar代表无符号字符型。#define LED1 P1_0 #define LED2 P1_1 #defi…