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=109,N=30;
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=1; return; }
    vis[x]=1;
    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=0;
        for (i=1;i<=n;++i)
        {
            scanf("%s%s",s[i],s[i]);
            len[i]=strlen(s[i]);
            for (j=0;j<len[i];++j) id[i][j]=++e;
        }
        for (++e,i=0;i<=e;++i) head[i]=-1;
        for (i=1;i<=n;++i)
            for (z=0;z<len[i];++z)
                for (j=1;j<=n;++j)
                {
                    if (i==j && !z) continue;
                    for (k=0;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=0;i<=e;++i) vis[i]=0;
        for (i=1;i<=n;++i)
        {
            if (!vis[id[i][0]]) dfs(id[i][0]);
            if (flag) break;
        }
        printf("Case #%d: ",++t);
        if (flag) puts("Ambiguous."); else puts("Not ambiguous.");
    }
    return 0;
}