整數二分模板

bool check(int x) {/* ... */} // 檢查x是否知足某種性質

// 區間[l, r]被劃分紅[l, mid]和[mid + 1, r]時使用：
int bsearch_1(int l, int r)
{
    while (l < r)
    {
        int mid = l + r >> 1;
        if (check(mid)) r = mid;    // check()判斷mid是否知足性質
        else l = mid + 1;
    }
    return l;
}
// 區間[l, r]被劃分紅[l, mid - 1]和[mid, r]時使用：
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;
}