[NOIP2008]双栈排序题解

[NOIP2008]双栈排序题解

Description

Tom最近在研究一个有趣的排序问题。通过2个栈S1和S2，Tom希望借助以下4种操作实现将输入序列升序排序。
操作a ： 如果输入序列不为空，将第一个元素压入栈S1
操作b ： 如果栈S1不为空，将S1栈顶元素弹出至输出序列
操作c ： 如果输入序列不为空，将第一个元素压入栈S2
操作d ： 如果栈S2不为空，将S2栈顶元素弹出至输出序列
如果一个1~n的排列P可以通过一系列操作使得输出序列为1, 2,…,(n-1), n，Tom就称P是一个"可双栈排序排列"。例如(1, 3, 2, 4)就是一个"可双栈排序序列"，而(2, 3, 4, 1)不是。下图描述了一个将(1, 3, 2, 4)排序的操作序列：<a, c, c, b, a, d, d, b>。

当然，这样的操作序列有可能有几个，对于上例(1, 3, 2, 4)，<a, c, c, b, a, d, d, b>是另外一个可行的操作序列。Tom希望知道其中字典序最小的操作序列是什么。

Input

输入的第一行是一个正整数n，第二行有n个用空格隔开的正整数，构成一个1~n的排列。

Output

如果输入的排列不是"可双栈排序排列"，输出数字0；否则输出字典序最小的操作序列，每两个操作之间用空格隔开，行尾没有空格。

Sample Input

1 3 2 3 1

Sample Output

a c a b b d

HINT

30%的数据满足： n<=10
50%的数据满足： n<=50
100%的数据满足： n<=1000

分析

设输入数组为a[n]

(1)结论：设1<= i < j < n 若存在 j < k <= n 使 a[k] < a[i] < a[j] 则a[i],a[j]不可能进入同一个栈

证明：
若a[i],a[j]进入了同一个栈
因为a[k] < a[i] < a[j] 所以出栈顺序为a[k] a[i] a[j]
a[i]入栈，a[j]入栈使需将a[i]出栈，但a[i]应在a[k]后入栈，推出矛盾

(2)建立图论模型

将a中元素当做点，利用(1)若i,j不可存在于同一个栈，则i,j间连边
不难推出，若此图为二分图，则此组数据有解

标程

#include<vector>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;

int n;
int a[1005],mina[1005];
vector<int> e[1005];
bool book[1005] = {0};
int color[1005] = {0};
bool ans = true;
int s1[1005],top1 = -1,s2[1005],top2 = -1;

void push1(int x)
{
	s1[++top1] = x;
	cout<<"a ";
}

void pop1(int &now)
{
	top1--;
	now++;
	cout<<"b ";
}

void push2(int x)
{
	s2[++top2] = x;
	cout<<"c ";
}

void pop2(int &now)
{
	top2--;
	now++;
	cout<<"d ";
}

void make_edge(int x,int y)
{
	e[x].push_back(y);
	e[y].push_back(x);
}

void dfs(int now)
{
	for(int i = 0;i < e[now].size();i++)
	{
		int nxt = e[now][i];
		if(!book[nxt])
		{
			color[nxt] = -color[now];
			book[nxt] =true;
			dfs(nxt);
		}
		else if(color[nxt] + color[now] != 0)
		{
			ans = false;
			return;
		}
	}
}

int main()
{
//	freopen("twostack.in","r",stdin);
//	freopen("twostack.out","w",stdout);
	scanf("%d",&n);
	for(int i = 0;i < n;i++)
		scanf("%d",a+i);
	mina[n-1] = a[n-1];
	for(int i = n - 2;i >= 0;i--)
		mina[i] = min(a[i],mina[i+1]);
	for(int i = 0;i < n-2;i++)
		for(int j = i + 1;j < n-1;j++)
			if(a[i] < a[j] && a[i] > mina[j+1])
				make_edge(i,j);
	for(int i = 0;i < n;i++)
		if(!book[i])
		{
			color[i] = 1;
			dfs(i);
			if(!ans)
				break;
		}
	if(!ans)
		cout<<0;
	else
	{
		int now = 1;
		for(int i = 0;i < n;i++)
		{
			if(color[i] == 1)
				push1(a[i]);
			while(top1 >= 0 && s1[top1] == now)
				pop1(now);
			if(color[i] == -1)
			{
				while(top2 >= 0 && a[i] > s2[top2])
				{
					while(now == s1[top1])
						pop1(now);
					if(now == s2[top2])
						pop2(now);
				}
				push2(a[i]);
			}
		}
		while(now <= n)
		{
			if(s1[top1] == now)
				pop1(now);
			else
				pop2(now);
		}
	}
	return 0;
}