队爷的 Au Plan（dp+单调队列）

队爷的 Au Plan
【问题描述】
队爷为了变得越来越神，他给自己制定了 n 个任务，编号为 1，
2，…,n。队爷在完成这些任务之前有一个初始兴奋值 m，每个任务
都有一个难度值 hard[i],且对于任何 i>j，有 hard[i]>hard[j]，队爷
完成第 i 个任务，兴奋值至少会减少 hard[i]，第 i 任务完成之后，队
爷会受到鼓舞，兴奋值又会增加 s[i]，每个任务只完成一次。队爷可
以一次完成所有剩余的难度值不超过现有兴奋度的任务， 这样只会消
耗那个最大的难度值。现在队爷想知道完成这 n 个任务之后，他的最
大兴奋值为多少。
【输入文件】
第一行 2 个整数 n，m，如题意。
第二行 n 个整数，第 i 个为 hard[i]。
第三行 n 个整数，第 i 个为 s[i]。
【输出文件】
一个整数，为完成这 n 个任务之后的最大兴奋值。Orz CC 杯 NOIP 模拟赛
5
【输入样例】
5 5
2 4 5 7 9
4 4 3 6 5
【输出样例】
14
【样例解释】
第一次完成前 2 个任务，兴奋值为 9；
第二次完成后 3 个任务，兴奋值为 14。
【数据规模与约定】
对于 30%的数据，1<=n<=2000
对于另外 20%的数据，所有的 s[i]之和小于 200000；
对于 100%的数据，1<=n<=200000，数据保证所有任务都能完成。

100分算法：对于i状态，考虑j，k两个决策，i>k>j且f[j]>hard[i]&&f[k]>hard[i]。若j，k不为前面同一个决策转移得到，则k的决策层数显然会更大，即额外消耗更多，所以j优于k；若j，k为前面同一个决策l转移得到：
f[j]=f[l]-sum[l]+sum[j]-hard[j],f[k]=f[l]-sum[l]+sum[k]-hard[k],
f[j]-f[k]=sum[j]-sum[k]+hard[k]-hard[j],
f[j]-sum[j]-(f[k]-sum[k])=hard[k]-hard[j],
即f[j]-sum[j]> f[k]-sum[k],所以j决策优于k决策，
所以对于每一个状态i，最小的能够转移到i的决策总是最优的，这样只需要用单调队列维护决策即可（其实一个指针就OK了），时间复杂度为O(n)。

program df;
var i,j,n,m,y,z,k,t:longint;
x:int64;
a,b,c,f,min:array[0..300000] of longint;
s:array[0..300000] of int64;

begin
assign(input,’plan.in’);
reset(input);
assign(output,’plan.out’);
rewrite(output);
readln(n,m);
for i:=1 to n do
read(a[i]);
readln;
for i:=1 to n do
read(b[i]);
for i:=1 to n do
s[i]:=s[i-1]+b[i];
f[0]:=m; k:=1;
while m>a[k] do
begin
min[k]:=0;
inc(k);
end;

for i:=1 to n do
begin
f[i]:=f[min[i]]+s[i]-s[min[i]]-a[i];
while (f[i]>=a[k]) and (k<=n) do
begin
min[k]:=i;
inc(k);
end;
end;
writeln(f[n]);
close(input);
close(output);
end.

转载于:https://www.cnblogs.com/Gxyhqzt/p/7784244.html