单调队列笔记

维护一个区间使得区间内的所有元素单调不减或不增

一维

例1 求m区间内的最小值

暴力: 扫描每个数前 $M$ 个数字 复杂度$O(MN)$

单调队列: 维护一个双端队列,使得队头一定是最大的(满足要求),队头之后依次递减(作用:如果队头元素不满足要求,则队头之后的那个数一定是满足要求且最优结果)

#include<bits/stdc++.h>
#include<deque>
using namespace std ;
int n , m ;
struct node{
	int num ;
	int time ;
};
deque<node> q ;
signed main(){
	cin >> n >> m ;
	for(int i=1;i<=n;i++){
		int temp ;
		scanf("%d",&temp) ;
		while(!q.empty()&&i-q.front().time>m)
			q.pop_front() ;
		if(!q.empty())
			printf("%d\n",q.front().num) ;
		else
			printf("0\n") ;
		while(!q.empty()&&q.back().num>=temp)
			q.pop_back() ;
		q.push_back({temp,i}) ;
	}
	return 0 ;
}

二维

例1 理想的正方形

暴力: 按照题意进行模拟即可 复杂度 $O(ab{n}^2)$

单调队列: 用两个循环分别使用单调队列维护行、列的最大和最小值

#include<bits/stdc++.h>
#include<deque>
#define int long long
using namespace std ;
int n , m , q , a[1234][1234] , temp1[1234][1234] , temp2[1234][1234] , ans=2e9 ;
struct node{
	int num ;
	int time ;
};
signed main(){
	cin >> n >> m >> q ;
	for(int i=1;i<=n;i++)
		for(int j=1;j<=m;j++)
			scanf("%lld",a[i]+j) ;
	for(int i=1;i<=n;i++){
		deque<node> q1 , q2 ;
		for(int j=1;j<=m;j++){
			while(!q1.empty()&&j-q1.front().time+1>q) q1.pop_front() ;
			while(!q2.empty()&&j-q2.front().time+1>q) q2.pop_front() ;
			while(!q1.empty()&&q1.back().num<=a[i][j]) q1.pop_back() ;
			while(!q2.empty()&&q2.back().num>=a[i][j]) q2.pop_back() ;
			q1.push_back(node{a[i][j],j}) ;
			q2.push_back(node{a[i][j],j}) ;
			if(j>=q) temp1[i][j-q+1] = q1.front().num , temp2[i][j-q+1] = q2.front().num ; 
		}
	}
	for(int j=1;j<=m-q+1;j++){
		deque<node> q1 , q2 ;
		for(int i=1;i<=n;i++){
			while(!q1.empty()&&i-q1.front().time+1>q) q1.pop_front() ;
			while(!q2.empty()&&i-q2.front().time+1>q) q2.pop_front() ;
			while(!q1.empty()&&q1.back().num<=temp1[i][j]) q1.pop_back() ;
			while(!q2.empty()&&q2.back().num>=temp2[i][j]) q2.pop_back() ;
			q1.push_back(node{temp1[i][j],i}) ;
			q2.push_back(node{temp2[i][j],i}) ;
			if(i>=q) ans = min(ans,q1.front().num-q2.front().num) ; 
		}
	}
	cout << ans ;
	return 0 ;
}