二分查找

Posted 2021-01-03 maoruimas

区间[a,b]，[a,c]满足条件而(c,b]不满足条件，或者，[a,c)不满足条件而[c,b]满足条件。函数bs(a,b)返回c。
特判：

• [a,b]都不满足条件，bs(a,b)返回-1
• [a,b]都满足条件，bs(a,b)返回b

bool ok(int m)
{
    //...
}
int bs(int l,int r)
{
    int m;
    if(ok(l)&&ok(r))return r;
    if(!ok(l)&&!ok(r))return -1;
    if(!ok(l)){r=r^l;l=r^l;r=r^l;}
    while(r-l>1||l-r>1)
    {
        m=(l+r)/2;
        if(ok(m))l=m;
        else r=m;
    }
    return l;
}