单调栈与单调队列

个人理解：单调队列就是单调栈的升级版。单调队列比单调栈只多了个队首元素出队。

　　ACM-ICPC Asia Phuket Regional Programming Contest 2013  J:

　　这道题感觉什么树套树啊，按权值建线段树啊都是可以得解的，但树套树太慢，按权值建线段树又太难写（我懒，所以不想写）。在看了别人的解题报告后，想了一下，得到了单调栈的做法。感觉真的很优美，因为在栈里的id和其对应的sum都是单调的。

　　这种题目有两个最优条件，一是大小，二是位置。我觉得只有后加入的满足位置更优时，才能用这种单调栈的做法。比如，如果这道题求的是最大子序列，那就不能用单调栈来做了。

#include <cstdlib>
#include <cstdio>
#include <algorithm>
#include <iostream>
#define FOR(i,l,r) for (int i=(l);i<=(r);i++)
using namespace std;
const int maxn=500000+1;
typedef long long LL;

int n,x;
LL sum[maxn];
int sta[maxn]; int pos;
int ef(LL d)
{
    int l=1,r=pos,mid;
    while (l<=r)
    {
        mid=l+r>>1;
        if (sum[sta[mid]]<=d) l=mid+1;
        else r=mid-1;
    }
    return r;
}
int main(){
    for (int T;scanf("%d",&T)!=EOF;)
        for (int p,ans;T--;)
        {
            scanf("%d%d",&n,&x);
            FOR (i,1,n) scanf("%d",&p),sum[i]=sum[i-1]+p;
            ans=n+1; sta[pos=1]=0;
            FOR (i,1,n)
            {
                p=ef(sum[i]-x);
                if (p) ans=min(ans,i-sta[p]);
                while (pos&&sum[sta[pos]]>=sum[i]) pos--;
                sta[++pos]=i;
            }
            printf("%d
",ans==n+1?-1:ans);
        }
    return 0;
}