蓝桥杯备考---二分

二分查找：

        二分模板

整数二分
由于整数二分在找区间的中间值时 会有不被整除的情况 因此会有尽量向左找和向右找
l + r / 2 代表向左找  比如[0~7] mid = 3
l + r + 1 / 2 代表向右找 比如[0~7] mid = 4
即中间值被整除是向上取整还是向下取整

模板一：尽量向左找
尽量向左去 则需要区间尽量向左缩小 <--- 当找到满足条件的下标时 r = mid 
不符合条件时 l = mid + 1
while (l < r){
    //int mid = l + (r - l) / 2;//避免数值过大直接相加溢出
    int mid = (l + r) >> 1;//实操 位运算会比第一种算法快更多 血的教训 因为这一点超时了五个测试点
    if (check(mid))  r = mid;    // check()判断mid是否满足性质
    else l = mid + 1;
}

模板二：尽量向右找
尽量向右去 则需要区间尽量向右缩小 <--- 当找到满足条件的下标时 l = mid 
不符合条件时 r = mid - 1
while (l < r){
    //int mid = l + (r - l) + 1 / 2;
    int mid = (l + r + 1) / 2;
    if (check(mid))  l = mid;
    else r = mid - 1;
}
最终退出循环的条件 l == r == 符合条件的下标 

STL库中也带有相应函数

lower_bound(begin,end,val)：在有序数组 [begin,end) 中找到第一个大于等于 val 的值并返回地址

upper_bound(begin,end,val)：在有序数组[begin,end)中找到第一个大于 val 的值并返回地址

begin 数组首地址 end 数组末地址+1

注意返回的是地址 若想转化为下标 需要将返回值减去数组首地址

二分答案：

使用二分答案的条件：
1. 命题可以被归纳为找到使得某命题P(x)成立（或不成立）的最大（或最小）的x。
2. 把P(x)看做一个值为真或假的函数，那么它一定在某个分界线的一侧全为真，另一侧全为假。
3. 可以找到一个复杂度优秀的算法来检验P(x)的真假。
通俗来讲，二分答案可以用来处理“最大的最小”或“最小的最大”问题。

练习：

        洛谷p1873 --- 经过多次 鉴赏 大佬代码 修改代码 终于ac 

        思路：找到满足木头数的最大斧头的长度 类似在满足条件的区间中找最大值 尽量向右找 用            整数二分的第二个模板

        注意事项 mid = l + (r - l) / 2   《《  mid = (l + r) >> 1 位运算更快 当数据量过大时建议用位运          算

        平时建议养成习惯也用它

        洛谷p1824 --- 一次ac 我真厉害 (虽然提前看了题目分析 把题意具象成二分问题)

第一眼看到这个题 想不到与二分的联系 更不理解这个最大的最近距离是什么鬼 

最大的最近距离 ---> 所有牛所在隔间的相邻距离都大于等于该最近距离  即满足条件的最大相邻距离 采用第二个模板 向右缩小区间找最大

关于这类题首先确定区间 隔间坐标为[0 ~ x]

考虑极限情况 最近距离 > 0

min = 1(只有两个挨着的隔间)

max = x(一个住在0 一个住在x 只有两头牛)

要在该区间内找到最符合条件的分界线 该相邻距离再大就不满足条件了

check实现 先将各坐标排序 从左到右依次分配房间 若最后每头牛都分到满足当前相邻距离的房间即符合要求 区间右缩 否则区间左缩

附上ac代码

#include<iostream>
#include<algorithm>
using namespace std;
const int N = 1e5 + 10;
int room[N];
int n, c;
int l = 1, r;
bool check(int x){
	int cnt = 1;
	int flag = room[0];
	for(int i = 1; i < n; i ++){
		if(room[i] >= flag + x){
			cnt ++;//这两个房间的相邻距离满足当前最近距离
			flag = room[i]; 
		}
		if(cnt == c)
			return true;
	}
	return false;
}
int find(){
	while(l < r){
		int mid = (l + r + 1) >> 1;
		if(check(mid))	l = mid;
		else r = mid - 1;
	}
	return l;
}
int main(){
	cin >> n >> c;
	for(int i = 0; i < n; i ++){
		cin >> room[i];
		if(r < room[i])
			r = room[i];//设置二分区间 最大的最近距离 --- 两头牛 一个在0 一个在隔间最大号 
	}
	sort(room, room + n);
	int res = find();
	cout << res; 
}

          洛谷p2678 --- 比较巧妙的逆向思维

跳跃区间可以直接设置从1到比赛全程L 也可以在输入时判断一下 找到最小和最大跳跃距离 

比较关键的就是check函数的检查：题目要求我们最多移m块 但我们正面想 不可能枚举去掉m块后再找最小的跳跃距离 看他是否满足当前最大的最小跳跃距离 太过浪费时间且不好实现

反面来想 从起点出发 若遇到跳跃距离小于当前设置的 移走记录 最后判断总移动数是否满足题目要求的移动数 满足则区间右缩 否则区间左缩

出现问题：没有判断跳到终点的那个跳跃距离 没有考虑到n,m均为0的情况 起初单独将中间第一块石头特判时没有补全满足条件时更新的语句

ac代码  二分模板绝对没问题 就按顶部用即可

#include<iostream>
#include<algorithm>
using namespace std;
const int N = 1e5;
int len, n, m;
int l, r;
int stone[N];//距离起点岩石的距离 
bool check(int x){//逆向思维 
	int fact = 0;
	int flag = 0;//记录当前位置到起点的距离 
	for(int i = 0; i <= n; i ++){
		if(stone[i] - flag < x)//跳跃距离太小 不满足最小跳跃距离 搬走该石头 
			fact ++;
		else//满足条件 直接跳过去 
			flag = stone[i];
	}
	if(fact > m)
		return false;
	else
		return true; 
}
int find(){
	l = 1, r = len;
	while(l < r){
		int mid = (l + r + 1) >> 1;
		if(check(mid))
			l = mid;
		else r = mid - 1;
	}
	return l;
}
int main(){
	cin >> len >> n >> m;
	for(int i = 0; i < n; i ++){
		cin >> stone[i];
		if(i > 0 && l > stone[i] - stone[i - 1])
			l = stone[i] - stone[i - 1];//记录最小跳跃距离 
		if(i > 0 && r < stone[i] - stone[i - 1])
			r = stone[i] - stone[i - 1];//记录最大跳跃距离 
	}
	stone[n] = len;
	int res = find();
	cout << res;
}

二分就先学到这吧