HDU 3247 Resource Archiver(自动机+状态压缩DP)
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3247
题意：给出n个源串，m个病毒串。构造一个串S包含所有的源串且不包含任意病毒串。S的长度最短？
思路：将源串和病毒串都插入trie，建立自动机。BFS得到任意两个源串之间的距离。最后状态压缩DP。
struct node
{
int next[2],fail,x,y;
void init()
{
next[0]=next[1]=0;
fail=0;
x=y=0;
}
};
node a[N];
int e,n,m;
void insert(char s[],int t)
{
int i,k,p=0;
for(i=0;s[i];i++)
{
k=s[i]-'0';
if(a[p].next[k]==0)
{
a[e].init();
a[p].next[k]=e++;
}
p=a[p].next[k];
}
if(t==-1) a[p].y=1;
else a[p].x=1<<t;
}
queue<int> Q;
void build()
{
int i,j,k,p,q;
FOR0(i,2) if(a[0].next[i]) Q.push(a[0].next[i]);
while(!Q.empty())
{
k=Q.front();
Q.pop();
for(i=0;i<2;i++)
{
if(a[k].next[i])
{
p=a[k].next[i];
q=a[k].fail;
Q.push(p);
a[p].fail=a[q].next[i];
a[p].x|=a[a[p].fail].x;
a[p].y|=a[a[p].fail].y;
}
else
{
q=a[k].fail;
a[k].next[i]=a[q].next[i];
}
}
}
}
char s[50005];
int p[405][405],mp[405],cnt;
int dis[N];
int f[1030][405];
void BFS(int u)
{
Q.push(mp[u]);
int i,j,k;
FOR0(i,e) dis[i]=INF;
dis[mp[u]]=0;
while(!Q.empty())
{
k=Q.front();
Q.pop();
FOR0(i,2)
{
j=a[k].next[i];
if(dis[j]==INF&&!a[j].y)
{
dis[j]=dis[k]+1;
Q.push(j);
}
}
}
FOR0(i,cnt) p[u][i]=dis[mp[i]];
}
void DP()
{
clr(f,-1);
f[0][0]=0;
int i,j,k,t;
FOR0(i,(1<<n)) FOR0(j,cnt) if(f[i][j]!=-1)
{
FOR0(k,cnt) if(p[j][k]!=INF)
{
t=i|a[mp[k]].x;
if(f[t][k]==-1||f[t][k]>f[i][j]+p[j][k])
{
f[t][k]=f[i][j]+p[j][k];
}
}
}
int ans=INF,x=(1<<n)-1;
FOR0(i,cnt) if(f[x][i]!=-1&&f[x][i]<ans)
{
ans=f[x][i];
}
PR(ans);
}
int main()
{
while(scanf("%d%d",&n,&m),n||m)
{
a[0].init();e=1;
int i;
FOR0(i,n) RD(s),insert(s,i);
FOR0(i,m) RD(s),insert(s,-1);
build();
cnt=1;
FOR0(i,e) if(a[i].x) mp[cnt++]=i;
FOR0(i,cnt) BFS(i);
DP();
}
return 0;
}