codevs1170 双栈排序(2008年NOIP全国联赛提高组)

传送门：http://codevs.cn/problem/1170/

这题真的好难，考试的时候是暴力过30分，调程序的时候网上代码都看不懂……听说有一个什么很高级的应用于栈的结论，就找来用了。

（然而实际上我并不懂）

考虑对于任意两个数q1[i]和q1[j]来说,它们不能压入同一个栈中的充要条件是什么(注意没有必要使它们同时存在于同一个栈中,只是压入了同一个栈).实际上,这个条件p是:存在一个k,使得i<j<k且q1[k]<q1[i]<q1[j].

代码丑到炸裂……向dalao的高级代码势力低头。

#include<cstdio>
#include<algorithm>
#include<cstdlib>
using namespace std;
int num=0,head[1005],a[1005],f[1005],co[1005];
int n,s1[1005],s2[1005];
struct Edge
{
	int v,next;
}edge[1005];
void add(int u,int v)
{
	num++;
	edge[num].v=v;
	edge[num].next=head[u];
	head[u]=num;
}
void dfs(int u,int c)
{
	co[u]=c;
	for(int j=head[u];j;j=edge[j].next)
	{
		int v=edge[j].v;
		if(co[v]==c)
		{
			printf("0");
			exit(0);
		}
		if(co[v]==0)dfs(v,3-c);
	}
}
void put()
{
	int idy=1,k1=0,k2=0;
	for(int i=1;i<=n;i++)
	{
		if(co[i]==1)
		{
			s1[++k1]=a[i];
			printf("a ");
		}
		if(co[i]==2)
		{
			s2[++k2]=a[i];
			printf("c ");
		}
		while(k1&&s1[k1]==idy||k2&&s2[k2]==idy)
		{
			if(k1&&s1[k1]==idy)
			{
				k1--;
				printf("b ");
			}
			else
			{
				k2--;
				printf("d ");
			}
			idy++;
		}
	}
}
int main()
{
	freopen("twostack.in","r",stdin);
	freopen("twostack.out","w",stdout);
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	f[n+1]=0x3FFFFFF;
	for(int i=n;i>=1;i--)
		f[i]=min(f[i+1],a[i]);
	for(int i=1;i<n;i++)
		for(int j=i+1;j<=n;j++)
			if(a[i]<a[j]&&f[j+1]<a[i])
	      		add(i,j),add(j,i);
	for(int i=1;i<=n;i++)
		if(co[i]==0) dfs(i,1);
	put();
	return 0;
}