bzoj[2442][Usaco2011 Open]修剪草坪（单调队列+dp）

2442: [Usaco2011 Open]修剪草坪

Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 1202 Solved: 614
[Submit][Status][Discuss]

Description

在一年前赢得了小镇的最佳草坪比赛后，FJ变得很懒，再也没有修剪过草坪。现在，
新一轮的最佳草坪比赛又开始了，FJ希望能够再次夺冠。

然而，FJ的草坪非常脏乱，因此，FJ只能够让他的奶牛来完成这项工作。FJ有N
$(1 <= N <= 100,000)$只排成一排的奶牛，编号为1…$N$。每只奶牛的效率是不同的，
奶牛i的效率为$E_i(0 <= E_i <= 1,000,000,000)$。

靠近的奶牛们很熟悉，因此，如果FJ安排超过$K$只连续的奶牛，那么，这些奶牛就会罢工
去开派对:)。因此，现在FJ需要你的帮助，计算FJ可以得到的最大效率，并且该方案中
没有连续的超过$K$只奶牛。

Input

• 第一行：空格隔开的两个整数N和K

• 第二到N+1行：第i+1行有一个整数E_i

Output

• 第一行：一个值，表示FJ可以得到的最大的效率值。

Sample Input

5 2
1
2
3
4
5

输入解释：

FJ有5只奶牛，他们的效率为1，2，3，4，5。他们希望选取效率总和最大的奶牛，但是他不能选取超过2只连续的奶牛

Sample Output

12

FJ可以选择出了第三只以外的其他奶牛，总的效率为1+2+4+5=12。

传送门！！！
$\\$
$\\$
$\\$
$\\$
$\\$
$\\$

解：

虽然这道题很水，但是我还是不会做，-_-

一开始想到的是$f_{i,j}$表示第$i$位且第$i$位连着选了$j$个的最大值。然后找一下$k$的范围。woc，$k$没范围，怕不是状态$n^2$了（虽然转移是O1的）。

然后我们考虑把状态变成一维的，把转移也变成一维的，这样也许能优化。$f_i$表示选了第$i$头牛且第$i$+1头牛不选的最大值。转移为：$f_i=max\{f_j+a_{j+2}+a_{j+3}+...+a_i\}$。这样也是$n^2$的。

诶，等等，这样取最值有没有单调队列的气息咧？我们把式子改一下（$sum(i)$表示$a_i$的前缀和）：

$f_i=sum(i)+max\{f_j−sum(j+1)\}$，$j≥i-k$

突然变成单调队列的裸题了！！！

然而我不是这么做的。大佬告诉我正难则反。我们用f(i)表示不选第i头牛最小损失值。那么$f_i=min\{a_i+f_j\}$。这样单调队列就更明显了。

日常贴代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
struct lxy{
    long long id,x;
};
long long a[100005];
long long f[100005];
long long num;
int n,k,l;
deque <lxy> d;

int main()
{
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++)
      scanf("%lld",&a[i]),num+=a[i];
    lxy p;p.id=0;p.x=0;d.push_back(p);
    for(int i=1;i<=n+1;i++)
    {
        f[i]=a[i]+d.front().x;
        if(i-d.front().id>k) d.pop_front();
        while(!d.empty()&&d.back().x>f[i]) d.pop_back();
        p.x=f[i],p.id=i;
        d.push_back(p);
    }
    printf("%lld",num-f[n+1]);
}

f(i)=sum(i)+max{f(j)−sum(j+1)}