二分法的常见套路

二分模板
最近学到了一个很好用的二分法模板，对于大部分的题目可以直接使用

int l=-1,r=nums.size();//r是数组里有多少元素
while(l+1!=r)
{
  int mid=(l+r)/2;
   if(判断条件)
   {
   
     l=mid;
    }else{
     
      r=mid;
     }
}

第一个问题，为什么初始化l=-1，r=数组元素个数

看这个图片，寻找第一个小于等于2的数字，如果条件满足l才会移动，也就是说，l本身以及l左面的元素都应该是小于等于2的

如果让l=0，那么3这个数字明显是不满足条件的所以初始化为-1，同理r初始化为数组元素也是如此

第二个问题，如防止陷入死循环

参考这个图，L+3=r时，经过一次递归，会变成l+2=r，l+2=r经过一次递归会变成l+1=r，也就是我们写的终止条件。

对于算法的流程问题，以及验证【二分查找为什么总是写错？】https://www.bilibili.com/video/BV1d54y1q7k7?vd_source=a1f93734d596cd5754b450df20fc05a2

参考这个视频，动画演示的效果比手写的更容易理解

对于段落属性的二分法

33. 搜索旋转排序数组 - 力扣（LeetCode）https://leetcode.cn/problems/search-in-rotated-sorted-array/description/?envType=study-plan-v2&envId=top-100-liked参考题目，

这道题其实是要我们明确「二分」的本质是什么。

「二分」不是单纯指从有序数组中快速找某个数，这只是「二分」的一个应用。

「二分」的本质是两段性，并非单调性。只要一段满足某个性质，另外一段不满足某个性质，就可以用「二分」。

经过旋转的数组，显然前半段满足 >= nums[0]，而后半段不满足 >= nums[0]。我们可以以此作为依据，通过「二分」找到旋转点。

（这里参考大佬的题解）

附上题解代码，这里我们上面写的模板使用起来容易出错，我们采用另一个模板

当我们将区间[l, r]划分成[l, mid - 1]和[mid, r]时，其更新操作是r = mid - 1或者l = mid;，此时为了防止死循环，计算mid时需要加1。

C++ 代码模板：

int bsearch_2(int l, int r)
{
    while (l < r)
    {
        int mid = l + r + 1 >> 1;
        if (check(mid)) l = mid;
        else r = mid - 1;
    }
    return l;
}

题解代码

class Solution {
public:
    int search(vector<int>& nums, int target) {
        int n = nums.size();
        int l = 0, r = n - 1;
        while(l < r){
            int mid = l + r + 1 >> 1;
            if(nums[mid] >= nums[0]){
                l = mid;
            }
            else r = mid - 1;
        }
        if(target >= nums[0]){
            l = 0;
        }
        else{
            l = l + 1;
            r = n - 1;
        }
        while(l < r){
            int mid = l + r >> 1;
            if(nums[mid] >= target){
                r = mid;
            }
            else l = mid + 1;
        }
        return (nums[r] == target ? r : -1);
    }
};