【noip2008】双栈排序

参考神仙的博客

以下是我对正确性的一些解释

由于元素按顺序进栈，所以我们要保证在前面的字典序尽可能小，所以优先让先进栈的进栈1，进不了栈1才进栈2，故两个栈中的元素是唯一确定的

1. 由于我们需要按一定顺序入栈，故入栈顺序显然是一定的，即a,c相对顺序一定
2. 由于我们对元素进行了排序，故出栈的相对顺序是一定的，即b,d相对顺序一定
3. 根据yxc老师的证明，如果只有一个栈，那么进出栈顺序是一定的，即a,b相对顺序和c,d相对顺序一定

但是b,c的相对顺序和a,d的相对顺序是不确定的

b,c对应出栈1，入栈2，由于我们在代码中能出栈就出栈，所以字典序是正确的

a,d对应入栈1，出栈2，由于我们在代码中能出栈就出栈，所以会输出d,a，而实际上a,d是更优的

所以我们只需要在不改变上述确定的相对顺序的前提下交换d,a即可，即交换所有相邻的d,a

代码如下，欢迎hack

#include
using namespace std;

#define go(i,a,b) for(int i=a;i<=b;++i)
#define com(i,a,b) for(int i=a;i>=b;--i)
#define mem(a,b) memset(a,b,sizeof(a))
#define fo(i,a) for(int i=0;is1,s2;
    int now=1;
    go(i,1,n){
        if(co[i]==1){
            s1.push(a[i]);
            ans[++tot]='a';
        }
        else{
            s2.push(a[i]);
            ans[++tot]='c';
        }
        while(1){
            if(!s1.empty()&&s1.top()==now) s1.pop(),ans[++tot]='b',++now;
            else if(!s2.empty()&&s2.top()==now) s2.pop(),ans[++tot]='d',++now;
            else break;
        }
    }
    go(i,1,tot)
        if(ans[i]=='a'&&ans[i-1]=='d')
            swap(ans[i],ans[i-1]);
}

int main(){
    //freopen("input.txt","r",stdin);
    cin>>n;
    go(i,1,n) scanf("%d",a+i);
    suf[n+1]=inf;
    com(i,n,1) suf[i]=min(suf[i+1],a[i]);
    go(i,1,n)
        go(j,i+1,n){
            if(a[i]