单调栈以及单调队列

栈就是后进先出的数据结构，而所谓单调栈就是栈内元素单调递增或者单调递减的栈。

单调栈具有以下性质：

1.单调栈内元素具有单调性

2.元素加入栈前，会在栈顶端把破坏栈单调性的元素都删除

3.使用单调栈可以找到元素向左遍历的第一个比他小的元素，也可以找到元素向左遍历第一个比他大的元素

单调栈的最重要的就是第三个性质，我们来论证下：

1.当单调栈中的元素是单调递增的时候，可以得出：

（1）当a>b时，将元素a入栈

（2）当a<b时，将从当前栈顶位置向前查找（边查找，边栈顶元素出栈），直到找到第一个比a小的数，停止查找，将元素a入栈

2.但单调栈中的元素是单调递减的时候，可以得出：

（1）当a<b时，将元素a入栈

（2）当a>b时，将从当前栈顶位置向前查找（边查找，边栈顶元素出栈），直到找到第一个比a大的数，停止查找，将元素a入栈

例如有以下数列入栈

5，4，2，3，6，1

5入栈    栈：5

4比5小，4入栈    栈：4，5

2比4小，2入栈    栈：2，4，5

3比2大，2出栈，3比4小，3入栈    栈：3，4，5

6比3大，3出栈，6比4大，4出栈，6比5大，5出栈，6入栈    栈：6

1比6小，1入栈    栈：1，6

最后栈的结构是：1，6

栈顶为1

练习题：POJ 2796  POJ 2559  POJ 3250

单调队列就是其元素是单调递增或单调递减的队列，它可以在队首或队尾删除元素，但是只能在队尾插入元素。由于每个元素入队和出队一次，所以维护队列的均摊时间复杂度为O（1）。

例如以下数列为例：

给一个数组a[]，求它连续m个元素中的最小值和最大值。比如输入：

8 3
1 3 -1 -3 5 3 6 7

我们用一个数组q[]来记录这个单调队列所有元素的下标，h为队首，t为队尾。那么现在就来模拟样例：

首先h初始化为1，t初始化为0。

（1）插入第一个元素       q[] = {1},h = 1,t = 1    队列中的元素个数小于3，不输出。

（2）插入第二个元素       q[] = {1,2},h = 1,t = 2  队列中的元素个数小于3，不输出。

（3）插入第三个元素       q[] = {3},h = 1,t = 1    因为3号元素比1和2号元素都小，所以一直挤到最

                       前面，1号和2号元素出队，此时队列中的元素个数等于3，输出队首元素值。

（4）插入第四个元素       q[] = {4},h = 1,t = 1    同样的道理，3号元素出队，输出队首元素值。

（5）插入第五个元素       q[] = {4,5},h = 1,t = 2  输出队首元素。

（6）插入第六个元素       q[] = {4,6},h = 1,t = 2  输出队首元素。

（7）插入第七个元素       q[] = {6,7},h = 2,t = 3  输出队首元素。

（8）插入第八个元素       q[] = {6,7,8},h = 2,t = 4 输出队首元素。

练习题：POJ 2823 POJ 3017 POJ 3926