二分法探微

摘抄自Acwing

二分模板一共有两个，分别适用于不同情况。
算法思路：假设目标值在闭区间$[l,r]$中， 每次将区间长度缩小一半，当$l=r$时，我们就找到了目标值。

模板一

当我们将区间$[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;
        else l = mid + 1;
    }
    return l;
}

• 这里要注意的是 满足$check\left(\right)$条件的$mid$变量，此时被我们划分到了左区间中

模板二

当我们将区间$[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;
        else r = mid - 1;
    }
    return l;
}

• 这里要注意的是 满足$check\left(\right)$条件的$mid$变量，此时被我们划分到了右区间中

这里面有一个问题就是为什么计算$mid$的时候还要加$1$。

其实，这一步最主要的目的是为了防止死循环。在这里我们举一个这样的例子

1. 假设在程序的运算过程中的一步$l=3,r=4$，此时程序中的$mid$是这样计算的$mid=(l+r)>>1$。
2. 如果在运算的一步中$check(mid)$为真。那么根据$mid=l+r>>1$我们可以计算出$l=3$
3. 然后，整个程序就陷入了死循环

$mid$的计算关系到每一次运算过程结束后，区间是否能够经过充分的划分。

之所以会有这两种不同的模板，是因为在两种不同情况下，$mid$会被分别分到左区间或者是右区间，我们必须保证每一种不同的划分方法都不能出现死循环。