[HNOI2006]最短母串问题——AC自动机+状压+bfs环形处理
Description
给定n个字符串(S1,S2,„,Sn),要求找到一个最短的字符串T,使得这n个字符串(S1,S2,„,Sn)都是T的子串。
32MB
Input
Output
Sample Input
ABCD
BCDABC
Sample Output
Solution
一看是一个AC自动机。
一看是一个状压。
一看AC自动机节点再记录一个has包含的字符串集合。
一看要输出方案,肯定也要先考虑怎么弄出最短的长度。
f[i][(1<<n)-1]表示,匹配到AC自动机上的i点,包含的字符串集合为。。。的最短长度。
一看转移有环,然后无法再加入新的阶段,因为会MLE会TLE
所以要环形处理。
一看是一个取min的do
所以可以考虑最短路。
dij,spfa复杂度卡不过。
一看边权只有1……
BFS大法吼!
长度OK
怎么处理方案?
ywy_c_asm:
一遍bfs求出最短距离len,然后再一遍dfs找方案。
dfs时,相当于再把bfs的最短路怎么来的再访问一遍。如果dis[y]=dis[x]+1那么可以转移的,才可以访问。
还需要知道一个点到终点的最短路。
(反向多起点BFS???不行,或运算不可逆)
我们dfs时就可以实现的。类似树形dp
然后如果一个点到一个(1<<n)-1状态的点距离为juli的话,如果有dis[x]+juli[x]==len,那么,这次选择的这个y,所填的字符,就是最终答案的一个字符。
直接加入答案字符串。
char从A~Z枚举。保证第一次搜到的是字典序最小的。
而且一定是连续加入ans字符串。
dfs开头放上,如果tot==n return;
代码:
#include<bits/stdc++.h> using namespace std; typedef long long ll; const int N=13; const int M=600; const int U=11*50*((1<<12)-1)+100; const int inf=0x3f3f3f3f; int n; char s[55]; struct trie{int fail[M],ch[M][26];int has[M];int cnt;void ins(char *s,int l,int id){int now=0;for(int i=1;i<=l;i++){int x=s[i]-'A';if(!ch[now][x]) ch[now][x]=++cnt;now=ch[now][x];}has[now]|=(1<<(id-1));}void build(){queue<int>q;for(int i=0;i<=25;i++){if(ch[0][i]) fail[ch[0][i]]=0,q.push(ch[0][i]);}while(!q.empty()){int x=q.front();q.pop();has[x]|=has[fail[x]];for(int i=0;i<=25;i++){if(ch[x][i]){fail[ch[x][i]]=ch[fail[x]][i];q.push(ch[x][i]);}else ch[x][i]=ch[fail[x]][i];}}} }ac; int get(int ptr,int st){return ptr*(1<<n)+st; } int dis[U]; bool vis[U]; struct node{int P,S; }; queue<node>q; void bfs(){memset(dis,0x3f,sizeof dis);int str=get(0,0);dis[str]=0;vis[str]=1;node nn;nn.P=0,nn.S=0;q.push(nn);while(!q.empty()){node lp=q.front();q.pop();for(int i=0;i<=25;i++){int to=ac.ch[lp.P][i];int NS=lp.S|ac.has[ac.ch[lp.P][i]];int NID=get(to,NS);if(!vis[NID]){dis[NID]=dis[get(lp.P,lp.S)]+1;vis[NID]=1;node kk;kk.P=to;kk.S=NS;q.push(kk);}}} } int len; int tot; char ans[M]; int juli[U]; void dfs(int ptr,int st){int now=get(ptr,st);juli[now]=inf;if(tot==len) return;if(st==(1<<n)-1) {juli[now]=0;return;}for(int i=0;i<=25;i++){int to=ac.ch[ptr][i];int NS=st|ac.has[to];int NID=get(to,NS);if(dis[NID]==dis[now]+1){if(!vis[NID]){vis[NID]=1;dfs(to,NS);}juli[now]=min(juli[now],juli[NID]+1);if(dis[now]+juli[now]==len){ans[++tot]='A'+i;return;}}} } int main(){scanf("%d",&n);for(int i=1;i<=n;i++){scanf("%s",s+1);int l=strlen(s+1);ac.ins(s,l,i); }ac.build();bfs();len=inf;//for(int j=0;j<=(1<<n)-1;j++)//for(int i=0;i<=ac.cnt;i++){// cout<<i<<" "<<j<<" : "<<dis[get(i,j)]<<endl;//}for(int i=0;i<=ac.cnt;i++){int id=get(i,(1<<n)-1);len=min(len,dis[id]);}//cout<<" len "<<len<<endl;memset(vis,0,sizeof vis);memset(juli,0x3f,sizeof juli);vis[get(0,0)]=1;dfs(0,0);//int haha=dfs(0,0);for(int i=tot;i>=1;i--){printf("%c",ans[i]);}return 0; }
1
但是不够优美。
为什么要bfs然后再dfs呢?
bfs也可以求前驱啊!!
bfs时,第一更新到的就是最短路。
如果我们char A~Z,那么更新到的char
也就叫from[y],也就是到y这个点所形成的字典序最小字符串最后一个字符。
记录from,pre(也就是前驱)
bfs后,先找到len
再把所有f[i][(1<<n)-1]的字符找出来,cmp一下。
反正复杂度不超过600*600
代码:
#include<bits/stdc++.h> using namespace std; typedef long long ll; const int N=13; const int M=600; const int U=11*50*((1<<12)-1)+100; const int inf=0x3f3f3f3f; int n; char s[55]; struct trie{int fail[M],ch[M][26];int has[M];int cnt;void ins(char *s,int l,int id){int now=0;for(int i=1;i<=l;i++){int x=s[i]-'A';if(!ch[now][x]) ch[now][x]=++cnt;now=ch[now][x];}has[now]|=(1<<(id-1));}void build(){queue<int>q;for(int i=0;i<=25;i++){if(ch[0][i]) fail[ch[0][i]]=0,q.push(ch[0][i]);}while(!q.empty()){int x=q.front();q.pop();has[x]|=has[fail[x]];for(int i=0;i<=25;i++){if(ch[x][i]){fail[ch[x][i]]=ch[fail[x]][i];q.push(ch[x][i]);}else ch[x][i]=ch[fail[x]][i];}}} }ac; int get(int ptr,int st){return ptr*(1<<n)+st; } int dis[U]; bool vis[U]; struct node{int P,S; }; queue<node>q; int pre[U]; int from[U]; void bfs(){memset(dis,0x3f,sizeof dis);int str=get(0,0);dis[str]=0;vis[str]=1;pre[str]=-1;//warning!!node nn;nn.P=0,nn.S=0;q.push(nn);while(!q.empty()){node lp=q.front();q.pop();for(int i=0;i<=25;i++){int to=ac.ch[lp.P][i];int NS=lp.S|ac.has[ac.ch[lp.P][i]];int NID=get(to,NS);if(!vis[NID]){dis[NID]=dis[get(lp.P,lp.S)]+1;vis[NID]=1;from[NID]=i+1;//warning!!!!pre[NID]=get(lp.P,lp.S);node kk;kk.P=to;kk.S=NS;q.push(kk);}}} } int len; int tot; char ans[M]; char a[M]; bool fl; bool cmp(char *a,char *b){//a better than b?for(int i=1;i<=len;i++){if(a[i]<b[i]) return 1;if(a[i]>b[i]) return 0;} } int main(){scanf("%d",&n);for(int i=1;i<=n;i++){scanf("%s",s+1);int l=strlen(s+1);ac.ins(s,l,i); }ac.build();bfs();len=inf;for(int i=0;i<=ac.cnt;i++){int id=get(i,(1<<n)-1);len=min(len,dis[id]);}fl=false;//cout<<" len "<<len<<endl;for(int i=0;i<=ac.cnt;i++){int id=get(i,(1<<n)-1);if(dis[id]==len){int tmp=len;int z=id;while(pre[z]!=-1){//cout<<z<<endl;a[tmp]='A'+(from[z]-1);z=pre[z];tmp--;}if(!fl){fl=true;memcpy(ans,a,sizeof a);}else{if(cmp(a,ans)) memcpy(ans,a,sizeof a);}}}printf("%s",ans+1);return 0; }
2
但是还不够优美!!
为什么bfs之后还要再比较一遍字符串呢??
bfs中,第一次到达一个(1<<n)-1的点,
这个点就一定是最优解的最后一个节点!!!
因为,bfs分层图保证了最短。
for char A~Z保证了字典序最优。
直接输出即可。
代码:
#include<bits/stdc++.h> using namespace std; typedef long long ll; const int N=13; const int M=600; const int U=11*50*((1<<12)-1)+100; const int inf=0x3f3f3f3f; int n; char s[55]; struct trie{int fail[M],ch[M][26];int has[M];int cnt;void ins(char *s,int l,int id){int now=0;for(int i=1;i<=l;i++){int x=s[i]-'A';if(!ch[now][x]) ch[now][x]=++cnt;now=ch[now][x];}has[now]|=(1<<(id-1));}void build(){queue<int>q;for(int i=0;i<=25;i++){if(ch[0][i]) fail[ch[0][i]]=0,q.push(ch[0][i]);}while(!q.empty()){int x=q.front();q.pop();has[x]|=has[fail[x]];for(int i=0;i<=25;i++){if(ch[x][i]){fail[ch[x][i]]=ch[fail[x]][i];q.push(ch[x][i]);}else ch[x][i]=ch[fail[x]][i];}}} }ac; int get(int ptr,int st){return ptr*(1<<n)+st; } int dis[U]; bool vis[U]; struct node{int P,S; }; queue<node>q; int pre[U]; int from[U]; int len; char ans[M]; void bfs(){memset(dis,0x3f,sizeof dis);int str=get(0,0);dis[str]=0;vis[str]=1;pre[str]=-1;//warning!!node nn;nn.P=0,nn.S=0;q.push(nn);while(!q.empty()){node lp=q.front();q.pop();for(int i=0;i<=25;i++){int to=ac.ch[lp.P][i];int NS=lp.S|ac.has[ac.ch[lp.P][i]];int NID=get(to,NS);if(!vis[NID]){dis[NID]=dis[get(lp.P,lp.S)]+1;vis[NID]=1;from[NID]=i+1;//warning!!!!pre[NID]=get(lp.P,lp.S);node kk;kk.P=to;kk.S=NS;q.push(kk);if(NS==(1<<n)-1){int z=NID;while(pre[z]!=-1){ans[++len]='A'+(from[z]-1);z=pre[z];}return;}}}} }int main(){scanf("%d",&n);for(int i=1;i<=n;i++){scanf("%s",s+1);int l=strlen(s+1);ac.ins(s,l,i); }ac.build();bfs();for(int i=len;i>=1;i--) printf("%c",ans[i]);return 0; }
3
总结:
有的时候我们只关心最优答案。
但有的时候我们也关心方案。(毕竟知道方案比较实用)
方案的输出就要求高了一些。
但是肯定也是在最优答案的基础上的。
关于路径转移,凑字典序最小,经常通过松弛最优解的顺序,恰好可以保证松弛路径就是最小字典序。
本题就是一个很好的例子。
转载于:https://www.cnblogs.com/Miracevin/p/9734949.html
[HNOI2006]最短母串问题——AC自动机+状压+bfs环形处理相关推荐
- 2782: [HNOI2006]最短母串
2782: [HNOI2006]最短母串 Time Limit: 1 Sec Memory Limit: 128 MB Submit: 3 Solved: 2 [Submit][Status][W ...
- BZOJ1195[HNOI2006]最短母串——AC自动机+BFS+状态压缩
题目描述 给定n个字符串(S1,S2,„,Sn),要求找到一个最短的字符串T,使得这n个字符串(S1,S2,„,Sn)都是T的子串. 输入 第一行是一个正整数n(n<=12),表示给定的字符串的 ...
- 【bzoj1195】[HNOI2006]最短母串 AC自动机+状态压缩+BFS最短路
原文地址:http://www.cnblogs.com/GXZlegend/p/6825226.html 题目描述 给定n个字符串(S1,S2,„,Sn),要求找到一个最短的字符串T,使得这n个字符串 ...
- HDU - 3247 Resource Archiver(AC自动机+状压dp+bfs)
题目链接:点击查看 题目大意:给出 n 个目标串和 m 个病毒串,要求构造出一个长度最短的,且包含全部 n 个目标串,但是不能包含任意一个病毒串的01字符串,输出其最短长度 题目分析:比较综合的一道题 ...
- HDU - 2825 Wireless Password(AC自动机+状压dp)
题目链接:点击查看 题目大意:给出 m 个匹配串,问长度为 n 的字符串中,至少包含 k 个匹配串(可重叠)的字符串有多少个 题目分析:考虑到n,m,k都特别小,所以可以先用AC自动机将状态关系转移出 ...
- hdu 6086 -- Rikka with String(AC自动机 + 状压DP)
题目链接 Problem Description As we know, Rikka is poor at math. Yuta is worrying about this situation, s ...
- 【hdu2825】ac自动机 + 状压dp
传送门 题目大意: 给你一些密码片段字符串,让你求长度为n,且至少包含k个不同密码片段串的字符串的数量. 题解: 因为密码串不多,可以考虑状态压缩 设dp[i][j][sta]表示长为i的字符串匹配到 ...
- HDU - 3341 Lost's revenge(AC自动机+状压dp)
题目链接:点击查看 题目大意:给出 n 个模式串,最后给出一个匹配串,问如何重新排列匹配串,可以使得匹配串尽可能多的匹配模式串 题目分析:因为是模式串和匹配串的匹配,所以考虑AC自动机,因为数据范围比 ...
- hdu 6086 Rikka with String(AC自动机+状压dp)
题目链接:hdu 6086 Rikka with String 题意: 给你n个只含01的串,和一个长度L,现在让你构造出满足s[i]≠s[|s|−i+1] for all i∈[1,|s|] ,长度 ...
最新文章
- Unknown property 'mybatis-plus' yml文件报错
- python封装举例_Python面向对象封装操作案例详解
- 汇编程序.c到a.out的生命历程
- 数据库备份还原顺序关系(环境:Microsoft SQL Server 2008 R2)
- php tiff,在PHP中将tiff转换为jpg?
- 华为荣耀5cvs华为v9play_华为荣耀v9play和荣耀9哪个好_华为荣耀v9play和荣耀9对比评测_飞翔教程...
- 最大权闭合图hdu3996
- 把C#.NET程序移植到DB2上的经验浅谈(C#连接DB2可以用IBM.Data.DB2.dll)
- python初学者怎么找工作_学python找工作好找吗
- python字符串_python的字符串怎么拼接
- 学习ubuntu 网址
- 如何用python下载图片_Python之如何优雅的下载一堆小哥哥图片
- EMC VMAX控制台更换指南
- 内存超频时序怎么调_一个傻瓜式内存超频教程
- 协议软件服务器吗,使用开源协议软件搭建即时通讯服务器.doc
- 人人都在推销(销售永不为“奴”)
- jsp学习—虚拟主机
- Jenkins编辑或替换All view
- 银行板块行情发令枪已打响12月7日天弘中证银行ETF发售1天
- 移动端苏宁首页制作和rem
热门文章
- ONNX系列六 --- 在Java中使用可移植的ONNX AI模型
- 防止对SQL Server的蛮力攻击
- Eclipse 4.16 稳定版发布
- stat在python中_stat模块接口
- python 帮助 autocad_python 使用pyautocad操作AutoCAD
- python引入文件并执行_文件操作和导入os模块执行文件和目录管理操作
- 模拟轮盘抽奖游戏 python_“吃鸡”4位美女在现实中,穿上游戏的“新军需”,这身材绝了...
- 正则表达式 以字符串开头_干货-Shell编程之正则表达式
- linux下双击sh文件夹,Linux系统下如何运行.sh文件的实现
- 项目中查询数据和模糊查询