【learning】 单调队列与单调栈用法详解
1、单调栈
单调栈是指一个栈内部的元素具有严格单调性的一种数据结构,分为单调递增栈和单调递减栈。
其具有以下两个性质:
1,满足栈底到栈顶的元素具有严格单调性。
2,满足栈的先进后出特性,越靠近栈顶的元素越后出栈。
元素进栈过程:
对于一个单调递增栈来说,若当前进栈的元素为a,如果a<栈顶元素,则直接将a进栈。
如果a≥栈顶元素,则不断将栈顶元素出栈,直到满足a<栈顶元素。
模拟一个数列构造一个单调递增栈
进栈元素分别为3,4,2,6,4,5,2,3。
图片所示过程即为进栈过程。
实现单调栈STL栈和手写栈均可。
2,单调队列。
单调队列与单调栈及其相似,把单调栈先进后出的性质改为先进先出既可。
元素进队列的过程对于单调递增队列。
对于一个元素a,如果a>队尾元素,那么直接将a扔进队列,如果a≥队尾元素,则将队尾元素出队列,直到满足 a>队尾元素即可。
实现用STL的双端队列即可(我好像一直都是手写的)
由于双端队列即可以在队头操作,也可以在队尾操作,那么这样的性质就弥补了单调栈只能在一边操作的不足。可以使得其左边也有一定的限制。
3,时间复杂度分析
对于每个元素,其有且仅有一次插入,最多出现一次删除,故其时间复杂度为O(n)。
练习:
给你n个数,让你在这n个数中选出连续的m个数(m≤n),使这m个数的极差最小,若存在多个区间使得极差均最小,输出最靠前的区间。
很显然,$n≤10^4$时暴力明显可做,$n≤10^6$时通过线段树也可做,那如果n去到$10^7$呢?
我们考虑用单调队列维护区间$[i,i+m-1]$的最小值和最大值,以下篇幅以维护最大值举例。
首先,我们把前m个数扔进一个单调递增队列中,在扔进去的同时把这些数所对应的下边也扔进去。显然队头的数字即为区间[1,m]最大的数。
考虑基于[1,m]的数据去更新[2,m+1]的最大值。若第一个数依然存在于队列中(很显然若存在仅可能位于队尾),将这个数删除,然后将第m+1个数插入改单调队列。显然队尾数字即为区间[2,m+1]的最大值。
重复该过程n-m+1次即可,显然时间复杂度为O(n)。