soj 3085 windy's cake V 单调栈的应用

http://acm.scu.edu.cn/soj/problem.action?id=3085
单调栈：
栈与单调性的结合。维护栈顶到栈底为单调增或减。

可应用于求以a[i] 为最值向左（右）扩展的最长长度，该区间内a[i]为最值。

比如该题思路：则要求以a[i] 为最小值的 最长区间，运用一个l[i] 来记录区间的左边界，r[i]来记录区间的右边界。本题维护一个栈顶到栈底递减的单调栈，l[i]为第一个小于a[i] 的元素的下标+1。对于每一个a[i]，将栈中比a[i]大的元素都弹出，最后栈顶就是第一个小于a[i]的。之后再将a[i]压入。

单调栈与单调队列的区别：
用途的区别：单调栈用于求以a[i] 为最值向左（右）扩展的最长长度。
单调队列用于求长度为l的区间中的最值。
做法的区别：单调栈栈顶保存着要求区间的边界（也就是第一个比a[i]大或小的值），对于每一个a[i]，将栈中比a[i]大的元素都弹出，最后栈顶就是第一个小于a[i]的。之后再将a[i]压入。。
单调队列队头保存着长度为l的区间的最值，每次将比a[i]大或小的一直出队，最后将a[i]入队，并判断队头是否还在区间内，不再则出队。

#include <iostream>#include <cstdio>#include <cstring>#include <algorithm>#include <stack>using namespace std;#define INF 0x3f3f3f3f#define M 100009#define pii pair<int,int>typedef long long ll;int ans;int a[M],l[M],r[M];ll sum[M];int main(){    int n;    while(scanf("%d",&n) == 1)    {        memset(sum,0,sizeof(sum));        for(int i = 0;i < n;i++)        {            if(i != 0) sum[i] += sum[i-1];            scanf("%d",&a[i]);            sum[i] += a[i];            l[i] = i; //记录左边第一个比a[i]小的下标+1            r[i] = i; //记录右边第一个比a[i]小的下标-1        }        stack<pii> s; //保证栈的单调性，此题为栈顶到栈底单调减        for(int i = 0;i < n;i++)        {            while(!s.empty() && s.top().first >= a[i]) s.pop(); //将栈中比当前元素大的都弹出            if(!s.empty()) l[i] = s.top().second + 1;            else l[i] = 0;            pii p = make_pair(a[i],i);            s.push(p);        }        while(!s.empty()) s.pop();        for(int i = n-1;i >= 0;i--)        {            while(!s.empty() && s.top().first >= a[i]) s.pop();            if(!s.empty()) r[i] = s.top().second - 1;            else r[i] = n-1;            pii p = make_pair(a[i],i);            s.push(p);        }        ll ans = -INF;        for(int i = 0;i < n;i++)        {            ll tmp = (ll)a[i] * (sum[r[i]] - sum[l[i]] + a[l[i]]);            ans = max(ans,tmp);        }        printf("%lld\n",ans);    }    return 0;}