bzoj1194: [HNOI2006]潘多拉的盒子

一看這道題自動機就好慌，但是多想想並不難。

S<=50，最長路根本不用考慮，直接考慮如何判斷兩個自動機是否一個是另一個的升級。

由於自動機的輸出可以是無限的，因此不放壓縮狀態，用(x,y)表示在第一個自動機x點，第二個自動機y點可行，然後跑bfs，找是否存在(x,y)使x可以輸出而y不行，若有則不符合。

#include<iostream> 
#include<cstdio>
#include<cstring>
#define N 105
using namespace std;
int S,a[N],b[N],f[N][N],c[N][N][2],qx[N*N],qy[N*N],vis[N][N];
int Ans,dp[N],rd[N],d[N][N];
bool Get(int x,int y)
{
	int l=0,r=1,tx,ty;
	qx[1]=0;qy[1]=0;
	memset(vis,0,sizeof vis);
	vis[0][0]=1;
	while(l<r)
	{
		l++;
		if (f[x][qx[l]]&&(!f[y][qy[l]])) return 0;
		for (int i=0;i<=1;i++)
		{
			tx=c[x][qx[l]][i];
			ty=c[y][qy[l]][i];
			if (!vis[tx][ty])
			{
				vis[tx][ty]=1;
				r++;
				qx[r]=tx;qy[r]=ty;
			}
		}
	}
	return 1;
}
void dfs(int x)
{
	Ans=max(Ans,++dp[x]);rd[x]=-1;
	for (int i=1;i<=S;i++)
		if (d[x][i])
		{
			dp[i]=max(dp[i],dp[x]);
			if (!(--rd[i])) dfs(i);
		}
}
int main()
{
	int x;
	scanf("%d",&S);
	for (int i=1;i<=S;i++)
	{
		scanf("%d%d",&a[i],&b[i]);
		for (int j=1;j<=b[i];j++)
		{
			scanf("%d",&x);
			f[i][x]=1;
		}
		for (int j=0;j<a[i];j++)
			scanf("%d%d",&c[i][j][0],&c[i][j][1]);
	}
	for (int i=1;i<=S;i++)
		for (int j=1;j<=S;j++)
			if (i!=j)
			{
				if (Get(i,j)&&!d[j][i])
					d[i][j]=1,rd[j]++;
			}
	for (int i=1;i<=S;i++)
		if (!rd[i]) dfs(i);
	printf("%d\n",Ans);
}