#10053 L 语言

L 语言

dalao 看来是水题？我可不这么认为。

很多人都写了我认为不怎么正确的贪心，那就是直接看到一个单词就减去。

那么这组数据就可以 hack 掉了：

2 1

whatis

what

whatisyourname

贪心法写出来是 \(4\) 但是答案为 \(6\)。

那怎么办？网上各路神仙有各种神仙做法，但是我选择了比较正常的 AC 自动机。

为什么是 AC 自动机：多模匹配不就是 AC 自动机模板吗。

具体方法如下：

1. 正常建立 trie 图。
2. 在插入的同时记录一个 \(depth_i\)，表示节点 \(i\) 到根节点的距离。
3. 根据每一个母串跑 AC 自动机，对于每一个节点，当匹配成功时立刻 break。
4. 判断匹配成功的方法：ed[j] && flag[i+1-depth[j]]。

可以发现，这里同样是类似于上面的贪心的立刻 break，但是这里的 AC 自动机是正确的，为什么？

同样是上面那组 hack 数据，当what判断后立刻 break，

之后到母串的whatis时，发现代表s的节点任然匹配成功，所以匹配了whatis。

#include <cstdio>
#include <algorithm>
#include <cmath>
#include <iostream>
#include <cstring>
#include <queue>
#define N 30010
#define M 1000010
using namespace std;

int n, m, trie[N][30], fail[N], tot = 0, depth[N];
bool ed[N], flag[M];
char a[20], s[M];

void insert(char* a) {
    int p = 0, len = strlen(a);
    for (int i = 0; i < len; i++) {
        int ch = a[i] - 'a';
        if (!trie[p][ch]) {
            trie[p][ch] = ++tot;
            depth[tot] = depth[p] + 1;
        }
        p = trie[p][ch];
    }
    ed[p] = true;
    return;
}

void get_fail() {
    queue<int> q;
    for (int i = 0; i < 26; i++)
        if (trie[0][i]) {
            fail[trie[0][i]] = 0;
            q.push(trie[0][i]);
        }
    while (!q.empty()) {
        int now = q.front();
        q.pop();
        for (int i = 0; i < 26; i++)
            if (trie[now][i]) {
                fail[trie[now][i]] = trie[fail[now]][i];
                q.push(trie[now][i]);
            } else
                trie[now][i] = trie[fail[now]][i];
    }
    return;
}

int AC_work(char* a) {
    memset(flag, false, sizeof(flag));
    flag[0] = true;
    int p = 0, len = strlen(a);
    for (int i = 0; i < len; i++) {
        p = trie[p][a[i] - 'a'];
        for (int j = p; j; j = fail[j])
            if (ed[j] && flag[i + 1 - depth[j]]) {//+1 是为了后面好统计。
                flag[i + 1] = true;//+1 是为了后面好统计。
                break;
            }
    }
    for (int i = len; i; i--)
        if (flag[i])
            return i;
    return 0;
}

int main() {
    scanf("%d %d", &n, &m);
    memset(ed, false, sizeof(ed));
    for (int i = 1; i <= n; i++) {
        scanf("%s", a);
        insert(a);
    }
    get_fail();
    for (int i = 1; i <= m; i++) {
        scanf("%s", s);
        printf("%d\n", AC_work(s));
    }
    return 0;
}