二分查找：边界条件带不带等号？指针取不取middle?

花了好长时间终于完全搞懂了，之后再也不用纠结啦~

---

二分查找的两个易错点

1. 边界条件：while循环中 left 和 right 的关系，到底是 left <= right 还是 left < right
2. 指针取值：迭代过程中 middle 和 right 的关系，到底是 right = middle - 1 还是 right = middle

之所以会出错，是因为二分查找有两种写法，即左闭右闭和左闭右开，这两种写法很容易搞混。如果可以用一套逻辑去判断，就能避免分别死记硬背导致的错误，而且可以举一反三，快速确定边界条件和指针取值啦～

关于两种写法，这篇文章解释地很清楚啦【二分查找】详细图解_Charon_cc的博客-CSDN博客

---

判断方法

边界条件

关键是看左右指针重叠时，能不能得到答案。

假设左右指针重叠时的位置是ａ

1. 如果不能确定ａ是不是答案，那就需要再循环一次来进行判断，此时while循环的条件需要带等号，多一次循环。
2. 如果已经确定 a 就是答案或者确定没有答案，那就可以直接输出结果，也就不需要再循环一次了，此时while循环的条件不需要带等号。

以左闭右闭写法为例：当左右指针重叠时，a 可能是答案，也可能不是答案（不是答案即数组中没有要找的数字），因此边界条件带等号。

以左闭右开写法为例：当左右指针重叠时，[ a, a) 这个区间里没有数字，可以确定没有答案，因此边界条件不带等号。

指针取值

关键是保证新的搜索区间左右的开闭情况和最开始时相同，只有这样才能保证不会有遗漏。

1. 若开始是左闭右闭写法，则新的搜索区间也是左闭右闭
2. 若开始是左闭右开写法，则新的搜索区间也是左闭右开

1. 首先需要明白middle不可能是答案，因为如果middle是答案，那就可以直接输出结果，不需要继续循环了。
2. 区间的左边界都是闭合的，也就是说左指针指的数字有可能是答案。为保证开闭情况一致，左指针要更新到下一个可能是答案的位置。因为middle不可能是答案，所以下一个可能是答案的位置是middle＋１。
3. 区间的右边界是闭合的写法时，类似左边界，即右指针要更新到下一个可能是答案的位置，也就是middle－１。
4. 区间的右边界是开放的写法时，右指针指的数字不可能是答案，因此right = middle。

---

举一反三

力扣中的一道题【二分查找】详细图解_Charon_cc的博客-CSDN博客

以解题思路中的左闭右闭方法为例：

class Solution {
    public int minArray(int[] numbers) {
        int left = 0, right = numbers.length - 1;
        while (left < right) {
            int middle = (left + right) / 2;
            if (numbers[middle] > numbers[right]) left = middle + 1;
            else if (numbers[middle] < numbers[right]) right = middle;
            else right--;
        }
        return numbers[left];
    }
}

边界条件：由于该题一定有答案，因此两指针重叠时，所指的位置就是答案，不需要再循环一次做判断，此时while循环的条件不需要带等号。

指针取值：

1. 当 numbers[middle] > numbers[right] 时，middle不可能是答案，因此left指向下一个可能是答案的数，即middle + 1。
2. 当 numbers[middle] < numbers[right] 时，middle可能是答案，因此right指向middle。

---

总结

最后，虽然两种写法都理解了，但是还是建议以一种写法为主，加快解题速度～

个人还是比较喜欢左闭右闭写法，因为两边开闭情况相同，不容易出错。