正解:$dp$+$AC$自动机+搜索

解题报告:

传送门$QwQ$

首先显然先建个$AC$自动机,然后考虑设$f_{i,j,k}$表示长度为$i$,现在在$AC$自动机的第$j$个位置,已经表示出来的串的状态为$k$的方案数,直接转移就好.

然后考虑输出方案.首先一定不存在可以随便填的位置.

挺显然的随便说下昂,首先如果有一个可以随便填的位置,就有26种可能.然后可以给这个位置和字符串交换位置,就至少有2种可能,这时候就已经至少有$2\times 26=52$了,所以一定不存在可以随便填的位置.

所以直接$O(!n)$爆搜$QwQ$,$over$

因为爆搜真的很麻烦,所以我直接开了个$vector$在$dp$转移的时候顺便记了下方案.

但是挺容易$MLE$的,所以我把第一维滚了下.

然后还有一个注意点是每次转移完之后没用的$vector$清空下不然真的$MLE$到飞起$kk$

#include<bits/stdc++.h>
using namespace std;
#define il inline
#define gc getchar()
#define ll long long
#define ri register int
#define rb register bool
#define rc register char
#define rp(i,x,y) for(ri i=x;i<=y;++i)
#define my(i,x,y) for(ri i=x;i>=y;--i) const int N=100+10,M=(1<<10)+10;
int len,n,nod_cnt,tot,nw=1,pre;
ll f[2][N][M],ans;
bool vis[N];
char s[N];
vector<string>as[2][N][M],an;
struct node{int to[27],zt,fail;}nod[N]; il int read()
{
rc ch=gc;ri x=0;rb y=1;
while(ch!='-' && (ch>'9' || ch<'0'))ch=gc;
if(ch=='-')ch=gc,y=0;
while(ch>='0' && ch<='9')x=(x<<1)+(x<<3)+(ch^'0'),ch=gc;
return y?x:-x;
}
il void insert(ri num)
{
scanf("%s",s+1);ri l=strlen(s+1),nw=0;
rp(i,1,l)
{
if(!nod[nw].to[s[i]-'a'])nod[nw].to[s[i]-'a']=++nod_cnt;
nw=nod[nw].to[s[i]-'a'];
}
nod[nw].zt=1<<num;
}
il void build()
{
queue<int>Q;
rp(i,0,25)if(nod[0].to[i])Q.push(nod[0].to[i]);
while(!Q.empty())
{
ri nw=Q.front();Q.pop();
rp(i,0,25)
if(nod[nw].to[i])Q.push(nod[nw].to[i]),nod[nod[nw].to[i]].fail=nod[nod[nw].fail].to[i];
else nod[nw].to[i]=nod[nod[nw].fail].to[i];
nod[nw].zt|=nod[nod[nw].fail].zt;
}
} signed main()
{
//freopen("4045.in","r",stdin);freopen("4045.out","w",stdout);
len=read();n=read();rp(i,1,n)insert(i-1);build();tot=(1<<n)-1;
f[0][0][0]=1;as[0][0][0].push_back("");
rp(i,1,len)
{
rp(j,0,nod_cnt)
{
rp(k,0,tot)
{
if(f[pre][j][k])
{
rp(t,0,25)
{
ri nwzt=k|nod[nod[j].to[t]].zt;
f[nw][nod[j].to[t]][nwzt]+=f[pre][j][k];
if(f[nw][nod[j].to[t]][nwzt]<=42)
{
ri sz=as[pre][j][k].size();
rp(tt,0,sz-1)as[nw][nod[j].to[t]][nwzt].push_back(as[pre][j][k][tt]+(char)(t+'a'));
}
}
}
f[pre][j][k]=0;if(!as[pre][j][k].empty())as[pre][j][k].clear();
}
}
nw^=1;pre^=1;
}
nw^=1;
rp(i,0,nod_cnt)
{
ans+=f[nw][i][(1<<n)-1];
if(ans<=42){ri sz=as[nw][i][(1<<n)-1].size();rp(j,0,sz-1)an.push_back(as[nw][i][(1<<n)-1][j]);}
}
printf("%lld\n",ans);if(ans>42)return 0;
sort(an.begin(),an.end());rp(i,0,ans-1)cout<<an[i]<<endl;
return 0;
}

最新文章

  1. 浅说如何制作javascript类库
  2. JavaScript获取css 行间样式,内连样式和外链样式的方式
  3. sql server 查询表基本信息sql
  4. php中设置时区
  5. 理解Node.js(译文)
  6. Yii 2.0 ActiveForm生成表单 ,控制表单label和filed样式,filed一旦报错,前面lable颜色跟着变,看图,帮你解决
  7. Axure环境安装,组件引入,使用示例
  8. hystrix项目实战
  9. python中if else流程判断
  10. 排序算法&lt;No.5&gt;【堆排序】
  11. 35_张孝祥Java高新技术_为注解增加各种属性
  12. beautiful number 数位DP codeforces 55D
  13. ftp传输出现问题
  14. Maximum call stack size exceeded
  15. Asp.Net 之 二维码生成
  16. linux学习2--目录结构
  17. C#进阶学习笔记(个人整理)
  18. Codeforces Round #505 (rated, Div. 1 + Div. 2, based on VK Cup 2018 Final) -B C(GCD,最长连续交替序列)
  19. java 经典范例
  20. Spark Structured Streaming框架(4)之窗口管理详解

热门文章

  1. redhat6.5安装yum
  2. vue-router2.0的用法
  3. Android Animation动画实战(二):从屏幕底部弹出PopupWindow
  4. HTML静态网页---样式属性
  5. C++继承方式
  6. SpringData Jpa、Hibernate、Jpa 三者之间的关系
  7. git 提交添加 emoij 文字
  8. 用生活例子来形象了解TCP-IP协议
  9. java Dialog
  10. H3C 链路聚合显示及维护