题目

P4045 [JSOI2009]密码

做法

AC自动机+状压+爆搜

建AC自动机是显然的,顺便预处理\(lst_i\)表示\(i\)结点以哪些串结束(二进制)

然后跑状压\(dp[i][j][k]\)表\(i\)长度现在在\(j\)结点已经出现的串\(k\),理解:自由结点则由根节点\(0\)传递

毒瘤的地方在于输出串,显然\(ans<=42\)时,没有自由结点

两遍爆搜:

\(~~~~~\)第一遍预处理\(visit[i][j][k]\),其中\(i,j,k\)和\(dp\)数组相同,数组内存的值表示是否有效

\(~~~~~\)第二遍直接跑\(visit\),有效才能搜过去

My complete

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<string>
#include<iostream>
#include<cmath>
#include<queue>
using namespace std;
typedef int LL;
const LL maxn=200;
LL L,n,nod,Up;
long long ans;
LL lst[maxn],son[maxn][26],fail[maxn];
long long dp[30][maxn][1<<11];
inline void Insert(char *s,LL id){
LL Len(strlen(s+1)),now(0);
for(LL i=1;i<=Len;++i){
LL c(s[i]-'a');
if(son[now][c]==0) son[now][c]=++nod;
now=son[now][c];
}lst[now]=1<<(id-1);
}
inline void F_trie(){
queue<LL>que;
for(LL i=0;i<26;++i)
if(son[0][i]) que.push(son[0][i]);
while(que.size()){
LL u(que.front()); que.pop();
lst[u]|=lst[fail[u]];
for(LL i=0;i<26;++i){
LL v(son[u][i]);
if(v){
fail[v]=son[fail[u]][i];
que.push(v);
}else son[u][i]=son[fail[u]][i];
}
}
}
LL sta[30],visit[30][maxn][1<<11];
void Dfs(LL len,LL now,LL bit){
if(len==L){
for(LL i=0;i<L;++i)
printf("%c",sta[i]+'a');printf("\n");
return;
}
for(LL i=0;i<26;++i){
LL v(son[now][i]);
if(v==0||visit[len+1][v][bit|lst[v]]!=1) continue;
sta[len]=i;
Dfs(len+1,v,bit|lst[v]);
}
}
bool First(LL len,LL now,LL bit){
if(visit[len][now][bit]==1) return true;
else if(visit[len][now][bit]==-1) return false;
else if(len==L){
visit[len][now][bit]=-1; return false;
}
for(LL i=0;i<26;++i){
LL v(son[now][i]);
if(v==0) continue;
if(First(len+1,v,bit|lst[v]))
visit[len][now][bit]=1;
}
if(visit[len][now][bit]!=1){
visit[len][now][bit]=-1;
return false;
}return true;
}
inline void Solve(){
for(LL i=0;i<L;++i)
for(LL u=0;u<=nod;++u)
for(LL pre=0;pre<Up;++pre)
if(dp[i][u][pre]) First(i,u,pre);
Dfs(0,0,0);
}
char s[maxn];
int main(){
scanf("%d %d",&L,&n);
for(LL i=1;i<=n;++i){
scanf(" %s",s+1),
Insert(s,i);
}F_trie();
Up=(1<<n);
dp[0][0][0]=1;
for(LL i=1;i<=L;++i)
for(LL u=0;u<=nod;++u)
for(LL pre=0;pre<Up;++pre){
if(dp[i-1][u][pre]==0) continue;
for(LL k=0;k<26;++k){
LL v(son[u][k]);
dp[i][v][pre|lst[v]]+=dp[i-1][u][pre];
}
}
for(LL i=0;i<=nod;++i){
if(dp[L][i][Up-1])
visit[L][i][Up-1]=1,
ans+=dp[L][i][Up-1];
else visit[L][i][Up-1]=-1;
}
printf("%lld\n",ans);
if(ans<=42)
Solve();
return 0;
}/*
*/

