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 [0..1000001] of node;
        d,v:array[0..1000001] of longint;
        s:array[0..1000001] of char;
        n,len,tot,ans,i:longint;
procedure insert;
var
        root,i:longint;
begin
        root:=0;
        for i:=1 to len do
        begin
                if t[root].son[s[i]]=0 then
                begin
                        inc(tot);
                        t[tot].failed:=-1;
                        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:=1;
        r:=2;
        while h<r do
        begin
                now:=d[h];
                for ch:='a' to 'z' do
                begin
                        s:=t[now].son[ch];
                        if s<>0 then
                        begin
                                f:=t[now].failed;
                                while (f<>-1) and (t[f].son[ch]=0) do
                                        f:=t[f].failed;
                                if f=-1 then t[s].failed:=0
                                        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:=1;
        now:=0;
        while i<=len do
        begin
                k:=t[now].son[s[i]];
                if k<>0 then
                begin
                        x:=k;
                        while (v[x]=0) and (x<>0) do
                        begin
                                v[x]:=1;
                                inc(ans,t[x].sum);
                                x:=t[x].failed;
                        end;
                        now:=k;
                        inc(i);
                end else
                begin
                        x:=now;
                        while (x<>-1) and (t[x].son[s[i]]=0) do
                                x:=t[x].failed;
                        now:=x;
                        if now=-1 then
                        begin
                                now:=0;
                                inc(i);
                        end;
                end;
        end;
end;
begin
        readln(n);
        t[0].failed:=-1;
        for i:=1 to n do
        begin
                len:=0;
                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:=0;
        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.