【转载】单调队列和单调栈的应用

感谢原作者分享，原贴 https://endlesslethe.com/monotone-queue-and-stack-tutorial.html

首先，回顾一下单调队列和单调栈的性质

下面的总结，如果没有特别指出是单调队列/单调栈，那么就不区分队列和栈，而且从“头部”到“尾部”数据是严格递减的，请读者自行注意。

1. 具有单调性
2. 容器中的元素个数永远不为空。（因为当添加一个元素时，它要么直接被添加到“尾部”，要么弹出k个比它小的数后再被添加到“尾部”）
3. 对于一个元素i，我们可以知道在它左边区间，第一个比它小的值，也就是Max(v[x]|x<i&&v[x]<v[i])
   在元素添加的过程中，我们会不断弹出比它小的值，最后一个弹出的值，即为所求。如果没有元素被弹出，那就无法求出，虽然这个数一定存在。
   顺便在这里多提一句，第二个比它小的数是一定不知道的，因为不确定是否被弹出
4. 对于一个元素i，我们可以知道在它左边区间，第一个比它大的值，也就是Min(v[x]|x<i&&v[x]>v[i])
   在弹出比i小的所有元素后，栈顶的元素即为所求。如果栈为空，也无法求出。
5. 根据2和3，它们是元素插入时所获得的信息，我们可以推出当元素被弹出时能获得的信息：在右边区间，第一个比它大的值。
6. 我们可以统计在添加元素过程中，弹出了多少个元素。

注：这里的大于和小于并不严谨，是为了表述尽量简单。请读者自己注意大于/大于等于，小于/小于等于。根据原则：容器中等于e的元素也会被弹出，进行判断即可。

单调队列和单调栈的应用

单调队列

• 可以查询区间最值（不能维护区间k大，因为队列中很有可能没有k个元素）
• 优化DP（见参考文献3）
  单调队列一般是用于优化动态规划方面问题的一种特殊数据结构，且多数情况是与定长连续子区间问题相关联。

单调栈即可完成的

对于某个元素i：

• 左边区间第一个比它小的数，第一个比它大的数
• 确定这个元素是否是区间最值
• 右边区间第一个大于它的值
• 到 右边区间第一个大于它的值 的距离
• 确定以该元素为最值的最长区间

在具体题目里，如何使用单调栈和单调队列是一目了然的，不要强迫自己记忆，而是要理解
要想掌握好单调栈和单调队列，必须要做一些题

具体代码

单调队列

//在“尾部”添加元素x
while (l != r && mq[r] <= x) r--;
mq[++r] = x;

//查询队首元素
if (l != r) printf("%d\n", mq[l+1]);
else printf("-1\n");

//弹出队首元素
if (l != r) l++;

单调栈

//在“尾部”添加元素
while (r != 0 || ms[r] <= x) r--;
ms[++r] = x;

//查询栈顶元素
if (r != 0) printf("%d\n", ms[r]);
else printf("-1");

注：在前面的情况，我们是直接压入了元素e。但我们往往选择压入元素e的index（依据题型来决定），需要稍作修改，这里不提供对应代码。

题目总结

• FZU 1894
  1.C name rp 名字为name人品为rp的人排到队尾
  2.G 队首的人出队
  3.Q 询问当前队列中rp最高的
  实现这三个操作。模板题。
  AC代码
• POJ 2796
  最大化(区间min * 区间和)
  使用单调栈，从某一元素i向左右区间延伸，找到最大区间。
  AC代码
• HDU 5033
  模板题
• FJSDFZOJ 1308 音乐会的等待/诺诺的队列
  对于l和r，如果[l, r]内没有大于min(l,r)的数，则这两个数可以互相看见。
  求能互相看见的对数
  标程对题意的理解比较奇怪。
  AC代码

参考文献

I. 单调队列 单调栈总结
II. 单调栈的介绍以及一些基本性质
III. 单调队列，单调栈总结
IV. 单调队列或单调栈的学习及认识