UVA - 11604 General Sultan

题意：判断是否存在一个01串能由n串已知串用两种不同方式组成。

思路：构图，对每个串匹配到每个字符都建立一个点。

连边判断：1、原串未匹配完，匹配串匹配完，原串x->原串y；2、匹配串未完，原串完，原串x->匹配串y；3、两串皆完，随便怎么连

然后深搜乱搞。

代码：

#include <bits/stdc++.h>
#define gc getchar()
#define N 109
#define L 31
using namespace std;
int n,T=0,ans,len[N],pd,first[N*L],number,vis[N*L];
char a[N][L],str[L];
struct edge
{
	int to,next,val;
	void add(int x,int y,int z)
	{
		to=y,next=first[x],first[x]=number,val=z;
	}
}e[N*L*N];
bool dfs(int x)
{
	vis[x]=1;
	for (int i=first[x];i;i=e[i].next)
		if (e[i].val) return false;
		else
			if (!vis[e[i].to])
				if (!dfs(e[i].to)) return false;
	return true;
}
int main()
{
	while (ans=1,scanf("%d",&n),n)
	{
		for (int i=1;i<=n;i++) scanf("%s%s",&str,a[i]+1);
		for (int i=1;i<=n;i++) len[i]=strlen(a[i]+1);
		memset(first,0,sizeof(first));
		memset(vis,0,sizeof(vis));
		number=0;
		for (int i=1;i<=n;i++)
			for (int j=1;j<=n;j++)
				for (int k=1;k<=len[i];k++)
					if (i!=j)
					{
						pd=1;
						for (int p=1;p<=min(len[i]-k+1,len[j]);p++)
							if (a[i][k+p-1]!=a[j][p])
							{
								pd=0;
								break;
							}
						if (pd)
						{
							if (len[i]-k+1==len[j])
								e[++number].add(i*30+k,i*30+len[i],1);
							else
								if (len[i]-k+1>len[j])
									e[++number].add(i*30+k,i*30+k+len[j],0);
								else
									e[++number].add(i*30+k,j*30+len[i]-k+2,0);
						}
					}
		for (int i=1;i<=n&&ans;i++)
			if (!vis[i*30+1]) ans=dfs(i*30+1);
		printf("Case #%d: %s.\n",++T,ans?"Not ambiguous":"Ambiguous");
	}
	return 0;
}