二分查找:
二分模板
整数二分
由于整数二分在找区间的中间值时 会有不被整除的情况 因此会有尽量向左找和向右找
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;
}
二分就先学到这吧