二分查找-278. 第一个错误的版本

278. 第一个错误的版本

你是产品经理，目前正在带领一个团队开发新的产品。不幸的是，你的产品的最新版本没有通过质量检测。由于每个版本都是基于之前的版本开发的，所以错误的版本之后的所有版本都是错的。

假设你有 n 个版本 [1, 2, …, n]，你想找出导致之后所有版本出错的第一个错误的版本。

你可以通过调用 bool isBadVersion(version) 接口来判断版本号 version 是否在单元测试中出错。实现一个函数来查找第一个错误的版本。你应该尽量减少对调用 API 的次数。

示例 1：

输入：n = 5, bad = 4
输出：4
解释：
调用 isBadVersion(3) -> false
调用 isBadVersion(5) -> true
调用 isBadVersion(4) -> true
所以，4 是第一个错误的版本。

示例 2：

输入：n = 1, bad = 1
输出：1

提示：

1 <= bad <= n <= 231 - 1

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/first-bad-version
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

想法

1. 本题目有个小陷阱，mid=（l+r)/2会超标，但是写成(r-l)/2+l就不会
2. 本次主要探讨等号的存在问题：
3. 如果等号存在，实际上是为了越界退出的
4. 如果等号不存在，是为了两点相等的时候推出，实际上是另外一种形式的越界，

public class Solution extends VersionControl {
    public int firstBadVersion(int n) {
        int l=1,r=n;
        while(l<=r){
            int mid=l+(r-l)/2;
            if(!isBadVersion(mid)){
                l=mid+1;
            }else{
                if(mid-1>=0&&!isBadVersion(mid-1)) return mid;
                if(mid==0) return mid;
                r=mid-1;
            }
        }
        return -1;
    }
}

上面就是正常的二分模板，我们需要不断的查找，找到返回，没找到退出。

public class Solution extends VersionControl {
    public int firstBadVersion(int n) {
        int l=1,r=n;
        while(l<r){
            int mid=l+(r-l)/2;
            if(isBadVersion(mid)){
                r=mid;
            }else{
                l=mid+1;
            }
        }
        return l;
    }
}

上面就是确定一定可以找到，当找到的时候退出。从本质上讲是一样的，但是这点小变动还挺有趣的