二分转判定的思想

二分转判定

  对于某些具有特殊性质的最值问题来说，我们可以将其由搜索求解转化为二分判断的问题，因为通常而言搜索的时间复杂度是大于判定问题的。
  可以通过二分转为判定问题的问题来说，它的解空间必须具有这样一个性质，也即最优解一侧所有的点都满足条件，而最优值的另外一侧都不满足条件，而这时候我们其实就是寻找分割满足条件的解和不满足条件的解的那个点；类似的问题还有寻找k次操作的最优解的问题，这种二分则是通过二分可能的惩罚来选出前k大的值，在验证阶段只需要统计可以增大最终结果的操作次数不超过k的情况即可，在这种描述下，其实与上面分割满足条件的解和不满足条件的解的那个点的意义是一致的。

例题

  将n个石子分成m堆，求解这m堆石子中最重的一堆的质量的最小值。

code

#include<bits/stdc++.h>
using namespace std;

int n,k;
int main(){
	//二分转判定；
	//对于一个求解最优值的问题来说，我们可以通过对值域二分反推解是否合理；
	//要使用这种方法需要问题的解具有一种特殊的单调性，也即在最优值左边都不成立，最优解右边都成立；
	//或者相反。
	srand((unsigned int)time(NULL));
	cin>>n>>k;
	int arr[n];
	for(int i=0;i<n;i++){
		arr[i]=rand()%100+1;
		cout<<arr[i]<<" ";
	} 
	cout<<endl;
	int l=0;
	int r=10000;
	for(;l<=r;){
		int m=(l+r)/2;
		int count=1;
		int sum=0;
		for(int i=0;i<n;i++){
			if(sum+arr[i]<=m){
				sum+=arr[i];
			}else{
				sum=arr[i];
				count++;
			}
		}
		if(count<=k)r=m-1;
		else l=m+1;
	}
	cout<<l<<endl;
	return l;
}