UVA 11604 General Sultan

题意：

给出一些0和1组成的串  问  是否存在一个串使得将这个串分解成之前给出的模式串有多种方案

思路：

首先画出一个下面的图

那么我们可以发现  两种方案去拼接同一个串  总是会做模式串A的后缀和模式串B的前缀的匹配（绿色部分）  当然也会存在包含（紫色部分）  因此我们就将问题转化成  从两个模式串开始  不停的按照前缀后缀匹配  最后达到两个方案同时在一个点结束  这样的问题

于是我们O(n^2*len^2)的暴力所有的串  枚举i串从h开始的后缀和j串的前缀做匹配  看是否能将其中一个串匹配完  同时每个串的每个字符建一个点  如果(i,h)和j匹配  i先结束了  在(i,h)这个点连边到j串没匹配的第一个点  表示下一次匹配应该是从j的那个位置开始当后缀再寻找其他前缀  同理如果j先结束了  如果i和j同时结束  则连边到终点  那么此时问题就变成了  能否从某个模式串的第一个点开始走到终点

dfs一下就能解决问题

代码：

#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<map>
#include<set>
#include<vector>
using namespace std;
typedef long long LL;
#define N 2500
#define M 250110
#define inf 2147483647

int t=1,n,E,tot;
bool ans;
int head[N],vis[N*25],len[N],id[N][25];
char maz[N][25];
struct edge
{
    int v,next;
}ed[M];

void add(int u,int v)
{
    ed[tot].v=v;
    ed[tot].next=head[u];
    head[u]=tot++;
}

void dfs(int u)
{
    if(u==E)
    {
        ans=true;
        return;
    }
    vis[u]=1;
    int i,v;
    for(i=head[u];~i;i=ed[i].next)
    {
        v=ed[i].v;
        if(!vis[v]) dfs(v);
        if(ans) return;
    }
}

int main()
{
    int i,j,k,h;
    while(~scanf("%d",&n))
    {
        if(!n) break;
        k=1;
        for(i=1;i<=n;i++)
        {
            scanf("%s%s",maz[i]+1,maz[i]+1);
            len[i]=strlen(maz[i]+1);
            for(j=1;j<=len[i];j++) id[i][j]=k++;
        }
        E=k;
        tot=0;
        memset(head,-1,sizeof(head));
        for(i=1;i<=n;i++)
        {
            for(h=1;h<=len[i];h++)
            {
                for(j=1;j<=n;j++)
                {
                    if(i==j&&h==1) continue;
                    for(k=1;k<=len[j]&&h+k-1<=len[i];k++)
                    {
                        if(maz[i][h+k-1]!=maz[j][k]) break;
                    }
                    if(k>len[j]&&h+k-1>len[i]) add(id[i][h],E);
                    else if(k>len[j]) add(id[i][h],id[i][h+k-1]);
                    else if(h+k-1>len[i]) add(id[i][h],id[j][k]);
                }
            }
        }
        ans=false;
        memset(vis,0,sizeof(vis));
        for(i=1;i<=n;i++)
        {
            if(!vis[id[i][1]]) dfs(id[i][1]);
            if(ans) break;
        }
        if(ans) printf("Case #%d: Ambiguous.\n",t++);
        else printf("Case #%d: Not ambiguous.\n",t++);
    }
    return 0;
}