字符串专项：LA 4126

一道AC自动机+状压DP，将M个字符串建一个AC自动机，注意将字符串插入tire树时，注意可能会有多个字符公用一个尾结点，需要注意val值的更新。

状态方程不难得出dp[dep][u][st]=sum{dp[dep+1][ch[u][i]][st|val[ch[u][i]]]|0<i<sigma_size}，至于字典序打印方案，只需dfs一遍即可。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <queue>
using namespace std;
typedef long long LL;
const int sigma=26;
int n,m;
char s[12][12];
int ch[110][sigma],val[110],sz;
int f[110];
void init(){sz=1;val[0]=0;memset(ch[0],0,sizeof(ch[0]));memset(val,0,sizeof(val));}
int idx(char c){return c-'a';}
void insert(char* s,int v)
{
int u=0,n=strlen(s);
for(int i=0;i<n;i++)
{
int c=idx(s[i]);
if(!ch[u][c])
{
memset(ch[sz],0,sizeof(ch[sz]));
val[sz]=0;
ch[u][c]=sz++;
}
u=ch[u][c];
}
val[u]|=v;
}
void getfail()
{
queue<int> q;
f[0]=0;
for(int c=0;c<sigma;c++)
{
int u=ch[0][c];
if(u) {f[u]=0;q.push(u);}
}
while(!q.empty())
{
int r=q.front();q.pop();
for(int c=0;c<sigma;c++)
{
int u=ch[r][c];
if(!u) {ch[r][c]=ch[f[r]][c];continue;}
q.push(u);
int v=f[r];
while(v&&!ch[v][c]) v=f[v];
f[u]=ch[v][c];
val[u]|=val[f[u]];
}
}
}
LL dp[110][30][1<<10];
int vis[110][30][1<<10];
char rec[25];
LL dfs(int u,int l,int st)
{
if(l==n)
{
if(st==((1<<m)-1)) return dp[u][l][st]=1;
else return dp[u][l][st]=0;
}
if(vis[u][l][st]) return dp[u][l][st];
vis[u][l][st]=1;
LL& ans=dp[u][l][st];
for(int i=0;i<sigma;i++)
{
ans+=dfs(ch[u][i],l+1,st|val[ch[u][i]]);
}
return ans;
}
void print(int u,int l,int st)
{
if(l==n)
{
rec[l]=0;printf("%s\n",rec);return;
}
for(int i=0;i<sigma;i++) if(dp[ch[u][i]][l+1][st|val[ch[u][i]]])
{
rec[l]='a'+i;
print(ch[u][i],l+1,st|val[ch[u][i]]);
}
}
int main()
{
int kase=1;
while(scanf("%d%d",&n,&m)!=EOF)
{
if(!n&&!m) break;
init();
for(int i=1;i<=m;i++)
{
scanf("%s",s[i]);
insert(s[i],(1<<(i-1)));
}
getfail();
memset(vis,0,sizeof(vis));
memset(dp,0,sizeof(dp));
LL ans=dfs(0,0,0);
printf("Case %d: %lld suspects\n",kase++,ans);
if(ans<=42)
{
print(0,0,0);
}
}
return 0;
}