整数二分
二分的本质是边界划分,给定一个区间,如下图,其中左半边表示满足某种性质,右半边表示不满足某种性质,可以通过这种性质来找到a,b这两个边界。
1.找绿色边界(假设满足左边)
令mid = (l + r + 1) / 2
判断mid满足哪一个性质if(check(mid))
当结果为true 时,mid满足左边的区间,则绿色边界一定在[ mid , r ]这个区间(包含端点),则更新为 l = mid;
当结果为flase时, 则说明mid满足右边的区间,绿色边界则在 [ l , mid - 1 ] 区间之中(包含端点),更新为 r = mid - 1;
2.找红色边界的情况和绿色基本相似,但使用的模板不同.
当 l = mid,r = mid - 1 的时候,前面为的 (l + r + 1) / 2;而当 r = mid, l = mid + 1时,则不需要加1.
两种不同的模板:
//[l,r]被划分为[l, mid]和[mid + 1, r]时
int bsearch_1(inr l, int r)
{
while(l < r)
{
int mid = l + r >> 1;
if(check(mid)) r = mid;
else l = mid + 1;
}
return l;
}
//[l,r]被划分为[l, mid - 1]和[mid, r]时
int bsearch_2(inr l, int r)
{
while(l < r)
{
int mid = l + r >> 1;
if(check(mid)) l = mid;
else r = mid - 1;
}
return l;
}
下面是一道例题,便于理解整数的二分
题目:给定一个按照升序排列的长度为 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
代码为:
#include <bits/stdc++.h>
using namespace std;
const int N = 100010;
int n,q;
int p[N];
int main ()
{
cin >> n >>q;
for(int i = 0; i < n; i++)
{
scanf("%d",&p[i]);
}
int x;
while(q --)
{ cin >> x;
int l = 0,r = n-1;
while(l < r)
{
int mid = l +r >> 1;
if(p[mid] >= x) r = mid;
else l = mid + 1;
}
if(p[l] != x) cout << "-1 -1" << endl;
else
{
cout << l << " ";
int l = 0, r = n -1;
while(l < r)
{
int mid = l + r +1 >> 1;
if(p[mid] <= x) l = mid;
else r = mid - 1;
}
cout << l << endl;
}
}
return 0;
}