模板
AC自动机应用于多模式串匹配,时间复杂度\(O(n)\),其中\(n\)为文本串长度
AC自动机是在Trie上实现kmp,如果当前节点匹配失败,则从当前节点的fail指针指向的节点开始继续匹配
fail数组的构建可以通过bfs实现
const int maxn=1000010,maxm=10010,maxnode=500010;
int trie[maxnode][30],fail[maxnode],sum[maxnode],tot;
int book[maxnode];
char s[maxn],p[maxm];
void init(){
memset(trie,0,sizeof(trie));
memset(sum,0,sizeof(sum));
memset(book,0,sizeof(book));
book[0]=1;
tot=0;
fail[0]=0;
}
void insert(char* s){
int l=strlen(s);
int root=0;
for(int i=0;i<l;i++){
int id=s[i]-'a';
if(!trie[root][id]) trie[root][id]=++tot;
root=trie[root][id];
}
sum[root]++;
}
void get_fail(){
queue<int> q;
for(int i=0;i<26;i++){
if(trie[0][i]){
fail[trie[0][i]]=0;
q.push(trie[0][i]);
}
}
while(!q.empty()){
int now=q.front();
q.pop();
for(int i=0;i<26;i++){
if(trie[now][i]){
fail[trie[now][i]]=trie[fail[now]][i];
q.push(trie[now][i]);
}
else{
trie[now][i]=trie[fail[now]][i];
}
}
}
}
int query(char* s){
int now=0,ans=0,l=strlen(s);
for(int i=0;i<l;i++){
int id=s[i]-'a';
now=trie[now][id];
for(int j=now;j && !book[j];j=fail[j]){
ans+=sum[j];
book[j]=1;
}
}
return ans;
}