单调队列优化DP能到什么程度（今天中午进行的实验记录）

想了一早上单调队列优化DP，总觉得不能优化到哪里去，又从来没有做过这种需要用单调队列优化的DP，于是自己用手模拟了一下实现过程，瞬间就明白了单调队列优化DP，这个DP的转移方程应该具有的性质。

单调队列很好理解，就是一个双向队列，队首队尾允许删除操作，队尾进行添加操作，维护整个队列的严格单调性，即队列中不存在相等的元素（这样时间常数小一点）。

那么用单调队列优化的DP应该具有怎样的性质呢？

假如我们有下面的DP转移方程：

    f[i] = min( f[j] ) + a[i]

那么当 j 满足一个条件： Low[i] <= j <= Up[i] ，这里的 Low 和 Up 是关于 i 的单调函数，而且是单调递增的，为什么呢？联系经典的单调队列入门题： Sliding Window 想想就清楚了： 当我用下一个 Low[i] 的时候，Low[i] 必须大于等于 Low[i-1] ，因为队首涉及到了要出队列的操作，而队尾的元素上界： Up 也是必须具有单调递增的性质，因为再用队尾的元素的时候，涉及到添加元素的操作。如果还是不很明白，那么联系 Sliding Window 仔细想想这个单调队列删除插