牛客 Best Cow Fences 题解 （二分/前缀和）

原题地址
解题思路：
①二分在本题中的运用是不断减小答案的范围，考虑到平均数是double类型，需要用实数的二分
②需要找到一段长度不小于L的序列的平均数x，则需要这段序列的每个数减去x之后（b[]中介数组）相加（pre[]前缀和数组）等于0，如果前缀和数组左右相减（见③）的结果大于0,表明x还可以增大，如果小于0，表明x过大，应该减小
③前缀和数组相减时，采用的策略是从最左端的长度为L的数组开始枚举序列的右端，每次枚举筛选这段序列最左端的前缀和值，记录枚举过的所有序列的的左端前缀和值的最小值，右端的前缀和值固定的情况下，序列的左端前缀和值越小，右端减左端就会尽可能大，大于0 就表明x还可以更大，x越大，则结果越大，枚举之后产生最大的x。

不得不说，想出这个解题方法的大哥真是666

#include<iostream>

using namespace std;

const int N = 1e5 + 10;

double a[N], b[N], pre[N];//a[]储存原数组，b[]储存中介数组，pre[]储存前缀和数组 
int n, L;
double lef = -1e6, rig = 1e6, dl = 1e-5;//lef和rig分别为二分寻找答案的左右边界，他们需要开足够大，dl是控制输出精度（一般是输出的后两位小数） 

bool check(double x){
	double min_lef = 1e10;//初始化答案L序列的最左端的值 
	for(int i = 1; i <= n; i ++ ){
		b[i] = a[i] - x;//利用中介数组储存原数组减去x后的值 
	}
	for(int i = 1; i <= n; i ++ ){
		pre[i] = pre[i - 1] + b[i];//利用前缀和数组储存所有元素减去x后的值 
	}
	for(int r = L; r <= n; r ++ ){//从坐左边长度为L的序列开始枚举 
		min_lef = min(min_lef, pre[r - L]);//记录枚举过的序列的最左端的最小值 
		if(pre[r] - min_lef >= 0) return true;//如果本次枚举的序列最右端前缀和的值减去最左端前缀和的值大于0，代表x还应增大 
	}
	return false;//如果枚举完所有连续序列，发现最右端前缀和的值减去最左端前缀和的最小值一直小于0，代表x应该减小 
}
int main()
{
	cin.tie(0);
	cout.tie(0);
	ios::sync_with_stdio(false);
	cin>>n>>L;
	for(int i = 1; i <= n; i ++ ){
		cin>>a[i];
	}
	while(rig - lef > dl){
		double mid = (rig + lef) / 2;
		if(check(mid) == true) lef = mid;//左边界右移，增大mid的值 
		else rig = mid;//右边界左移，减小mid的值 
	}
	cout<<(int)(rig*1000)<<endl;
	return 0; 
}