关于二分搜索

本来是打算把自己以前写的二分博客原封不动地搬过来的，但是细品觉得自己写的是什么鬼…算了简单地重新写写吧，反正二分是基础了。

若序列前半和后半在某条件上具有相反的取值，则我们可以通过二分在$\log n$的时间里找到分界点。

$l$用来返回后半的起点，$r$是前半的终点。

不妨令后半对条件的取值为真，前半对条件的取值为假。

下面是伪代码。

bool somecondition(int a){
    //返回a是否满足某条件
}

int bitsearch(int l, int r){
    //l到r事先（想办法）使得前面的不满足某条件，后面的满足某条件
    while(l <= r){
        int m = (l+r)>>1;
        if(somecondition(m))
            //如果满足某条件
            r = m-1;
        else
            l = m+1;
    }
    //循环终止时，l是第一个满足条件的，r是最后一个不满足条件的
    return l;
}

由于任何时候$m$都在 [ l 0 , r 0 ] [l_0,r_0] [l0​,r