uva 12393 Nonnegative Partial Sums 【单调队列】

后来看了07年周泽（大概是？）的论文，才知道原来这个是一个很经典的单调队列题。

题意：给出一个长度为n序列，每次将第一个元素移至最后可以得到有n种序列，问其中有多少个满足对于所以的i（1≤i≤n），sigma(a[k]),(1≤k≤i)>=0，就是可以维护一个递增的序列，这样每次取队首就O(1)的求出是否满足条件了，维护序列只需要O(n)的复杂度。

比赛的时候用dp思想的st（rmq）的O(nlogn)的算法超时了，后来知道原来有一种RMQ转换为LCA，又转化为RMQ的算法可以做，这样复杂度也可要跟单调队列的做法一样，转换为O(n)。

这类单调队列的基本做法吧。

比较习惯的写法：

l=0; r=-1;

for(k=0;k<=n;k++){

　　while(l<=r&&(没有更优的判断条件，直接带入r计算即可)) r--;

　　q[++r] = k;

　　/*if(判断是否有符合题目的解) ans++;（类似的）

　　while(对于l的边界条件，下一次的l不符合判断条件) l++;*/

　　或者

　　while(对于l的边界条件，此次l不符合判断条件) l++;

　　if(判断是否有符合题目的解) ans++;（类似的）

　　

}

#include<iostream>
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
#include<map>
#define see(x) cout<<#x<<":"<<x<<endl;
using namespace std;
const int maxn = 1000005;
int a[maxn], sum[maxn<<1], que[maxn<<1];
int main(){
    int n, i, j, k, s, ans, l, r;
    while(~scanf("%d",&n)&&n){
        scanf("%d",&a[0]);
        sum[0] = a[0];
        for(i=1;i<n;i++){
            scanf("%d",&a[i]);
            sum[i] = sum[i-1]+a[i];
        }
        for(i=n;i<2*n;i++){
            sum[i] = sum[i-1]+a[i-n];
        }
        ans = 0;
        l = r = 0;
        for(i=0;i<2*n;i++){
            while(l<r&&sum[i]<sum[que[r-1]]) r--;
            que[r++] = i;
            if(i>=n&&sum[que[l]]-sum[i-n]>=0) ans++;
            while(l<r&&que[l]<=i-n+1) l++;
        }
        printf("%d\n",ans);
    }
    return 0;
}