自动AC机qwq（大雾）以及trie图fail图的一些结论

 1 #include<iostream>
 2 #include<cstdio>
 3 #include<cstring>
 4 #include<string>
 5 #include<queue>
 6 #include<algorithm>
 7 #include<cmath>
 8 using namespace std;
 9 const int MAX=1e6,TYPE=26;
10 struct ac_automation{
11     int trie[MAX][TYPE],num[MAX],tot,fail[MAX];
12     void readin(char * a)
13     {
14         int k=strlen(a),now=0;
15         for(int i=0;i<k;i++)
16         {
17             if(!trie[now][a[i]-'a'])
18                 trie[now][a[i]-'a']=++tot;
19             now=trie[now][a[i]-'a'];
20         }
21         num[now]++;
22     }
23     void getfail()
24     {
25         queue<int> q;
26         memset(fail,0,sizeof(fail));
27         for(int i=0;i<TYPE;i++)
28             if(trie[0][i])
29                 q.push(trie[0][i]);
30         while(!q.empty())
31         {
32             int k=q.front();
33             q.pop();
34             for(int i=0;i<TYPE;i++)
35                 if(trie[k][i])
36                 {
37                     fail[trie[k][i]]=trie[fail[k]][i];
38                     q.push(trie[k][i]);
39                 }
40                 else
41                     trie[k][i]=trie[fail[k]][i];
42         }
43     }
44     int find(char *s)
45     {
46         int ans=0,p=0;
47         for(int i=0;s[i];i++)
48         {
49             p=trie[p][s[i]-'a'];
50             for(int j=p;j and ~num[j];j=fail[j])    ans+=num[j],num[j]=-1;
51         }
52         return ans;
53     }
54 }ac;
55 char str[MAX],tem[MAX];
56 int main()
57 {
58     int k;
59     scanf("%d",&k);
60     for(int i=1;i<=k;i++)
61     {
62         scanf("%s",tem);
63         ac.readin(tem);
64     }
65     scanf("%s",str);
66     ac.getfail();
67     printf("%d",ac.find(str));
68     return 0;
69 }

二、一些结论

　　1.x的fail指针指向的是x点在这个trie中代表的字符串的在这个trie中的最长后缀

　　2.对于一个不在自动机中的字符串s，将其放到自动机中跑，最后停下来时，即到达s的最后一个字符时，假设此时在ac自动机中到了y节点，则y点代表的字符串就是s的最长的，是ac自动机中的字符串的前缀，的后缀。

　　3.第一次失配的位置深度（=最长前缀）,结束时所在节点深度（=最长后缀）;