Codeforces 547B Mike and Feet(单调栈)

题目链接：http://codeforces.com/problemset/problem/547/B

题目大意：
有一个长度为n的序列，序列有长度为1...n的连续子序列，一个连续子序列里面最小的值称作这个子序列的子序列的strength，
要求出每种长度的连续子序列的最大的strength。
解题思路：
可以用栈求出每个点的l[i]，表示值小于当前位置并且在左侧的最接近这个点的位置。
同理可以求出r[i]，表示值小于当前位置并且在右侧侧的最接近这个点的位置。
求l[i]过程如下：
stack s // initially empty
for i = 1 to n
while s is not empty and a[s.top()] >= a[i]
do s.pop()
if s is empty
then l[i] = 0
otherwise
l[i] = s.top()
s.push(i)
接下来，我们遍历每个位置i,令len=r[i]-l[i]-1,则ans[len]=min(a[i],ans[len])
可以理解为在r[i]-1~l[i]+1这块长度为len的区间上，最小的就是a[i],所以ans[len]与a[i]比较。
最后还要从len=n-1~1遍历，令ans[len]=max(ans[len],a[len+1])。
为什么要这么做？
因为不这样做，如1 2 3 2 1这组样例，只能求出ans[1]、ans[3]、ans[5]，像ans[2]、ans[4]都是空的。
这样做的意义就是如果ans[len]为空，则把ans[len+1]的值给它。
为什么是ans[len+1]的值，首先ans[len]>=ans[len+1],假设我们有一个长度为len+1的只有x~y的区间,min=2,则a[len+1]=2,
假设a[len]会大于a[len+1]，那么必定存在x+1~y或者x~y-1的区间且min>2，但是如果ans[len-1]为空则说明没有这样的区间
所以取ans[len]=ans[len+1]。

代码

#include<bits/stdc++.h>
#define lc(a) (a<<1)
#define rc(a) (a<<1|1)
#define MID(a,b) ((a+b)>>1)
#define fin(name)  freopen(name,"r",stdin)
#define fout(name) freopen(name,"w",stdout)
#define clr(arr,val) memset(arr,val,sizeof(arr))
#define _for(i,start,end) for(int i=start;i<=end;i++)
#define FAST_IO ios::sync_with_stdio(false);cin.tie(0);
using namespace std;
typedef long long LL;
const int N=2e5+5;
const int INF=0x3f3f3f3f;
const double eps=1e-10;

int l[N],r[N],a[N],ans[N];
stack<int>sk;

int main(){
    FAST_IO;
    int n;
    cin>>n;
    for(int i=1;i<=n;i++){
        cin>>a[i];
    }
    for(int i=1;i<=n;i++){
        while(!sk.empty()&&a[sk.top()]>=a[i]) 
            sk.pop();
        if(!sk.empty())
            l[i]=sk.top();
        else
            l[i]=0;
        sk.push(i);
    }
    while(!sk.empty()) sk.pop();
    for(int i=n;i>=1;i--){
        while(!sk.empty()&&a[sk.top()]>=a[i])
            sk.pop();
        if(!sk.empty())
            r[i]=sk.top();
        else
            r[i]=n+1;
        sk.push(i);
    }
    for(int i=1;i<=n;i++){
        int len=r[i]-l[i]-1;
        ans[len]=max(a[i],ans[len]);
    }
    for(int i=n-1;i>=1;i--){
        ans[i]=max(ans[i],ans[i+1]);
    }
    for(int i=1;i<=n;i++){
        cout<<ans[i]<<" ";
    }
    cout<<endl;
    return 0;
}