P4045 [JSOI2009]密码的更多相关文章

  1. 洛谷$P4045\ [JSOI2009]$密码 $dp$+$AC$自动机

    正解:$dp$+$AC$自动机+搜索 解题报告: 传送门$QwQ$ 首先显然先建个$AC$自动机,然后考虑设$f_{i,j,k}$表示长度为$i$,现在在$AC$自动机的第$j$个位置,已经表示出来的 ...

  2. BZOJ 1559: [JSOI2009]密码( AC自动机 + 状压dp )

    建AC自动机后, dp(x, y, s)表示当前长度为x, 在结点y, 包括的串的状态为s的方案数, 转移就在自动机上走就行了. 对于输出方案, 必定是由给出的串组成(因为<=42), 所以直接 ...

  3. bzoj1559 [JSOI2009]密码

    题目链接:[JSOI2009]密码 我们先看第一问:输出方案数 我们把所有给出来的串丢到AC自动机里面去,然后在建出来的\(trie\)图上跑dp 由于\(n\leq 10\)我们很自然的就想到了状压 ...

  4. 【BZOJ1559】[JSOI2009]密码(AC自动机,动态规划,搜索)

    [BZOJ1559][JSOI2009]密码(AC自动机,动态规划,搜索) 题面 BZOJ 洛谷 题解 首先求方案数显然是构建\(AC\)自动机之后再状压\(dp\),似乎没有什么好讲的. 现在考虑答 ...

  5. [JSOI2009]密码 [AC自动机]

    题面 bzoj luogu 首先看到这题就知道随便暴枚 只要是多项式算法都能过 先常规建AC自动机 注意被别的单词包含的单词没有存在的价值 剩余单词状压 大力dp f[长度][节点编号][状态] \( ...

  6. BZOJ1559[JSOI2009]密码——AC自动机+DP+搜索

    题目描述 输入 输出 样例输入 10 2 hello world 样例输出 2 helloworld worldhello 提示 这题算是一个套路题了,多个串求都包含它们的长为L的串的方案数. 显然是 ...

  7. JSOI2009 密码 和 JSOI2007 文本生成器 和 ZOJ3545 Rescue the Rabbit

    密码 众所周知,密码在信息领域起到了不可估量的作用.对于普通的登陆口令,唯一的破解 方法就是暴力破解一逐个尝试所有可能的字母组合,但这是一项很耗时又容易被发现的工 作.所以,为了获取对方的登陆口令,在 ...

  8. [BZOJ 1559] [JSOI2009] 密码 【AC自动机DP】

    题目链接:BZOJ - 1559 题目分析 将给定的串建成AC自动机,然后在AC自动机上状压DP. 转移边就是Father -> Son 或 Now -> Fail. f[i][j][k] ...

  9. BZOJ 1559 JSOI2009 密码 状压dp+AC自动机+搜索

    题目链接:https://www.lydsy.com/JudgeOnline/problem.php?id=1559 分析: 这个题意真的是很**啊!!!直接说每一个字符串至少出现一次不就好了吗... ...

随机推荐

  1. VS2012 未找到与约束ContractName Microsoft.VisualStudio.Text.ITextDocumentFactoryService 未找到与约束ContractName,无法打开项目的解决方案 SQLyog 注册码

    VS2012 未找到与约束ContractName Microsoft.VisualStudio.Text.ITextDocumentFactoryService   最近新换了系统还真是问题多多呀! ...

  2. winform对话框拖拽显示文件路径的问题

    allow drop=true; dragEnter dragDrop vs管理员账户拖拽会失败

  3. webpack 功能大全 【环境配置】

    1. webpack简介 webpack 是一个模块打包工具.它使得模块相互依赖并且可构建等价于这些模块的静态资源.相比于已经存在的模块打包器(module bundler),webpack的开发动机 ...

  4. MySQL_使用时遇到的问题汇总

    一.data too long for column 'name' at row 1 1.现象:把数据库的字符集编码设置为utf-8,通过DOS界面向表的某一列插入汉字时会遇到类似 data too ...

  5. oracle中sql执行性能关注点

    繁琐复杂的执行计划.可能迷了开发人员的眼.导致一条性感又傻X的SQL 在服务器上跑得特欢乐     有介于此.重点抓住几个部分.至于其他的嘛.当然是.非礼勿视咯..          ㈠ 返回行的数量 ...

  6. ubuntu 16.04安装visual studio code 提示libnss3版本低:NSS >= 3.26 is required

    Linux Ubuntu 1604安装VS CODE之后,执行./code报错误: [3781:0914/160851.489979:FATAL:nss_util.cc(632)] NSS_Versi ...

  7. 如何使用eclipse创建Maven工程及其子模块

    http://blog.csdn.net/jasonchris/article/details/8838802 http://www.tuicool.com/articles/RzyuAj 1,首先创 ...

  8. android shape的用法总结

    参考代码: <shape xmlns:android="http://schemas.android.com/apk/res/android" > <corner ...

  9. SVM支持向量机

    支持向量机(Support Vector Machine,SVM)是效果最好的分类算法之中的一个. 一.线性分类器: 一个线性分类器就是要在n维的数据空间中找到一个超平面,通过这个超平面能够把两类数据 ...

  10. x^a=b(mod c)求解x在[0,c-1]上解的个数模板+原根求法

    /************************************* 求解x^a=b(mod c) x在[0,c-1]上解的个数模板 输入:1e9>=a,b>=1,1e9>= ...