[二分查找] 278. 第一个错误的版本（二分查找迭代实现）

278. 第一个错误的版本

题目链接：https://leetcode-cn.com/problems/first-bad-version/

---

分类：二分查找（迭代实现、设计查找规则、退出循环条件、返回值）

---

思路：二分查找

二分查找规则版本1：一轮二分查找需要调用两次isBadVersion

• 本二分查找规则的循环条件是while(left <= right)，循环条件的设置和二分区间的截取方式有关。

取中位点mid，调用isBadVersion判断mid是不是出错版本；

• 如果mid是出错版本：
  • 且mid-1不是错误版本，则mid就是第一个错误版本；
  • 且mid-1也是错误版本，则说明第一个错误版本在mid的左半区间内，令right=mid-1;
• 如果mid不是出错版本，说明第一个错误版本在mid的右半区间（不包括mid），令left=mid+1；

实现代码：

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

二分查找规则版本2：一轮二分查找只需要调用一次isBadVersion

• 本二分查找规则的循环条件是while(left < right)，循环条件的设置和二分区间的截取方式有关。

取中位点mid，调用isBadVersion判断mid是不是出错版本；

• 如果mid是出错版本，说明第一个错误版本只可能在mid及其的左半区间内（包括mid），令right=mid;
• 如果mid不是出错版本，说明第一个错误版本只可能在mid的右半区间（不包括mid），令left=mid+1；

如果left==right时，退出循环，此时left,right指向的就是第一个错误版本。（举例理解，但证明需要数学归纳法）

实现遇到的问题：字面量溢出问题
计算中位点可能出现的字面量溢出问题：
将mid=(left+right)/2修改为：int mid = left + (right - left) / 2;即可解决。

实现代码：

public class Solution extends VersionControl {
    public int firstBadVersion(int n) {
        int left = 1, right = n;
        while(left < right){
            int mid = left + (right - left) / 2;//防止字面量溢出
            if(isBadVersion(mid)) right = mid;
            else left = mid + 1;
        }
        return left;
    }
}