摘抄、修改课件:
  • AC自动机就是在Trie上进行类似KMP的过程,可以进行多模板匹配
  • 1.如何得到多个匹配模板的fail函数?(建立AC自动机)

  • KMP是从左到右进行,那么在Trie上进行时,需要从根结点开始按BFS的顺序进行

  • BFS到一个节点时,求它的孩子的fail函数
    求x->ch[i]->fail时,先令now=x->fail。
    若存在now->ch[i],就使
    x->ch[i]->fail = now->ch[i]
    否则令now=now->fail,继续这个过程。
    如果now=root后仍不存在now->ch[i],
    就使x->ch[i]->fail = root

  • 2.如何匹配一段文本?
  • 初始在root,依次枚举B中每一个字符。
    假设现在在now,当前字符为c。
    若存在now->ch[c],到达now->ch[c]。
    否则令now=now->fail,继续这个过程。
    如果now=root后仍不存在now->ch[c],就停留在root点。

  • AC自动机中,fail指针仍然会形成一个树结构,称之为fail树。(要将指向翻转)
  • Fail树的一个性质是,某个结点所对应的字符串肯定是其后代结点所对应的字符串的后缀。

  • 也就是说,B的前i个字符在AC自动机上跑完之后,如果到达点x,不仅x对应的字符串是B[1,i]的一个后缀所有x在fail树中的祖先结点对应的字符串都是B[1,i]的一个后缀
  • 3.如何求A在B中出现了多少次?
  • 如果B的前i个字符在AC自动机中跑完之后到达点x,A对应的点是y。那么只要在fail树中y是x的祖先(x失配会向y方向走)结点,A就是B[1,i]的后缀。
    B在AC自动机中每跑完一个字符,都在当前点上记录访问次数+1。
    A的对应点y在fail树中的子树中所有结点的访问次数之和就是A在B中出现的次数。

  • 4.一个小优化:(链接)
  • 我们可以看出,fail是用来寻找失配时走到的位置的,走一个点fail的他的ch[i]一定是没有的。那么我们为什么不用这些ch指针直接指向它的fail的ch[i]呢,可以发现这样操作之后,每个点的ch[i]直接指向了原本沿着失配边不停走的最终结果,这样的话,匹配时每次用ch指针的对象即可,不用一直沿fail边走看看这个点有没有ch[i]了。这个被称作Trie图。
  • 更简洁的说,t[u].ch[i] 就是从节点u走ch[i]应该到的位置
 
hdu2222 统计模式串在文本串中出现总次数,相同的算一个,处理到文本的前i个字符时,把当前位置fail树到根的路径上的节点的单词个数(都是B[1,i]的后缀)全部统计,同时置vis[i]=1(防止下一次重复统计,同时节省时间)
 
不加优化 402ms
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int N=1e6+,M=5e5+;
int n;
struct node{
int ch[],f,val;
}t[M];
int root,sz;
char s[N];
void ins(char s[]){
int u=root,n=strlen(s+);
for(int i=;i<=n;i++){
int c=s[i]-'a';
if(!t[u].ch[c]) t[u].ch[c]=++sz;
u=t[u].ch[c];
}
t[u].val++;
}
int q[N],head=,tail=;
void getAC(){
head=tail=;
q[tail++]=root;
while(head!=tail){
int u=q[head++];
for(int i=;i<;i++){
int v=t[u].ch[i];
if(v){
if(u==root) t[v].f=root;
else{
int now=t[u].f;
while(now!=root&&!t[now].ch[i]) now=t[now].f;
if(t[now].ch[i]) now=t[now].ch[i];
t[v].f=now;
}
q[tail++]=v;
}
}
}
}
int ans,vis[N];
void AC(char s[]){
int now=root,n=strlen(s+);
for(int i=;i<=n;i++){
int c=s[i]-'a';
while(now!=root&&!t[now].ch[c]) now=t[now].f;
if(t[now].ch[c]){
now=t[now].ch[c];
for(int _=now;_!=root&&!vis[_];_=t[_].f)
ans+=t[_].val,vis[_]=;
}
}
}
void init(){
memset(t,,sizeof(t));
memset(vis,,sizeof(vis));
root=sz=ans=;
}
int main(){
//freopen("in.txt","r",stdin);
int T; scanf("%d",&T);
while(T--){
scanf("%d",&n);
init();
for(int i=;i<=n;i++) scanf("%s",s+),ins(s);
getAC();
scanf("%s",s+);
AC(s);
printf("%d\n",ans);
}
}

