AC自动机算法不可用的原因及解决办法

AC自动机算法是一种常用于字符串匹配的算法，它能够在多个模式串的情况下快速识别目标串中是否存在任何一个模式串。然而，有时候我们会遇到AC自动机算法不可用的问题，即程序无法正常工作或者算法运行效率极低。下面我们将分析AC自动机算法不可用的原因以及解决办法。

1. 大量重复模式串

若存在大量重复的模式串，AC自动机算法很可能变得非常慢，这是由于其Trie树的深度差异会导致匹配过程不可避免地出现回溯，从而严重影响程序效率。解决这个问题的方法有两种：

① 将重复的模式串进行合并或删除。

对于大量重复的模式串，我们可以将它们合并成一个模式串或者直接删除，从而降低AC自动机算法的Trie树的深度。例如，对于模式串“abc”和“abd”，我们可以将它们合并成“ab”，这样就能大幅提高AC自动机的运行效率。

② 使用优化算法

为了解决大量重复模式串带来的问题，也可以使用一些优化算法，例如AC自动机上的Double-Array Trie（DAT）算法，该算法将Trie树和DFA（确定性有限状态自动机）结合起来，能够有效地消除Trie树深度带来的回溯。

下面是使用DAT算法实现AC自动机的示例代码：

const int MAX_NODE = 500005;

int trie[MAX_NODE][26], fail[MAX_NODE], val[MAX_NODE];
int vis[MAX_NODE], node_cnt = 1;

void insert(string s, int v) {
    int p = 1;
    for(int i = 0; i < s.size(); ++i) {
        int ch = s[i]-'a';
        if(!trie[p][ch]) trie[p][ch] = ++node_cnt;
        p = trie[p][ch];
    }
    val[p] += v;
}

void build_AC