洛谷傳送門

BZOJ傳送門

題目描述

標點符號的出現晚於文字的出現，所以以前的語言都是沒有標點的。現在你要處理的就是一段沒有標點的文章。

一段文章 $T$是由若干小寫字母構成。一個單詞 $W$也是由若干小寫字母構成。一個字典 $D$

例如字典 $D$中包括單詞{‘is’, ‘name’, ‘what’, ‘your’}

給定一個字典 $D$，你的程式需要判斷若干段文章在字典 $D$下是否能夠被理解。並給出其在字典 $D$下能夠被理解的最長字首的位置。

輸入輸出格式

輸入格式：

輸入檔案第一行是兩個正整數 $n$和 $m$，表示字典 $D$中有 $n$個單詞，且有 $m$段文章需要被處理。之後的 $n$行每行描述一個單詞，再之後的 $m$行每行描述一段文章。

其中 $1\le n, m\le 20$，每個單詞長度不超過 $10$，每段文章長度不超過 $1M$。

輸出格式：

對於輸入的每一段文章，你需要輸出這段文章在字典 $D$可以被理解的最長字首的位置。

輸入輸出樣例

輸入樣例#1：

4 3 
is
name
what
your
whatisyourname
whatisyouname
whaisyourname

輸出樣例#1：

14  （整段文章’whatisyourname’都能被理解）
6  （字首’whatis’能夠被理解）
0  （沒有任何字首能夠被理解）

解題分析

考慮到模式串數量很少， 直接匹配出哪些位置可以被模式串覆蓋， 然後建圖連邊， 記錄可以到達的最遠位置即可。

程式碼如下：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <queue>
#define R register
#define IN inline
#define W while
#define gc getchar()
#define MX 1205000
std::queue <int> q;
int n, cnt, root, ct, m;
bool vis[MX]; char buf[MX];
int son[550][26], fail[550], head[MX], l[550];
struct Edge {int to, nex;} edge[MX];

template <class T> IN T max(T a, T b) {return a > b ? a : b;}
IN void add(R int from, R int to) {edge[++cnt] = {to, head[from]}, head[from] = cnt;}
IN void insert(char *str)
{
    R int len = std::strlen(str), now = root, id;
    for (R int i = 0; i < len; ++i)
    {
        id = str[i] - 'a';
        if (!son[now][id]) son[now][id] = ++ct;
        now = son[now][id];
    }
    l[now] = len;
}
IN void build()
{
    fail[0] = -1;
    for (R int i = 0; i < 26; ++i) if (son[0][i]) q.push(son[0][i]);
    R int now;
    W (!q.empty())
    {
        now = q.front(); q.pop();
        for (R int i = 0; i < 26; ++i)
        {
            if (son[now][i]) fail[son[now][i]] = son[fail[now]][i], q.push(son[now][i]);
            else son[now][i] = son[fail[now]][i];
        }
    }
}
IN void query(char *str)
{
    R int len = std::strlen(str), now = root, cur, id, ans = 0;
    int a, b;
    for (R int i = len + 1; ~i; --i) vis[i] = false, head[i] = 0;
    cnt = 0;
    for (R int i = 0; i < len; ++i)
    {
        id = str[i] - 'a';
        now = cur = son[now][id];
        W (~fail[cur])
        {
            if (l[cur]) add(i - l[cur] + 1, i + 1);
            cur = fail[cur];
        }
    }
    q.push(0);
    W (!q.empty())
    {
        now = q.front(); q.pop(); ans = max(ans, now);
        for (R int i = head[now]; i; i = edge[i].nex)
        if (!vis[edge[i].to]) vis[edge[i].to] = true, q.push(edge[i].to);
    }
    printf("%d\n", ans);
}
int main(void)
{
    scanf("%d%d", &n, &m);
    for (R int i = 1; i <= n; ++i) scanf("%s", buf), insert(buf);
    build();
    for (R int i = 1; i <= m; ++i) scanf("%s", buf), query(buf);
}