[CF911E]Stack Sorting

题目大意：
　　给你两个数组a和b，一个栈s。给你两种操作：
　　　　1.从a中取出第一个元素，加入s中；
　　　　2.从s的顶端取出一个元素，加入b的末端。
　　一开始a中有n个元素，s和b是空的。
　　定义数组b是stack-sortable的，当且仅当a中数通过任意操作后，使b称为一个含有n个元素的不下降数列。
　　现在告诉你a的前k个元素，问是否存在一种a，使得b为stack-sortable的，如果是，输出字典序最大的一种。

思路：
　　定义a(b,e)为取值范围从b到e的合法数列，那么a(b,e)=x+a(b,x-1)+a(x+1,e)。
　　具体操作是先把x加入s，再把a(b,x-1)加入s，然后先后把a(b,x-1)和x加入b，最后把a(x+1,e)加入b，显然这样是合法的。
　　然后贪心构造，如果当前区间没有限制，就从e到b填数，否则填当前限定的数。如果当前无法填数，则不存在合法解。

#include<cstdio>
#include<cctype>
#include<cstdlib>
#include<algorithm>
inline int getint() {
    register char ch;
    while(!isdigit(ch=getchar()));
    register int x=ch^'0';
    while(isdigit(ch=getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
    return x;
}
const int N=200001;
int a[N],b[N];
void solve(const int &b,const int &e,const int &l,const int &r) {
    if(l>r) {
        for(register int i=e;i>=b;i--) ::b[++::b[0]]=i;
        return;
    }
    const int &x=::b[++::b[0]]=a[l];
    if(x<b||x>e) {
        puts("-1");
        exit(0);
    }
    solve(b,x-1,l+1,std::min(l+x-b,r));
    solve(x+1,e,l+x-b+1,r);
}
int main() {
    const int n=getint(),k=getint();
    for(register int i=1;i<=k;i++) {
        a[i]=getint();
    }
    solve(1,n,1,k);
    for(register int i=1;i<=n;i++) {
        printf("%d%c",b[i]," 
"[i==n]);
    }
    return 0;
}