题意就是长度为n的串,满足下列m个串是它的子串,问这个串有多少种,如果少于42种则字典序输出。
dp[i][j][k]为,填充了i个字符,在ac自动机的j节点上,字串集合为k的方案数,填充i个字符可以从前往后,或者从后往前填,但是如果要用dfs,最好选用从后往前填,因为如果这样dp[i][j][k]肯定是由j这个节点选择a-z得到的dp转移过来的,但是如果从前往后,那么就要知道那几个节点能转移到j这个节点。这点原因和uvalive 3490是差不多的。
因为递推方向是从后往前,所以在输出字典序的时候,都不需要保存在某个容器里排序什么的,枚举的时候是a-z,那么找到的解直接就是按字典序排序的。如果方向是从前往后,首先终点就有很多个比较麻烦不说,并且无法保证先找到的字典序小。
AC代码:
#pragma comment(linker, "/STACK:102400000,102400000")
#include<cstdio>
#include<ctype.h>
#include<algorithm>
#include<iostream>
#include<cstring>
#include<vector>
#include<cstdlib>
#include<stack>
#include<queue>
#include<set>
#include<map>
#include<cmath>
#include<ctime>
#include<string.h>
#include<string>
#include<sstream>
#include<bitset>
using namespace std;
#define ll long long
#define ull unsigned long long
#define eps 1e-8
#define NMAX 201000
#define MOD 1000000007
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define PI acos(-1)
template<class T>
inline void scan_d(T &ret)
{
char c;
int flag = 0;
ret=0;
while(((c=getchar())<'0'||c>'9')&&c!='-');
if(c == '-')
{
flag = 1;
c = getchar();
}
while(c>='0'&&c<='9') ret=ret*10+(c-'0'),c=getchar();
if(flag) ret = -ret;
}
const int maxnode = 11*11+10;
int end[maxnode];
ll dp[26][maxnode][1050];//对于dp[i][j][k],从最后一个往前填,意义是第i个节点是j,包含字符串集合为k的个数。
struct AhoCorasick
{
int ch[maxnode][26];
int f[maxnode];
// int last[maxnode],val[maxnode];
int sz;
void init()
{
memset(ch[0],0,sizeof(ch[0]));
sz = 1;
}
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]));
end[sz] = 0;
ch[u][c] = sz++;
}
u = ch[u][c];
}
end[u] |= 1<<v;
}
void getFail()
{
queue<int>q;
f[0] = 0;
for(int c = 0; c < 26; c++)
{
int u = ch[0][c];
if(u){f[u] = 0; q.push(u);
// last[u] = 0;
}
}
while(!q.empty())
{
int r = q.front(); q.pop();
for(int c = 0; c < 26; 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];
end[u] |= end[f[u]];
// last[u] = val[f[u]] ? f[u] : last[f[u]];
}
}
}
}ac;
char ss[30];
int n,m;
ll dfs(int len, int pos, int s)
{
ll &ans = dp[len][pos][s];
if(ans != -1) return ans;
if(len == n)
{
if(s == (1<<m)-1) return ans = 1;
return ans = 0;
}
ans = 0;
for(int i = 0; i < 26; i++)
{
int next = ac.ch[pos][i];
ans += dfs(len+1, next, s | end[next]);
}
return ans;
}
void print(int len, int pos, int s)
{
if(len == n)
{
ss[len] = '\0';
printf("%s\n",ss);
return;
}
for(int i = 0; i < 26; i++)
{
int next = ac.ch[pos][i];
ss[len] = i+'a';
if(dp[len+1][next][s|end[next]] > 0) print(len+1, next, s|end[next]);
}
}
int main()
{
#ifdef GLQ
freopen("input.txt","r",stdin);
// freopen("o3.txt","w",stdout);
#endif
int cas = 1;
while(~scanf("%d%d",&n,&m) && n+m)
{
ac.init();
for(int i = 0; i < m; i++)
{
scanf("%s",ss);
ac.insert(ss,i);
}
ac.getFail();
memset(dp,-1,sizeof(dp));
ll ans = dfs(0,0,0);
printf("Case %d: %lld suspects\n",cas++,ans);
if(ans <= 42) print(0,0,0);
}
return 0;
}