二分算法实质

dxc实在是太列害了，之前我对二分理解的层面仅仅就在二分查找上，导致我碰见一道新的用二分解题的题时就模棱两可，其实就是不理解，没理解到底是什么意思。

有序可以用二分，但是二分不一定要在有序时才能用

其实二分的实质是 一组数据分为两个不同的“状态”，通过这两个状态我们就可以一半一半的缩小范围，而且我们用二分找的往往就是一个边界，要么是左边界要么是右边界 仅仅理解这句话没用要应用到具体中去

题目：数的范围

给定一个按照升序排列的长度为 n 的整数数组，以及 q 个查询。

对于每个查询，返回一个元素 k 的起始位置和终止位置（位置从 0 开始计数）。

如果数组中不存在该元素，则返回 -1 -1。

输入格式
第一行包含整数 n 和 q，表示数组长度和询问个数。

第二行包含 n 个整数（均在 1∼10000 范围内），表示完整数组。

接下来 q 行，每行包含一个整数 k，表示一个询问元素。

输出格式
共 q 行，每行包含两个整数，表示所求元素的起始位置和终止位置。

如果数组中不存在该元素，则返回 -1 -1。

数据范围
1≤n≤100000
1≤q≤10000
1≤k≤10000
输入样例：
6 3
1 2 2 3 3 4
3
4
5
输出样例：
3 4
5 5
-1 -1

这道题真好，直接就同时练习了左边界和右边界！！

设我们想查找的数字为k,
首先找满足条件的左边界：左边界有这样一个性质，左边界之前（不包括左边界）都 < k，左边界之后（包括左边界）都 >= k；于是我们可以找到一个check函数(就是if中的条件)，比如：如果q[mid] < k (说明我们想找的左边界在(l, r]之间，左开右闭)那么l = mid +1，否则，r = mid;这样如果我们找到的数字并不是k，说明该组数据中并没有我们想要的结果，则直接输出-1，否则则存在，再进行一次二分即可，即找右边界；
右边界是同理的(右边界之前（包括右边界）都 <= k；右边界之后（不包括右边界）都 > k)。
最终我们的 l(左指针) 就是答案。

（注：当l = mid时，根据二分模板，对应的得到mid时应加一，即mid = l + r + 1 >> 1）

问：为什么在找左边界时我们取的是 <k 和 >=k 呢？
观察数据，我们可以看出：左边界之后(包括左边界)的数据是包括很多个k的，所以是 >= k，但是其之前必小于k，；在找右边界时也是同理的。

代码如下：

#include <iostream>

using namespace std;

const int N = 100010;

int q[N];
int main () {
    int n, m, k;
    scanf("%d%d", &n, &m);
    for (int i = 0; i < n; i++) scanf("%d", &q[i]);
    
    for(int i = 0; i < m; i++) {
        scanf("%d", &k);
        int l = 0, r = n-1;
        while(l < r) {
            int mid = l + r >> 1;
            if(q[mid] < k) l = mid + 1;
            else r = mid;
        }
        if(q[l] != k) cout << "-1 -1" <<endl;
        else {
            
            cout << l << ' ';
            
            l = 0, r = n-1;
            while(l < r) {
                int mid = l + r + 1 >> 1;
                if(q[mid] > k) r = mid - 1;
                else l = mid;
            } 
            cout << l << endl;
        }
        
    }
    return 0;
}

整数二分模板：

//模板1
while(l<r){
   int mid=l+r+1>>1;
   if(check(mid))l=mid;
   else r = mid -1;
}

//模板2
while(l<r){
   int mid=l+r>>1;
   if(check(mid))l=mid+1;
   else r = mid -1;
}

整数二分的两套模板就是如果状态改变把l = mid了，那么得到mid那部应写成 “l+r+1 >> 1”