[CodeVs 4373] 窗口 ——单调队列

CodeVs 4373

以这道题来了解单调队列

首先，在我们暴力的时候，会发现很多在前一步的时候已经比较过了，找窗长为m第i个位置时，则实际上前m-1到m个已经在第i-1个位置上比较过了

因此采用单调队列

即把前面所找到的最大值记录下来，并用队列存储。

当往后面找的时候便与队列里的数比较，若大于等于最后一个数，肯定这最后一个数不是最大值，便tail--使队尾出队，并不断这样操作直到小于队尾。[需注意过度出队的情况必须head<=tail

然后再将这个数入队

然后再判断队首是不是在窗的范围内，如果不在则head++队首出队

那么当前队列里的头便是这个数位上的最值

过程模拟[找最大值]:

1. 窗长m=3, 下面(i,k)中i是值, k是下标
2. 1, 3, -1, -3,-7 5, 5
3. (1,1) //操作1， 1入队
4. (1,1)    (3,2) //操作3， 发现大于1，则队尾冗杂元素(1,1)出队，3入队
5. (3,2)   (-1,3) //操作-1，比队尾小，直接入队此时，第一个窗口(1-->3)的最大值为队首 3
6. (3,2)   (-1,3)     (-3,4) //操作-3，-3入队此时，第二个窗口(2-->4)的最大值为队首 3
7. (3,2)   (-1,3)     (-3,4)     (-7,5) //操作-7，-7入队，发现队首的 2 (top)小于3 (i-m+1)的，head++，队首出队此时，第四个窗口(3-->5)的最大值为队首 -1
8. (-1,3)  (3,4)      (-7,5)     (5,6) //操作5，5入队，发现大于队尾的 -7，则队尾冗杂元素(-7,5)出队，然后又大于队尾的的-3，继续队尾出队，又大于-1，队尾出队，队列空，5入队此时，第五个窗口(4-->6)的最大值为队首 5
9. (5,6)   (5,7) //操作5，发现大于等于队尾的 5，则队尾出队，队列空，5入队【想想为什么这个5要出队】【保留后面的比保留前面的有用，不然可能超出窗口】此时，第六个窗口(5-->7)的最大值为队首5
   

根据上面的过程，发现这个单调队列里，始终成单调递减的，因此单调队列得名于此

所以整体的操作过程：

1.  判断是否大于等于队尾，如大于出队，然后一直到队列为空或小于队尾，然后入队
2. 维护队首，如果在窗口范围外，队首出队

Code:

#include<bits/stdc++.h>
using namespace std;
struct Node{
	int Value,Top;
}Line[1000005];
int Line_N[1000005],Get[1000005],Num,Length;
inline int Read()
{
	char t=getchar();
	int num=0,f=1;
	while (t<'0' || t>'9') f=t=='-'?-1:1,t=getchar();
	while (t>='0' && t<='9') num=num*10+t-'0',t=getchar();
	return num*f;
}
void Push(int Top, int Num, int Tail)
{
	Line[Tail].Top=Top;
	Line[Tail].Value=Num;  
}
//寻找最小值
void Find_Min()
{
	int Head=1,Tail=0;
	for (int i=1; i<Length; i++)			//这里前m-1个先直接进入队列，因为不用记录前m-1个的最值，只有第m个才能找出最值，【假如窗长3，相当于第3个找第1个到第3个内的，第4个找第2个到第4个内的，所以把前2个push进队，从第三个开始找
	{
		while (Head <= Tail && Line_N[i] <= Line[Tail].Value) Tail--;		//维护序列单调，如入队的数小于尾，破坏了单调递增，tail--把尾pop出去，直到大于等于队尾呈递增或者队列空 
		Push(i,Line_N[i],++Tail);											//然后入队
	}
	for (int i=Length; i<=Num; i++)
	{
		while (Head <= Tail && Line_N[i] <= Line[Tail].Value) Tail--;
		Push(i,Line_N[i],++Tail);											//同上道理，首先，要维护单调性，然后push 
		if (Line[Head].Top < i-Length+1) Head++;							//判断出窗没有 
        /*
		这里，i-m+1是代表找到第i个时，最大能找到前面的第i-m+1个
		如窗长m=3,i到6时，则应该找4,5,6内的
		而当v[head]的下标小于此，则不在窗内，所以pop
		
		而为什么不保持v队列最多只有三个数这样来弄呢
		因为v中可能存不在窗内的数
		e.g. m=3, Line=(8,1) (7,2) (4,3)
		push(5,4) 则Line=(8,1) (7,2) (5,4)
		而此时，(8,1)跟要找的(5,4)不在一个窗内
		而用以上方法,1<2(i-m+1),head++即pop了head  
		*/
		Get[i-Length+1]=Line[Head].Value;									//这个时候第i个窗的最值为队首 
	}
}
//寻找最大值
//最大值跟最小值只是小于等于改为大于等于而已
//因此求最大值维护的是递减队列，求最小值维护的是递增队列 
void Find_Max()
{
	int Head=1,Tail=0;
	for (int i=1; i<Length; i++)
	{
		while (Head <= Tail && Line_N[i] >= Line[Tail].Value) Tail--;
		Push(i,Line_N[i],++Tail);
	}
	for (int i=Length; i<=Num; i++)
	{
		while (Head <= Tail && Line_N[i] >= Line[Tail].Value) Tail--;
		Push(i,Line_N[i],++Tail);
		if (Line[Head].Top < i-Length+1) Head++;
		Get[i-Length+1]=Line[Head].Value;
	}
}

int main()
{
	Num=Read(),Length=Read();
	for (int i=1; i<=Num; i++) Line_N[i]=Read();
	Find_Min();
	for (int i=1; i<=Num-Length+1; i++) cout << Get[i] << " ";
	cout << endl;
	Find_Max();
	for (int i=1; i<=Num-Length+1; i++) cout << Get[i] << " ";
}

如需要更多理解【up主语言能力极差而且写的为个人向】可以查看CABI_ZGX 的这篇博文……