题意:
给出一些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;
}