二分模板分析

二分

适用范围

存在一个条件，使得题目范围内的待搜索数组里的每个元素都或者满足条件、或者不满足条件，不存在元素既满足条件又不满足条件，即满足二段性。

模板

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

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

---

while(l < r)

会在l==r时停止循环，此时l == r ==mid;

可以return其中任意一个。

---

r = nums.length - 1

因为数组的下标从0开始，所以二分的范围上限r为数组长度-1

---

二段性

二分实质为二段性，在边界的一边全都不满足check的条件，在边界的另一半全都满足check的条件。

两个模板分别对应寻找区间范围的左端点与右端点。

如果寻找左端点，那么在左端点及其右边的区间，都满足条件。那么条件为≥。

当nums[mid]≥target时，数轴如下图，因此if(nums[mid]≥target)的操作为移动r,使得r = mid;

当nums[mid]<target时，由于是<，所以mid一定不会满足条件，因此l = mid + 1;

---

如果寻找右端点，那么在右端点及其左边的区间，都满足条件。那么条件为≤。

当nums[mid]≤target时，数轴如下图，因此if(nums[mid]≤target)的操作为移动l,使得l = mid;

当nums[mid]>target时，由于是>，所以mid一定不会满足条件，因此r = mid - 1;

---

以上，我们可以通过两种模板分别找到符合要求区间的左端点或者右端点。我们可以按照要求选择模板。

因为我们找到的是区间端点，端点不一定==target值，因此我们要在最后一步判断nums[mid] == target

注意判断条件为nums[mid] <= target时，需要计算mid = l + r + 1>>1,这是为了避免l + 1 = r 时，l + r >> 1向下取整，mid = l , l = mid会死循环