二分查找模板总结

二分查找模板总结

时间复杂度：O（log2n）

1、整数二分查找

二分整数模板：
1.循环必须是l < r
2.if判断条件看是不是不满足条件， 然后修改上下界
3.若if else后是r = mid - 1，则前面mid 语句要加1
4.出循环一定是l == r，所以l和r用哪个都可以

总思路：目标在闭区间[l,r]中，我们每次将区间长度缩小一半，当l==r（while（l<r））时，我们就找到了目标值，但由于死循环的边界问题，所以我们要注意书写的格式，因此有两个版本：

版本1：

当我们将区间[l, r]划分成[l, mid]和[mid + 1, r]时，其更新操作是r = mid或者l = mid + 1;，计算mid时不需要加1。

int bsearch_1(int l, int r)
{
    while (l < r)
    {
        int mid = l + r >> 1;
        if (check(mid)) r = mid;//eg:a[mid]>=x
        else l = mid + 1;
    }
    return l;
}

版本2：

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

int bsearch_2(int l, int r)
{
    while (l < r)
    {
        int mid = l + r + 1 >> 1;
        if (check(mid)) l = mid;//eg:a[mid]<=x
        else r = mid - 1;
    }
    return l;
}

补充扩展：

1、对递增的有序段找某个数来说：

1）如果该数在数组中存在的话且只有一个，使用两种模板的结果都是一样的，都可以找到该值。

3）如果该数存在，且不止一个：用版本1找到最前面出现的，用版本2找到最后面出现的。

2）如果该数不存在于数组中，那么使用两者的结果是不同的，第一种模板是找到并返回第一个大于该不存在数的位置，而第二种模板是找到并返回第一个小于该不存在数的位置。但如果该不存在的数在首和尾，那么结果也是一样的。

2、对递减有序段找某个数来说：

1）如果该数在数组中存在的话且只有一个，使用两种模板的结果都是一样的，都可以找到该值。

3）如果该数存在，且不止一个：用版本1找到最前面出现的，用版本2找到最后面出现的。

2）如果该数不存在于数组中，那么使用两者的结果是不同的，第一种模板是找到并返回第一个小于该不存在数的位置，而第二种模板是找到并返回第一个大于该不存在数的位置。但如果该不存在的数在首和尾，那么结果也是一样的。（正好与递增有序段情况相反）

2、浮点的二分查找

类似于整数二分查找，相比整数二分查找更加方便，不用考虑边界问题，但是根据题目需要的答案，要定义eps，直到r-l<=eps我们取到答案！

double eps = 1e-4;	//具体根据题目的需要的精度而定，比如题目需要的浮点数保留两位小数，那eps尽可能开到4位小数（多开两位）

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