单调队列优化DP（超详细！！！）

一、概念

1、单调队列定义： 　　

其实单调队列就是一种队列内的元素有单调性（单调递增或者单调递减）的队列，答案（也就是最优解）就存在队首，而队尾则是最后进队的元素。因为其单调性所以经常会被用来维护区间最值或者降低DP的维数已达到降维来减少空间及时间的目的。

单调队列的一般应用： 　　　　

1. 维护区间最值 　　　　
2. 优化DP

【例一】求m区间内的最小值（洛谷 P1440）

题目描述

一个含有n项的数列(n<=2000000)，求出每一项前的m个数到它这个区间内的最小值。若前面的数不足m项则从第1个数开始，若前面没有数则输出0。

输入格式

第一行两个数n，m。 第二行，n个正整数，为所给定的数列。

输出格式

n行，第i行的一个数ai，为所求序列中第i个数前m个数的最小值。

输入

6 2

7 8 1 4 3 2

输出

0 7 7 1 1 3

---

思路：

1、暴力枚举以i-1为结尾的前m个数。时间O(n*m)，T T T.

2、rmq求解O(nlog n) 貌似会T

3、线段树求解 O(nlog n) 当n=1e7时也超时，空间，代码量大 需要更优的O(n)的解法处理。

4、单调队列来了 因为每一个答案只与当前下标的前m个有关，所以可以用单调队列维护前m个的最小值， 　　

考虑如何实现该维护的过程？？ 　　

显然当前下标X的m个以前的元素（即下标小于X-M+1的元素）肯定对答案没有贡献，所以可以将其从单调队列中删除。 　　

对于两个元素A，B，下标分别为a,b，如果有A>=B&&a<b那么B留在队列里肯定优于A，因此可以将A删除。 　　

维护队首：如果队首已经是当前元素的m个之前，将head++，弹出队首元素 　　

维护队尾：比较q[tail]与当前元素的大小，若当前元素更优tail--，弹出队尾元素，直到可以满足队列单调性后加入当前元素。 　　

考虑单调队列的时间复杂度：由于每一个元素只会进队和出队一次，所以为O（N）。 　　

一般建议用数组模拟单调队列进行操作，而不用系统自带的容器，因为系统自带容器不易调试且可能有爆空间的危险。

---

【 例 2】修剪草坪（信息学奥赛一本通 1599）

【题目描述】

在一年前赢得了小镇的最佳草坪比赛后，FJ 变得很懒，再也没有修剪过草坪。现在，新一轮的最佳草坪比赛又开始了，FJ 希望能够再次夺冠。 然而，FJ 的草坪非常脏乱，因此，FJ 只能够让他的奶牛来完成这项工作。FJ 有 N 只排成一排的奶牛，编号为 1 到 N。每只奶牛的效率是不同的，奶牛 i的效率为 Ei 。 靠近的奶牛们很熟悉，如果 FJ 安排超过 K 只连续的奶牛，那么这些奶牛就会罢工去开派对。因此，现在 FJ 需要你的帮助，计算 FJ 可以得到的最大效率，并且该方案中没有连续的超过 K 只奶牛。

【输入】

第一行：空格隔开的两个整数 N和 K； 第二到 N+1 行：第 i+1 行有一个整数 Ei 。

【输出】

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

【输入样例】

5 2

1

2

3

4

5

【输出样例】

12

---

sol：

用S[i]表示前缀和

考虑dp[i][0,1]表示到第i个牛（是否工作）的最大效率和

dp[i][0]=max(dp[i-1][0],dp[i-1][1])

dp[i][1]=max(dp[x][0]-S[x]+S[i]);(i-m≤x<i)

dp[i][1]可以用单调队列优化，维护队首为dp[i][0]-S[i]最大的单调队列