trie+kmp
樸素思想：
當前節點為p，之前已求得fail[p]
trie[p,c]是p 通過字元c指向的 乙個子節點，現要求fail[ trie[p,c] ]，即fail[x]
若trie[fail[p],c]存在，則fail[x]=trie[fail[p],c]， 即p的子節點的fail = p的fail的子節點
否則，讓p一直跳fail指標，fail[x]=trie[fail[fail[p]],c]，直到存在 / 根節點
fail路徑壓縮後，可優化為trie圖
其實就是，在trie上查詢s串的每個字首
在字典樹上走一遍s串，每次累加當前字尾能匹配的個數 （通過跳fail實現）
query_mx時每次都跳fail到根節點，最壞為 o(n*m)
fail樹：所有fail指標連成邊，是一棵樹
即，每個節點的fail指標指向fa，節點0作根
優化：只在fail樹的"末端"節點+1（差分思想），再dfs / 按拓撲序轉移
p3796 【模板】ac自動機（加強版）
p3808 【模板】ac自動機（簡單版）
p5357 【模板】ac自動機（二次加強版）
const
int n=
150+5;
int n;
char s[n][75
], str[
2000010];
int tr[n*70]
[26],idx;
//總字元為 n
int ed[n*70]
, fail[n*70]
;int id[n*70]
;//字串末端的trie節點對應的 id （ id和trie節點相互對映 ）
int mp[n*70]
;//id 對映為字串末端的 trie節點
int cnt[n*70]
;vector<
int> mxi;
namespace ac
// ed[p]+=1;
ed[p]
=id;
//1、trie節點對映為模板串id （前提是不存在相同的模板串）
mp[id]
=p;//2、id 對映為 trie節點 （可以重複相同）
}void
build()
}}intquery_cnt
(char s)
return res;
}int
query_mx
(char s)
}fu(i,0
,idx)
if(ed[i]
) mx=
max(mx,cnt[i]);
//列舉0~idx所有節點
fu(i,
0,idx)
if(ed[i]
&& cnt[i]
==mx) mxi.
pb(ed[i]);
//i是trie節點編號，ed[i]才是字串編號
return mx;}}
vector<
int> g[n*70]
;voiddp(
int x)
}int
solve()
intquery_mx_dp
(char s)
return
solve()
;}intwork()
intmain()
AC自動機 學習筆記
是一種數學模型，大概就是由一堆狀態和狀態轉移規則等東西構成，能與外界交換資訊，並改變動作。這個是理論上的東西，了解就行，對ac自動機的理解沒有大影響。通俗的講就是在trie上做kmp，處理多模式串匹配問題。trie 的每個結點就是乙個狀態，根結點是初始狀態。ac自動機的行為被定義為一下3個函式 1....
AC自動機學習筆記
ac自動機是基於字典樹和fail指標來快速一類解決多串匹配的問題。先用所有模式串建乙個字典樹。然後用bfs搞出每個節點的fail指標。fail指標是指向 和當前 字首的字尾有最長匹配的字首。洛谷3808 掃文字串的時候，標記一下訪問過的字典樹上的節點。include using namespace ...
AC自動機學習筆記
title ac自動機學習筆記 date 2020 08 31 15 53 40 tags 8月的最後一天，還是完成了ac自動機的學習。在熟練掌握了kmp後，我發現ac自動機並沒有想象的那麼難，既不難理解，也不難實現，於是決定寫點東西記錄一下。本篇主要談談ac自動機的理論，思想。首先我們必須要明確乙...