单调队列是指在任意时刻，队列中的元素都是单调的（递增或递减），同时他又具有双端队列的部分性质（允许从队尾删除元素）。
在这里，有一道经典的例题：滑动窗口求最值
题目描述：在一个长度为n的整数序列上有一个长度为k的滑动窗口，求滑动窗口内的最（大/小）值。
解释：就是在一个序列上对于每个长度为k的区间，求区间内的最值。
分析：一种朴素的做法是，枚举区间起点，再自此向后比较k个元素，找出最值，这样的复杂度是O(nk)的。
还有一种不错的做法是利用单调队列。不妨假设我们已经得到了一个单调队列，他维护了当前的滑动窗口，显然，
队首元素就是窗口内的最值。现在再来考虑如何用单调队列维护滑动窗口（以最大值为例，队列则为单调递减的，队首元素为窗口内的最大值）：
我们遍历序列的每个元素，当队列为空时，肯定要加入队列；队列不为空，就要先从队尾弹出较小的元素，再加入，保证队列单调（这里有一个有趣的类比，如果一位OIer比你年轻还比你强，那你就没法超越他了）；但滑动窗口是有长度限制的，怎么考虑呢？我们可以保存每个元素的序号，当发现队首元素的序号与当前考虑元素相比，已经出了滑动窗口，就弹出队首元素。
因为每个元素都只会进入队列一次且只会离开队列一次，可以认为时间复杂度是O(n)的。
1 #include <cstdio> 2 #include <iostream> 3 #include <deque> 4 5 using namespace std; 6 7 struct num { //定义结构体存储元素的序号及值 8 int id, value; 9 10 num(int i, int v) : id(i), value(v) {} 11 }; 12 13 int n, k, a[10005], first = 1; 14 15 deque<num> dq; 16 17 int main() { 18 cin >> n >> k; 19 for(int i = 1; i <= n; ++i) { 20 scanf("%d", &a[i]); 21 if (dq.empty()) dq.push_back(num(i, a[i])); 22 //若队列为空，则直接进入队列 23 else { 24 num f = dq.front(); //取队首元素 25 if (i > f.id + k - 1) dq.pop_front(); 26 //若队首元素的序号距当前元素太远（超出窗口长度）则弹出队首元素 27 num b = dq.back(); //取队尾元素 28 while (b.value < a[i]) { //若队尾元素小于当前元素则弹出队尾 29 dq.pop_back(); 30 if (dq.empty()) break; //注意！队列为空则不能继续弹出 31 b = dq.back(); 32 } 33 dq.push_back(num(i, a[i])); //将当前元素放入队列中合适位置 34 } 35 if (i >= k) { //当考虑的元素个数达到窗口长度时，开始输出 36 if (first) first = 0; 37 else printf(" "); 38 num f = dq.front(); 39 printf("第%d个滑动窗口的最大值为%d", i-k+1, f.value); 40 } //事实上，对于长度为n的序列，长度为k的窗口，共有n-k+1个不同的窗口 41 } 42 return 0; 43 }