UVA - 11604 General Sultan 题解

题目大意：

　　有若干模式串，将某些模式串拼接起来（一个可以使用多次）形成一个长模式串，判断能否有两种或更多种不同的拼法拼成相同的模式串。

思路：

　　神奇的构图，暴力的求解。

　　可以发现，若有不同的拼法，则一个模式串的前缀要与一个模式串的后缀相同。

　　因此我们就将问题转化成：从两个模式串开始，不停的按照前后缀匹配，最后达到两个串同时在一个点结束。

　　那么，将每一个串的每一个字符都看作一个点，n²len²暴力枚举i串从z开始的后缀和j串（自己也可以，但不能让前缀是其本身）的前缀做匹配，看是否能将其中一个串匹配完。

　　当(i,z)和j匹配，若i先结束了，则将(i,z)这个点连边到j串没匹配的第一个点，表示下一次匹配应该是从j的那个位置开始当后缀再寻找其他前缀；如果j先结束，与之前一个类似；如果i和j同时结束，则连边到终点。

　　最后用dfs判断能否从某个模式串的第一个点开始走到终点。

　　PS：1、fromhttp://blog.csdn.net/houserabbit/article/details/38943645

　　　　 2、数组的意义、范围要清楚，我花了一个多小时才发现数组开小了。

代码：

 #include<cstdio>
 #include<cstring>
 using namespace std;
 const int M=,N=;
 int n,e,t,i,j,k,z,cnt,v[M*M*N*N],id[M][N],nex[M*M*N*N],len[M],head[M*N];
 bool vis[M*N],flag;
 char s[M][N];

 void add(int x,int y) { v[++cnt]=y,nex[cnt]=head[x],head[x]=cnt; }

 void dfs(int x)
 {
     if (x==e) { flag=; return; }
     vis[x]=;
     for (int i=head[x];~i;i=nex[i])
         if (!vis[v[i]])
         {
             dfs(v[i]);
             if (flag) return;
         }
 }

 int main()
 {
     while (~scanf("%d",&n))
     {
         if (!n) break;
         e=cnt=flag=;
         for (i=;i<=n;++i)
         {
             scanf("%s%s",s[i],s[i]);
             len[i]=strlen(s[i]);
             for (j=;j<len[i];++j) id[i][j]=++e;
         }
         for (++e,i=;i<=e;++i) head[i]=-;
         for (i=;i<=n;++i)
             for (z=;z<len[i];++z)
                 for (j=;j<=n;++j)
                 {
                     if (i==j && !z) continue;
                     for (k=;k<len[j] && z+k<len[i];++k)
                         if (s[i][z+k]!=s[j][k]) break;
                     if (z+k==len[i] && k==len[j]) add(id[i][z],e);
                     else if (k==len[j]) add(id[i][z],id[i][z+k]);
                          else if (z+k==len[i]) add(id[i][z],id[j][k]);
                 }
         for (i=;i<=e;++i) vis[i]=;
         for (i=;i<=n;++i)
         {
             if (!vis[id[i][]]) dfs(id[i][]);
             if (flag) break;
         }
         printf("Case #%d: ",++t);
         if (flag) puts("Ambiguous."); else puts("Not ambiguous.");
     }
     return ;
 }