AC自动机（简单版）（施工ing）

声明

---

　　想看加强版的戳这里（施工ing，作者正努力中）~

　　先贴题目吧哎~   AC自动机加强版  洛谷 P3796

---

　　题目： 洛谷 P3808 （数据范围困了我好久 TAT）

　　反正涉及字符串的算法都很玄学，此模板不例外，能用到此模板的都至少 省选+  了。

　　

　　所需知识点：KMP、Trie。

---

　　由于本人比较无能，忘了以前怎么理解的（包括 KMP 和 Trie），完全忘了，只找到模板，只会套用，等我理解了再来补坑吧！！~

　　实在要看思路的这里有传送门：洛谷日报 44 期

---

　　只贴标程（以后再补，一个模板贼长了）：

 type
         node=record
                 sum,failed:longint;
                 son:array ['a'..'z'] of longint;
         end;
 var
         t:array [..] of node;
         d,v:array[..] of longint;
         s:array[..] of char;
         n,len,tot,ans,i:longint;
 procedure insert;
 var
         root,i:longint;
 begin
         root:=;
         for i:= to len do
         begin
                 if t[root].son[s[i]]= then
                 begin
                         inc(tot);
                         t[tot].failed:=-;
                         t[root].son[s[i]]:=tot;
                 end;
                 root:=t[root].son[s[i]];
         end;
         inc(t[root].sum);
 end;
 procedure bfs;
 var
         h,r,now,s,f:longint;
         ch:char;
 begin
         h:=;
         r:=;
         while h<r do
         begin
                 now:=d[h];
                 for ch:='a' to 'z' do
                 begin
                         s:=t[now].son[ch];
                         if s<> then
                         begin
                                 f:=t[now].failed;
                                 while (f<>-) and (t[f].son[ch]=) do
                                         f:=t[f].failed;
                                 if f=- then t[s].failed:=
                                         else t[s].failed:=t[f].son[ch];
                                 d[r]:=s;
                                 inc(r);
                         end;
                 end;
                 inc(h);
         end;
 end;
 procedure AC_Automaton;
 var
         i,now,k,x:longint;
 begin
         i:=;
         now:=;
         while i<=len do
         begin
                 k:=t[now].son[s[i]];
                 if k<> then
                 begin
                         x:=k;
                         while (v[x]=) and (x<>) do
                         begin
                                 v[x]:=;
                                 inc(ans,t[x].sum);
                                 x:=t[x].failed;
                         end;
                         now:=k;
                         inc(i);
                 end else
                 begin
                         x:=now;
                         while (x<>-) and (t[x].son[s[i]]=) do
                                 x:=t[x].failed;
                         now:=x;
                         if now=- then
                         begin
                                 now:=;
                                 inc(i);
                         end;
                 end;
         end;
 end;
 begin
         readln(n);
         t[].failed:=-;
         for i:= to n do
         begin
                 len:=;
                 while not eoln do
                 begin
                         inc(len);
                         read(s[len]);
                         if not (s[len] in ['a'..'z']) then
                         begin
                                 dec(len);
                                 break;
                         end;
                 end;
                 readln;
                 insert;
         end;
         bfs;
         len:=;
         while not eoln do
         begin
                 inc(len);
                 read(s[len]);
                 if not (s[len] in ['a'..'z']) then
                 begin
                         dec(len);
                         break;
                 end;
         end;
         readln;
         AC_Automaton;
         writeln(ans);
 end.

AC_Automaton