实用技巧——二分答案

1.使用原因：
一道题正面求难，但是如果知道答案，然后验证答案的对错，相对简单。

2.实现：
枚举答案 反面验证
如何枚举？二分查找O(logn)

3.思考问题：
（1）判断具有二分性，即
二分查找到一个mid后，如果离检验希望出现的答案远，那这个数前面就都不满足（也就不用找了），如果离检验希望出现的答案近，那就往能靠近检验成功的方向找。

（借张好图）

换句话来说：就是你找的答案一定要与你要判断的东西有必然联系（类似：一个多，另一个就多）

注意：出现“最”字

但这里注意：如果这道题不满足二分性，但却“枚举答案 反面验证”简单，那么判断下时间复杂度，可以试试枚举全部答案
例：https://www.luogu.com.cn/problem/P2882

（2）思考对于k如何判断是否满足条件

4.例题：
1.跳石头
https://www.luogu.com.cn/record/35656368
二分性：枚举的答案越大，删除的点就越少。
验证：若前面的石头B与你所站着的石头A的距离小于mid，就把B搬掉，记录一下；如果不，就把B留下，再跳到石头B上。多次循环后，如果搬掉的石头多了，就把距离mid定小点；如果少了，就把mid定大点。

二分跳跃距离，然后把这个跳跃距离“认为”是最短的跳跃距离，然后去以这个距离为标准移石头。使用一个judge判断这个解是不是可行解。如果这个解是可行解，那么有可能会有比这更优的解，那么我们就去它的右边二分。为什么去右边？答案是，这个区间是递增的 ，而我们求的是最短跳跃距离的最大值，显然再右边的值肯定比左边大，那么我们就有可能找到比这更优的解，直到找不到，那么最后找到的解就有理由认为是区间内最优解。反过来，如果二分到的这个解是一个非法解，我们就不可能再去右边找了。因为性质，右边的解一定全都是非法解。那么我们就应该去左边找解。
代码

const int N=50000;
int a[N];
int b,n,m,ans;
int check(int num){
	int jud=0,now=0;
	for(int i=1;i<=n;++i){
		if(a[i]-a[now]<num){
			jud++;
		}
		else now=i;
	}
	return jud;
}
int search(int el,int er){
	int l=el,r=er,mid=0;
    while(l<=r){
        mid=(l+r)>>1;
        if(check(mid)<=m){
        	ans=mid;
        	l=mid+1;
		}
        else r=mid-1;
	}
    return ans;
}
int main(){
	scanf("%d%d%d",&b,&n,&m);
	for(int i=1;i<=n;i++){
		scanf("%d",&a[i]);	
	}
	printf("%d",search(0,b));
	
	return 0;
}