加优化 343ms

注意getAC()通过把root的所有有的孩子加入队列减少了一种边界讨论(即因为t[0].fail=0造成的那个),因为root的孩子的fail就是0(root)

注意引用v

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int N=1e6+,M=5e5+;
int n;
struct node{
int ch[],f,val;
}t[M];
int sz;
char s[N];
void ins(char s[]){
int u=,n=strlen(s+);
for(int i=;i<=n;i++){
int c=s[i]-'a';
if(!t[u].ch[c]) t[u].ch[c]=++sz;
u=t[u].ch[c];
}
t[u].val++;
}
int q[N],head=,tail=;
void getAC(){
head=tail=;
for(int i=;i<;i++)
if(t[].ch[i]) q[tail++]=t[].ch[i];
while(head!=tail){
int u=q[head++];
for(int i=;i<;i++){
int &v=t[u].ch[i];
if(!v) {v=t[t[u].f].ch[i];continue;}//meiyou ch,zhijie tiaodao fail
t[v].f=t[t[u].f].ch[i];
q[tail++]=v;
}
}
}
int ans,vis[N];
void AC(char s[]){
int now=,n=strlen(s+);
for(int i=;i<=n;i++){
int c=s[i]-'a';
now=t[now].ch[c];
for(int _=now;_!=&&!vis[_];_=t[_].f)
ans+=t[_].val,vis[_]=;
}
}
void init(){
memset(t,,sizeof(t));
memset(vis,,sizeof(vis));
sz=ans=;
}
int main(){
//freopen("in.txt","r",stdin);
int T; scanf("%d",&T);
while(T--){
scanf("%d",&n);
init();
for(int i=;i<=n;i++) scanf("%s",s+),ins(s);
getAC();
scanf("%s",s+);
AC(s);
printf("%d\n",ans);
}
}
 

