单调队列是一种决策优化,顾名思义,这个队列中的元素是单增的。
我们直接以题目为例子
栗子:滑动窗口
Description
给你一个长度为N的数组,一个长为K的滑动的窗体从最左移至最右端,你只能见到窗口的K个数,每次窗体向右移动一位。
你的任务是找出窗体在各位置时的最大值和最小值。
Input
第1行:2个整数N,K(K<=N<=1000000)
第2行:N个整数,表示数组的N个元素(<=2*10^9)
Output
第1行:滑动窗口从左向右移动每个位置的最小值,每个数之间用一个空格分开
第2行:滑动窗口从左向右移动每个位置的最大值,每个数之间用一个空格分开
Sample Input
8 3
1 3 -1 -3 5 3 6 7
Sample Output
-1 -3 -3 -3 3 3
3 3 5 5 6 7
很裸的一道单调队列,让我们维护范围内的一个最值
简要描述一下最小值的操作过程:
1、队尾为空,1进队(1)
2、3>1,证明当前最值还是1,3进队候选(范围限制1可能被排除)(1 3)
3、-1>3,-1比3后出现,对之后的决策肯定轮不到3,3出队,同理1出队,-1进队(-1)
4、同3,-1出队,-3进队(-3)
5、同2,5进队(-3 5)
6、同3,5出队,3进队(-3 3)
7、这时最小值为-3在4位置,然而超过了范围限制,我们要将队首移动到范围限制的最低位,队首在6,值为3
……不知道大家体会到这个意思没有,后来的元素比先前的元素更优,那么一定用不到先前的元素,因此我们维护的队列实质上是一个最优性降低的队列。
#include<bits/stdc++.h>
using namespace std;
#define Inc(i,L,r) for(register int i=(L);i<=(r);++i)
const int N = 1e6+10;
int n,k,a[N],q[N],head,tail;
void GetMin(){
head=1,tail=0;
memset(q,0,sizeof(q));
Inc(i,1,k-1){
while(head<=tail&&a[i]<a[q[tail]])tail--;//维护单增性质
q[++tail]=i;
}
Inc(i,k,n){
while(i-q[head]+1>k)head++;//维护范围限制
while(head<=tail&&a[i]<a[q[tail]])tail--;//维护单增性质
q[++tail]=i;
cout<<a[q[head]]<<" ";
}
}
void GetMax(){
head=1,tail=0;
memset(q,0,sizeof(q));
Inc(i,1,k-1){
while(head<=tail&&a[i]>a[q[tail]])tail--;
q[++tail]=i;
}
Inc(i,k,n){
while(i-q[head]+1>k)head++;
while(head<=tail&&a[i]>a[q[tail]])tail--;
q[++tail]=i;
cout<<a[q[head]]<<" ";
}
}
int main(){
scanf("%d%d",&n,&k);
Inc(i,1,n)scanf("%d",&a[i]);
GetMin();
cout<<"\n";
GetMax();
return 0;
}