AcWing 1282. 搜索关键词 & 洛谷 P3808 【模板】AC 自动机（简单版）

AC自动机的板子

感觉非常合理，但是又不会证明，就先这样吧
感觉还有至少三个问题：
1、为什么要在空的子结点上连自己的fail结点的对应子结点（注释1）
2、为什么u结点不需要参与转移（注释2）
3、为什么遇到end == -1就可以break（注释3）

#include<bits/stdc++.h>
using namespace std;

#define fr first
#define se second
#define et0 exit(0);
#define rep(i, a, b) for(int i = (int)(a); i <= (int)(b); i ++)
#define rrep(i, a, b) for(int i = (int)(a); i >= (int)(b); i --)
#define IO ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);

typedef long long LL;
typedef pair<int, int> PII;
typedef pair<LL, LL> PLL;
typedef unsigned long long ULL;

const int INF = 0X3f3f3f3f, N = 1e6 + 10, MOD = 1e9 + 7;
const double eps = 1e-7, pi = acos(-1);

int n;
string s, str;

struct Trie {
	int son[26];
	int end;
	int fail;
} tr[N];

int idx;

void insert(string &a) {
	int u = 0;
	rep (i, 0, a.length() - 1) {
		int v = a[i] - 'a';
		if (tr[u].son[v]) u = tr[u].son[v];
		else tr[u].son[v] = ++idx, u = idx;
	}
	tr[u].end++;
}

void build() {
	queue<int> Q;
	rep (i, 0, 25) if (tr[0].son[i]) Q.push(tr[0].son[i]);

	while (!Q.empty()) {
		int u = Q.front();
		Q.pop();
		rep (i, 0, 25) {
			int v = tr[u].son[i];
			if (!v) tr[u].son[i] = tr[tr[u].fail].son[i];
			else tr[v].fail = tr[tr[u].fail].son[i], Q.push(v); // 1
		}
	}
}

void work() {
	cin >> n;
	rep (i, 1, n) {
		cin >> s;
		insert(s);
	}

	build();

	cin >> str;

	int u = 0, ans = 0;
	rep (i, 0, str.length() - 1) {
		u = tr[u].son[str[i] - 'a']; // 2
		for (int t = u; t && tr[t].end != -1; t = tr[t].fail) { // 3
			ans += tr[t].end;
			tr[t].end = -1;
		}
	}
	
	cout << ans << endl;
}

signed main() {
	IO

	int test = 1;
	//	cin >> test;

	while (test--) {
		work();
	}

	return 0;
}

标签：AC,洛谷,1282,int,rep,tr,son,fail,end
来源： https://www.cnblogs.com/xhy666/p/16581745.html