二分答案

【什么是二分答案】

有一类题目我们比较难以从题目出发找到答案，但从题意可以确定答案的范围，即答案的最小值和最大值，而且答案有单调性，这时我们可以枚举每个可能的答案去尝试，看是否符合题意要求。

这样一般需要O（n）次枚举，我们可以通过二分的方法把比较次数降为 O（log n）。 

 

【怎样二分答案】

先从题目中得知下界 l 和上界 r，每次取中间值 mid（即 mid =（l + r）/ 2），再判断 mid 是否合法，根据题目的要求不断缩小范围，直到 l 和 r 相等，这个时候答案就是 l（或 r）

 

【二分答案的几种形式】

1、求满足要求的最小值

while(l<r)         //l是下界,r是上界 
{
	int mid=(l+r)>>1;  //mid=(l+r)/2;
	if(check(mid))  r=mid;
	else  l=mid+1;
}

2、求满足要求的最大值

while(l<r)
{
	int mid=(l+r+1)>>1;   //注意是l+r+1而不是l+r
	if(check(mid))  l=mid;
	else  r=mid-1;
}

3、通用（整数域上）

while(l<=r)
{
	int mid=(l+r)>>1;
	if(check(mid))  ans=mid,l=mid+1;   //l,r的变化因题而异 
	else  r=mid-1;
}

4、在实数域上的二分

while(l+eps<r)     //eps是精度要求,是很小的数，一般取1e-8
{
	double mid=(l+r)/2;
	if(check(mid))  r=mid;   //l,r的变化因题而异 
	else  l=mid;
}

5、在实数域上二分100次（精度已经足够高了）

for(int i=1;i<=100;++i)
{
	double mid=(l+r)/2;
	if(check(mid))  r=mid;   //l,r的变化因题而异 
	else  l=mid;
}

 

【例题】

题目传送门进击的奶牛

题目大意：有N个牛棚分布在一条直线上，有C头牛，其中1个牛棚中只能有1头牛，给出N个牛棚的坐标x，每头牛都希望与其他牛隔得越远越好，求最大的最近距离（洛谷 1824）

代码（用贪心+二分即可）：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=100005;
int n,c;
int a[N];
bool check(int x)
{
	int i,t=1,ans=1;
	for(i=2;i<=n;++i)
	{
		if(a[i]-a[t]>=x)
		{
			t=i;
			ans++;
		}
	}
	if(ans>=c)
	  return true;
	return false;
}
int main()
{
	int i,l,r,mid;
	scanf("%d%d",&n,&c);
	for(i=1;i<=n;++i)
	  scanf("%d",&a[i]);
	sort(a+1,a+n+1);
	l=0,r=1e+9;
	while(l<r)
	{
		mid=(l+r+1)>>1;
		if(check(mid))  l=mid;
		else  r=mid-1;
	}
	printf("%d",l);
    return 0;
}