Description
在幻想乡,琪露诺是以笨蛋闻名的冰之妖精。某一天,琪露诺又在玩速冻青蛙,就是用冰把青蛙瞬间冻起来。但是这只青蛙比以往的要聪明许多,在琪露诺来之前就已经跑到了河的对岸。于是琪露诺决定到河岸去追青蛙。小河可以看作一列格子依次编号为0到N,琪露诺只能从编号小的格子移动到编号大的格子。而且琪露诺按照一种特殊的方式进行移动,当她在格子i时,她只会移动到i+L到i+R中的一格。你问为什么她这么移动,这还不简单,因为她是笨蛋啊。每一个格子都有一个冰冻指数A[i],编号为0的格子冰冻指数为0。当琪露诺停留在那一格时就可以得到那一格的冰冻指数A[i]。琪露诺希望能够在到达对岸时,获取最大的冰冻指数,这样她才能狠狠地教训那只青蛙。但是由于她实在是太笨了,所以她决定拜托你帮它决定怎样前进。开始时,琪露诺在编号0的格子上,只要她下一步的位置编号大于N就算到达对岸。
Input
第1行:3个正整数N, L, R
第2行:N+1个整数,第i个数表示编号为i-1的格子的冰冻指数A[i-1]
Output
第1行:一个整数,表示最大冰冻指数。保证不超过2^31-1
Sample Input
5 2 3
0 12 3 11 7 -2
Sample Output
11
Hint
对于60%的数据:N <= 10,000
对于100%的数据:N <= 200,000
对于所有数据 -1,000 <= A[i] <= 1,000且1 <= L <= R <= N
Source
来自Nettle“东方幻想乡”系列模拟赛
【分析】
明显是动态规划。
明显如果前面有一个点x,那么它能到的范围就是[x+L,x+R]。如果i在x能到达的范围内,那么x的条件就是[i-R,i-L]。
我们得到动规方程:f[i]=max{f[k]}+1;(i-R<=k&&k<=i-L)
明显直接裸的动规时间复杂度为O(N^2)。所以我们有两种方法优化:
1.线段树。(每次取得[i-R,i-L]的最值即可)。
2.单调队列。(保持队列单调递减,每次O(1)取出最大值)。
【代码】
/*
单调队列优化的动态规划
*/
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<ctime>
#include<iostream>
#include<algorithm>
using namespace std;
const int INF=999999999;
int N,L,R;
int a[200005],Q[200005],Qr[200005],f[200005];
//f为动态规划的状态数组
//Q为单调队列,记录f值
//Qr为单调队列的另一个域,记录f值的坐标,便于删除
void _in(int &x,bool mark=false)
{
char t;
for(;t=getchar(),t<'0'||'9'<t;) if(t=='-') mark=1;
for(x=t-'0',t=getchar();'0'<=t&&t<='9';x=x*10+t-'0',t=getchar());
x=mark?-x:x;
}
void _init()
{
_in(N);_in(L);_in(R);
for(int i=0;i<=N;i++)
_in(a[i]);
}
void _solve()
{
int head=1,tail=2;
Q[1]=0;Qr[1]=0;
for(int i=L,j=L;i<=N;i++)
{
while(Qr[head]<i-R&&head<tail) head++;
//删除单调队列中的点
while(j<=i-L)
//如果j满足条件,放入j
{
while(Q[tail-1]<=f[j]&&tail>head) tail--;
//保持队列单调递减
Q[tail]=f[j];
Qr[tail]=j;
tail++;
j++;
}
f[i]=Q[head]+a[i];
}
int ans=-INF;
for(int i=N+1-R;i<=N;i++)
ans=max(f[i],ans);
//取得答案
printf("%d\n",ans);
}
int main()
{
_init();
_solve();
return 0;
}