在解一个区间的最值问题时,我们可以用到单调队列。
单调队列维护的是区间最值。
1.最大值的维护:
比如我们要维护一个区间为k的最大值的单调队列,由于新插入
的节点他的“生命力”肯定比原先已经在队列中的元素“活”的时间长,将插入元素不断与队尾元素比,
如果他大于队尾元素,那么r--将队尾元素删掉,(因为目前插入的这个元素值(设为pos)更大,而且“活”的时间
长,有pos在,队尾元素的有“生”之年永远都没法为最大值,故而直接无视比pos小的队尾了)。直到对空位置或者
找到了一个比pos大的队尾。
2.K区间的维护:
比如当前k区间的起点为i,即区间为[i,i+k-1],那么如果队头元素front的下标j<i,那么front便不符合
在当前k区间范围内,那么他的值便不属于当前k区间的最值,所以f++将对头出队。这段操作绝对不会遇到队
空的情况,应为第1步已经插入了一个在区间为[i,i+k-1]的元素pos,他下标j必然符合j>=i
【代码】
struct nodes
{
int val,beg ;
};
nodes qu1[N];
int r1,f1 ;
void insert(int m,int id,int L)//L为区间的最左下标
{
while(r1>=f1&&m>qu1[r1].val)
r1--;
qu1[++r1].val=m ;
qu1[r1].beg=id ;
while(qu1[f1].beg<L)
f1++;
}
//f>r qu empty
Init: f=r=0;
insert(a[i],i,L);
poj2823是一个典型的求区间最值的问题。
下面利用单调队列求几种不同类型的最大子段和。(最小子段和也可以转换为最最大子段和,只要全部元素取反就行了)
(1)没有长度限制的最大子段和。
hdu1003 Max Sum
http://acm.hdu.edu.cn/showproblem.php?pid=1003
我们用s[i] 表示a[i]的前i项和 ,s[i]=sum(a[k])(k=1,2,.....i)
然后遍历一遍s[],记录最小的s[i]值,存于min,那么最大子段和就是 max=Max(s[i]-min);
【代码】
#include <iostream> #include <cstdio> #include <algorithm> #include <cstring> #include <cmath> #include <vector> using namespace std; int n; const int maxn = 100005; struct node { int val; int id; }q[maxn]; int a[maxn]; int s[maxn]; int main() { int T,ca=1; scanf("%d",&T); while(T--) { scanf("%d",&n); for(int i=1;i<=n;i++) scanf("%d",&a[i]); memset(s,0,sizeof(s)); for(int i=1;i<=n;i++) s[i]=s[i-1]+a[i]; int mins=0; int minid=0; int ans=-2147483648; int li=0,ri=0; for(int i=1;i<=n;i++) { if(s[i]-mins>ans) { ans=s[i]-mins; ri=i; li=minid+1; } if(s[i]<mins) { mins=s[i]; minid=i; } } printf("Case %d:\n",ca++); printf("%d %d %d\n",ans,li,ri); if(T>0) printf("\n"); } return 0; }
(2)有上界的最大子段和。
【hdu 3415 Max Sum of Max-K-sub-sequence 】
http://acm.hdu.edu.cn/showproblem.php?pid=3415
这里的数列是一个圆,要先预处理一下,变为一条线。
这里多了一点的就是对下标有一点要求,所以我们要维护一个区间长度为k的单调队列。
假设这个区间的长度是 [i,i+k-1];
那么以i+k为结尾的,最大子段和就是 s[i+k]-q[head].(注意head的下标)
注:i+k - [i,i+k-1] <= k
所以我们可以维护当前的k区间最小,方便求下一个节点往回长度不大于k的子段的最大值。
PS:这里的队列队头要预存一个值为sum=0的节点
【代码】
#include <iostream> #include <cstdio> #include <algorithm> #include <cstring> #include <cmath> #include <vector> using namespace std; const int maxn = 200005; int n,k; int a[maxn]; int s[maxn]; struct node { int val; int id; }q[maxn]; int main() { int T; scanf("%d",&T); while(T--) { scanf("%d %d",&n,&k); for(int i=1;i<=n;i++) scanf("%d",&a[i]); for(int i=n+1;i<=2*n;i++) a[i]=a[i-n]; memset(s,0,sizeof(s)); for(int i=1;i<=2*n;i++) s[i]=s[i-1]+a[i]; int ans=-2147483648; int li=0; int ri=0; int head=1; int tail=0; tail+=1; q[tail].val=0; q[tail].id=0; for(int i=1;i<=n+k-1;i++) { if(s[i]-q[head].val>=ans) { if(s[i]-q[head].val==ans && q[head].id+1<li) { ri=i; li=q[head].id+1; } else if(s[i]-q[head].val==ans && (q[head].id+1==li) && (ri-li+1>i-q[head].id)) { ri=i; li=q[head].id+1; } else if(s[i]-q[head].val>ans) { ans=s[i]-q[head].val; li=q[head].id+1; ri=i; } } while(tail>=head && q[tail].val>s[i]) tail-=1; tail+=1; q[tail].val=s[i]; q[tail].id=i; if(i>=k) { while(tail>=head && q[head].id<i-k+1) head+=1; if(q[head].id>=n) break; } } if(ri>n) ri-=n; printf("%d %d %d\n",ans,li,ri); } return 0; }
(3)有上下界的最大子段和
soj2680
这里跟第二种类型也是差不多,我们不断地加入s[]数组,维护一个单调队列。
要注意下标的限制。如果当前插入队列的是s[i],那么我们这时找到的就是以 i+ml+1为结尾的最大子段和。
注意队列头的元素的下标的出队列的问题。
PS:这里的队列队头要预存一个值为sum=0的节点
【代码】
#include <iostream> #include <cstdio> #include <algorithm> #include <cstring> #include <cmath> #include <vector> using namespace std; int n,ml,mu; const int maxn = 40000; int a[maxn]; int s[maxn]; struct node { int val; int id; }q[maxn]; int main() { while(scanf("%d",&n) && n!=0) { scanf("%d %d",&ml,&mu); for(int i=1;i<=n;i++) { scanf("%d",&a[i]); a[i]=-a[i]; } memset(s,0,sizeof(s)); for(int i=1;i<=n;i++) s[i]=s[i-1]+a[i]; int ans=s[ml]; int head=1; int tail=0; tail+=1; q[tail].val=0; q[tail].id=0; for(int i=ml+1;i<=n;i++) { while(tail>=head && q[tail].val>s[i-ml]) tail-=1; tail+=1; q[tail].val=s[i-ml]; q[tail].id=i-ml; while(tail>=head && q[head].id<i-mu) head+=1; if(ans<s[i]-q[head].val) ans=s[i]-q[head].val; } printf("%d\n",-ans); } return 0; }
参考自: http://hi.baidu.com/sulipol/blog/item/734f6f50ce93392a42a75b92.html