【week1day1笔记】二分答案与三分答案

二分答案
二分答案法，基本思路是对需要求解的答案，在其可能范围内反复取中值，验证中值是否为可行解，根据中值判定结果选择保留左半部分或右半部分，从而快速分割求解范围，达到将时间复杂度由O(n)简化到O(logn)的结果

可二分性
使用二分答案前需要对问题进行分析，若该问题抽象化形成的函数是单调的，便可考虑使用二分答案法求解。

可能的关键字:“使……其中的最小值最大”

写法
二分答案的一个关键点在于二分边界的处理，这里列出几种写法（竞赛生还是尽快确定自己的风格为好）
①记录答案法
设置一个ans值，每次当mid值（中值）被验证为有效时，将ans值更新为mid值
在此之后，无论是对l还是r进行修改，修改后区间都不包括mid
例：

while(l<=r)
{
   mid=(l+r)>>1;
   if(check(mid))                     //答案验证
   {
    ans=mid;
    l=mid+1;
   }
   else r=mid-1;
}

这种方法可能存在一定问题，但本人太菜尚未发现可能出现问题的情况
②求最小ans，使所有大于ans且在区间内的值都为有效解
在不使用记录的情况下，一般使最终结果l==r，此时l和r都代表答案
更新区间时注意将可行的mid并入下一个区间中
即check(mid)==true时，将l修改为mid，反之将r修改为mid-1
在二分边界，即l=r-1时，注意到若取mid=(l+r)/2，会造成死循环情况，所以需将mid的计算公式改为mid=(l+r+1)/2
例：

while(l<r)
{
    mid=(l+r+1)>>1;
    if(check(mid)) l=mid;
    else r=mid-1;
}

③求最大ans，使所有小于ans且在区间内的值都为有效解
与上述内容类似

while(l<r)
{
    mid=(l+r)>>1;
    if(check(mid))r=mid;
    else l=mid+1;
}

三分答案
三分答案的思路与二分答案类似，当问题抽象化形成的函数是单峰时，可使用三分答案求出峰值
需要注意，若按平均分，两个中值分别取(l+r)/3,(l+r)*2/3，则会造成不必要的计算、精度、范围问题，所以一般取mid1 = (l+r)/2 , mid2 = (l+mid)/2

二分答案例题
洛谷P2687 【NOIP2015】跳石头 https://www.luogu.org/problem/P2678 （嗯，算是打败了几年的自己，弥补了一些小小的遗憾吧）

#include<cstdio>
#include<iostream>
#include<cstring>
using namespace std;
int l,n,m;
int num[50010];
bool check(int mid)
{
	int last=0,cnt=0;
	for(int i=0;i<n;i++)
	{
		if(l-num[i]<mid)
			break;
		else
		{
			if(num[i]-last<mid)continue;
			else {cnt++;last=num[i];}
		}
	}
	if(n-cnt>m)return false;
	return true;
}
int main()
{
	scanf("%d%d%d",&l,&n,&m);
	for(int i=0;i<n;i++)scanf("%d",&num[i]);
	int L=1,R=l,ans;
	while(L<=R)
	{
		int mid=(L+R)>>1;
		if(check(mid)) {ans=mid;L=mid+1;}
		else R=mid-1;
	}
	printf("%d\n",ans);
	return 0;
}

codeforces 287B Pipeline (这题我卡在了n=1的特例上，算是学到一个教训，二分范围可以在合理的情况下略微放大，也许能起到提高容错率的效果)

#include<cstdio>
#include<iostream>
using namespace std;
bool check(long long mid,long long k,long long n)
{
	return 1ll*(k-mid)*(k-1+mid)/2>=n;
}
int main()
{
	long long n,k,ans,l,r,mid;
	cin>>n>>k;
	if(1ll*(k-1)*k/2+1<n)printf("-1\n");
	else
	{
		n--;
		l=1;r=k;
		while(l<=r)
		{
			mid=(l+r)/2;
			if(check(mid,k,n))
			{
				ans=mid;
				l=mid+1;
			}
			else r=mid-1;
		}
		/*while(l<r)
		{
			mid=(l+r+1)/2;
			if(check(mid,k,n))
			{
				l=mid;
			}
			else r=mid-1;
		}*/
		cout<<k-ans<<endl;
	}
	return 0;
}