历年NOIP较复杂题集合

2008 双栈排序

这基本上是一个结论题。。通过观察， 我们可以发现当两个数i, j， 不能在同一个栈中， 当且仅当存在k , 使得 i < j < k 且 s[k] < s[i] < s[j]。 然后就是一个裸二分图染色了， dfs并查集都可以搞， 代码复杂度非常低， 基本是历年来最短的一道最后一题了。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <cstring>
using namespace std;
int n, a[1005], minn[1005], map[1005][1005], col[1005], stack[3][1005];
bool dfs(int x){
    for(int i = 1; i <= n; i ++)
        if(i != x && map[x][i]){
            if(! col[i]){
                col[i] = 3 - col[x];
                dfs(i);
            }
            else if(col[i] == col[x]) return 0;
        }
}
int main()
{
    scanf("%d", &n);
    for(int i = 1; i <= n; i ++)scanf("%d", &a[i]);
    minn[n + 1] = 1005;
    for(int i = n; i >= 1; i --)minn[i] = min(minn[i + 1], a[i]);
    for(int i = 1; i <= n; i ++)
        for(int j = i + 1; j <= n; j ++)
            if(minn[j + 1] < a[i] && a[i] < a[j])
                map[i][j] = map[j][i] = 1;
    for(int i = 1; i <= n; i ++)
        if(! col[i]){
            col[i] = 1;
            if(! dfs(i)){
                puts("0"); return 0;
            }
        }
    int now = 1;
    for(int i = 1; i <= n; i ++){
        if(col[i] == 1)cout<<"a "; else cout<<"c ";
        stack[col[i]][++ stack[col[i]][0]] = a[i];
        while (stack[1][stack[1][0]] == now || stack[2][stack[2][0]] == now){
            if(stack[1][stack[1][0]] == now){
                cout<<"b "; stack[1][0] --;
            }
            else if(stack[2][stack[2][0]] == now){
                cout<<"d "; stack[2][0] --;
            } now ++;
        }
    }
    return 0;
}