codeforces 939E. Maximize!（二分答案）

最新推荐文章于 2021-02-19 22:41:14 发布

SC.ldxcaicai

最新推荐文章于 2021-02-19 22:41:14 发布

阅读量191

点赞数 1

分类专栏： # 二分答案文章标签：二分答案

本文链接：https://blog.csdn.net/dreaming__ldx/article/details/84899621

版权

二分答案专栏收录该内容

27 篇文章 0 订阅

订阅专栏

本文介绍了一道Codeforces上的939E问题，该问题要求在单增数列中动态添加元素并查询子数列的最大值减平均值的最大值。作者指出，虽然有些解决方案使用三分法，但可以通过二分答案来解决。具体策略是找到加入最后一个数前的最大值和以最后一个数为最大值的值，然后构建新数组并证明其单调性，从而二分搜索最接近0的项。

摘要由CSDN通过智能技术生成

传送门
二分答案好题。
题意简述：要求支持动态在一个数列队尾加入一个新的数（保证数列单增），查询所有子数列的最大值减平均值的最大值。

然而网上一堆高人是用三分做的。
我们先考虑当前的答案有可能由什么构成。

加入最后一个数之前的最大值。
加入最后一个数之后，以最后一个数为最大值的值。

于是问题变成了去求 $min\{\frac{(\sum_{j=1}^ia_i)+a_n}{i+1}\}$
然后令 $b_i=\frac{(\sum_{j=1}^ia_i)+a_n}{i+1}，c_i=b_i-b_{i-1}$ ，可以用作差法证明 $c$ 数组单调，于是二分出 $c$ 最接近0的项就行了。
代码：

#include<bits/stdc++.h>
#define ri register int
using namespace std;
const int N=5e5+5;
inline int read(){
	int ans=0;
	char ch=getchar();
	while(!isdigit(ch))ch=getchar();
	while(isdigit(ch))ans=(ans<<3)+(ans<<1)+(ch^48),ch=getchar();
	return ans;
}
typedef long long ll;
ll sum[N],a[N];
int tot=0;
double Ans=0;
inline void modify(){
	int l=1,r=tot-1,ans=1;
	while(l<=r){
		int mid=l+r>>1;
		ll fi=a[tot]-a[mid]*mid+sum[mid-1];
		if(fi<=0)r=mid-1;
		else l=mid+1,ans=mid;
	}
	Ans=max(Ans,a[tot]-1.0*(sum[ans]+a[tot])/(ans+1));
}
int main(){
	freopen("lx.in","r",stdin);
	for(ri op,tt=read();tt;--tt){
		op=read();
		if(op==1){
			a[++tot]=read(),sum[tot]=a[tot]+sum[tot-1];
			modify();
		}
		else printf("%.10lf\n",Ans);
	}
	return 0;
}