[AC自动机]【学习笔记】的更多相关文章

  1. AC自动机学习笔记-2(Trie图&&last优化)

    我是连月更都做不到的蒟蒻博主QwQ 考虑到我太菜了,考完noip就要退役了,所以我决定还是把博客的倒数第二篇博客给写了,也算是填了一个坑吧.(最后一篇?当然是悲怆のnoip退役记啦QAQ) 所以我们今 ...

  2. AC自动机板子题/AC自动机学习笔记!

    想知道484每个萌新oier在最初知道AC自动机的时候都会理解为自动AC稽什么的,,,反正我记得我当初刚知道这个东西的时候,我以为是什么神仙东西,,,(好趴虽然确实是个对菜菜灵巧比较难理解的神仙知识点 ...

  3. [AC自动机][学习笔记]

    用途 AC自动机适用于一类用多个子串在模板串中匹配的字符串问题. 也就是说先给出一个模板串,然后给出一些子串.要求有多少个子串在这个模板串中出现过. KMP与trie树 其实AC自动机就是KMP与tr ...

  4. AC自动机学习笔记-1(怎么造一台AC自动机?)

    月更博主又来送温暖啦QwQ 今天我们学习的算法是AC自动机.AC自动机是解决字符串多模匹配问题的利器,而且代码也十分好打=w= 在这一篇博客里,我将讲解AC自动机是什么,以及怎么构建一个最朴素的AC自 ...

  5. AC 自动机学习笔记

    虽然 NOIp 原地爆炸了,目前进入 AFO 状态,但感觉省选还是要冲一把,所以现在又来开始颓字符串辣 首先先复习一个很早很早就学过但忘记的算法--自动 AC AC自动机. AC 自动机能够在 \(\ ...

  6. AC自动机学习笔记

    AC自动机 ----多个模板的字符串匹配 字典树Trie加上失配边构成 插入操作:ac.insert(p[i],i);构造失配函数:ac.getFail();计算文本串T中每个模板串的匹配数:ac.f ...

  7. 【AC自动机】【字符串】【字典树】AC自动机 学习笔记

    blog:www.wjyyy.top     AC自动机是一种毒瘤的方便的多模式串匹配算法.基于字典树,用到了类似KMP的思维.     AC自动机与KMP不同的是,AC自动机可以同时匹配多个模式串, ...

  8. AC自动机学习

    今天包括这一周开始学习AC自动机了,有点晚,但我感觉努努力还来得及.4月份还得认认真真攻图论,加油! 为2个月后的邀请赛及省赛.东北赛做准备. 推荐AC自动机学习地址:http://www.cppbl ...

  9. 后缀自动机&回文自动机学习笔记

    在学了一天其实是边学边摆之后我终于大概$get$后缀自动机了,,,就很感动,于是时隔多年我终于决定再写篇学习笔记辽$QwQ$ $umm$和$FFT$学习笔记一样,这是一篇单纯的$gql$的知识总结博, ...

  10. AC自动机学习小结

    AC自动机 简要说明 \(AC\) 自动机,全称 \(Aho-Corasick\ automaton\) ,是一种有限状态自动机,应用于多模式串匹配.在 \(OI\) 中通常搭配 \(dp\) 食用. ...

随机推荐

  1. MVC5 网站开发之六 管理员 2、添加、删除、重置密码、修改密码、列表浏览

    目录 奔跑吧,代码小哥! MVC5网站开发之一 总体概述 MVC5 网站开发之二 创建项目 MVC5 网站开发之三 数据存储层功能实现 MVC5 网站开发之四 业务逻辑层的架构和基本功能 MVC5 网 ...

  2. leetcode--5. Longest Palindromic Substring

    题目来自 https://leetcode.com/problems/longest-palindromic-substring/ 题目:Given a string S, find the long ...

  3. 创建 Monitor 并测试 - 每天5分钟玩转 OpenStack(124)

    前面我们创建了 Pool,VIP 并添加了 Member.今天将创建 Monitor,然后测试 LBaaS 是否能够正常工作. 创建 Monitor LBaaS 可以创建 monitor,用于监控 P ...

  4. HTML5 学习总结(三)——本地存储

    一.HTML4客户端存储 B/S架构的应用大量的信息存储在服务器端,客户端通过请求响应的方式从服务器获得数据,这样集中存储也会给服务器带来相应的压力,有些数据可以直接存储在客户端,传统的Web技术中会 ...

  5. 剖析 HTTP 协议

    HTTP 概述 HTTP 是什么? HTTP(HyperText Transfer Protocol,超文本传输协议)是WWW (World Wide Web)实现数据通信的基石. HTTP是由IET ...

  6. Http协议相关内容

    http协议概述 HTTP是hypertext transfer protocol(超文本传输协议)的简写,它是TCP/IP协议的一个应用层协议,用于定义浏览器与WEB服务器之间交换数据的过程. 客户 ...

  7. 如果你也会C#,那不妨了解下F#(4):了解函数及常用函数

    函数式编程其实就是按照数学上的函数运算思想来实现计算机上的运算.虽然我们不需要深入了解数学函数的知识,但应该清楚函数式编程的基础是来自于数学. 例如数学函数\(f(x) = x^2+x\),并没有指定 ...

  8. 【C#公共帮助类】 WebHelper帮助类

    如果你是一个新手,如果你刚接触MVC,如果你跟着置顶的那个项目,我们肯定会用到这里面的几个帮助类 它们都在Common类库下,大家一定要记住要点:取其精华去其糟粕,切勿拿来主义~ Applicatio ...

  9. 使用BitArray判断素数

    首先显示1024范围内的所有素数,然后显示输入的数是否是素数.1024 是代码中计算的素数的范围,可以修改.计算平方根,是为了确定一个基数的范围.1024的平方根是32,两个超过32 的数相乘,肯定大 ...

  10. 分享一个php邮件库——swiftmailer

    最近看到一个好的php邮件库,与phpmailer作用一样,但性能比phpmailer好,尤其是在处理附件的能力上,发送邮件成功的几率也高. github地址:https://github.com/s ...