[HDU2993]MAX Average Problem

题面描述

传送门

思路

状态转移方程

$$F_i=\max (F_j,\frac{su{m}_i-su{m}_j}{i-j})$$

决策单调性

设有$j<k\le i-m$

$$\max (F_k,\frac{su{m}_i-su{m}_k}{i-k})\ge \max (F_j,\frac{su{m}_i-su{m}_j}{i-j})$$

如果

$$\frac{su{m}_i-su{m}_k}{i-k},\frac{su{m}_i-su{m}_j}{i-j}$$

均对答案有贡献，那么

$$\frac{su{m}_i-su{m}_k}{i-k}\ge \frac{su{m}_i-su{m}_j}{i-j}$$

则

$$(su{m}_i-su{m}_k)\ast (i-j)\ge (su{m}_i-su{m}_j)\ast (i-k)$$

对于未来状态$t$，若

$$\frac{su{m}_t-su{m}_k}{t-k},\frac{su{m}_t-su{m}_j}{t-j}$$

仍对答案有贡献，

证明

$$\frac{su{m}_t-su{m}_k}{t-k}\ge \frac{su{m}_t-su{m}_j}{t-j}$$

$$(su{m}_t-su{m}_k)\ast (t-j)\ge (su{m}_t-su{m}_j)\ast (t-k)$$

由$su{m}_k=su{m}_i+val,t-j>t-k$

$$(su{m}_i-su{m}_k)\ast (t-j)\ge (su{m}_i-su{m}_j)\ast (t-k)$$

仅需证明$$val\ast (t-j)\ge val\ast (t-k)$$

由于$val>0$

则成立。

因此$k$永远优于$j$

踢队头

$$calc(k,i)=\frac{su{m}_i-su{m}_k}{i-k}\ge calc(j,i)=\frac{su{m}_i-su{m}_j}{i-j}$$

因此，根据上文

当$calc(k,i)\ge calc(j,i)$时，$k$优于$j$

当$calc(q_{head+1},i)\ge calc(q_{head},i)$时，$q_{head+1}$优于$q_{head}$

因此观出，$calc(q_{head},i)$随$head$增大而减小，维护一个上凸壳。

踢队尾

$$calc(i-m,q_{tail-1})\le calc(q_{tail},q_{tail-1})$$

即可。

AC code

#include<cstdio>
#include<cstring>
#include<cmath>
#include<cstdlib>
#include<algorithm>
using namespace std;
const int N=1e5+10;
const int size=1<<20;
inline char gc()
{
	static char buf[size],*p1,*p2;
	return p1==p2&&(p2=(p1=buf)+fread(buf,1,size,stdin),p1==p2)?EOF:*p1++;
}
#define gc gc()
inline void qr(int &x)
{
	x=0;int f=1;char c=gc;if(c==EOF)return;
	while(c<'0'||c>'9'){if(c=='-')f=-1;c=gc;}
	while(c>='0'&&c<='9'){x=x*10+(c^48);c=gc;}x*=f;
}
int s[N];int q[N],l,r;int n,m;
inline double calc(int j,int i)
{
	return (double)(s[i]-s[j])/(i-j);
}
int main()
{
	while(qr(n),n)
	{
		qr(m);
		s[0]=0;
		for(int i=1;i<=n;i++)qr(s[i]),s[i]+=s[i-1];
		l=1;r=0;q[1]=0;double ans=0;
		for(int i=m;i<=n;i++)
		{
			while(l<r&&calc(q[r],q[r-1])>=calc(i-m,q[r-1]))--r;
			q[++r]=i-m;
			while(l<r&&calc(q[l+1],i)>=calc(q[l],i))++l;
			ans=max(ans,calc(q[l],i));
		}
		printf("%.2lf\n",ans);
	}
	return 0; 
}