题意:
给出一些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; }
原文地址:http://blog.csdn.net/houserabbit/article/details/38943645