hdu 4758 (AC自动机)

除了走到哪里，还要加状态表示当前节点和已经匹配的串

#include<iostream>
#include<cstdio>
#include<string>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include <set>
#include <queue>
#define ll long long
#define ld long double
#define lson l,m,rt<<1
#define pi acos(-1)
#define rson m+1,r,rt<<1|1
#define fo(i,l,r) for(int i = l;i <= r;i++)
#define fd(i,l,r) for(int i = r;i >= l;i--)
#define mem(x) memset(x,0,sizeof(x))
#define eps 1e-8
using namespace std;
const int maxn = ,maxs = ;
const ll inf = 1e9;
const ll mod = ;
ll read() {
    ll x=,f=;
    char ch=getchar();
    while(!(ch>=''&&ch<='')) {
        if(ch=='-')f=-;
        ch=getchar();
    };
    while(ch>=''&&ch<='') {
        x=x*+(ch-'');
        ch=getchar();
    };
    return x*f;
}
struct Trie{
    int nxt[maxn][maxs],fail[maxn],end[maxn];
    int root,L;
    int newnode(){
        for(int i = ;i < maxs;i++)
            nxt[L][i] = -;
        end[L++]=;
        return L-;
    }
    void init(){
        L = ;
        root = newnode();
    }
    void insert(char buf[],int id){
        int len = strlen(buf);
        int now = root;
        for(int i = ;i < len;i++){
            if(buf[i]=='R')buf[i]=;
            else buf[i]=;
            if(nxt[now][buf[i]]==-)
                nxt[now][buf[i]] = newnode();
            now = nxt[now][buf[i]];
        }
        end[now]|=id;
    }
    void build(){
        queue<int> Q;
        fail[root] = root;
        for(int i = ;i < maxs;i++) {
            if (nxt[root][i] == -) {
                nxt[root][i] = root;
            } else {
                fail[nxt[root][i]] = root;
                Q.push((nxt[root][i]));
            }
        }
        while(!Q.empty()){
            int now = Q.front();
            Q.pop();
            end[now] |= end[fail[now]];
            for(int i = ;i < maxs;i++){
                if(nxt[now][i]==-) {
                    nxt[now][i] = nxt[fail[now]][i];
                }else{
                    fail[nxt[now][i]] = nxt[fail[now]][i];
                    Q.push(nxt[now][i]);
                }
            }
        }
    }
}ac;
int n,m;
char s[];
int dp[][][][];
void gao(){
    fo(i,,n){
        fo(j,,m){
            fo(k,,ac.L){
                fo(t,,) {
                    dp[i][j][k][t] = ;
                }
            }
        }
    }
    dp[][][][]=;
    fo(i,,n){
        fo(j,,m){
            fo(k,,ac.L-){
                fo(t,,){
                    dp[i][j+][ac.nxt[k][]][t|ac.end[ac.nxt[k][]]] += dp[i][j][k][t];
                    dp[i+][j][ac.nxt[k][]][t|ac.end[ac.nxt[k][]]] += dp[i][j][k][t];
                    dp[i][j+][ac.nxt[k][]][t|ac.end[ac.nxt[k][]]] %= mod;
                    dp[i+][j][ac.nxt[k][]][t|ac.end[ac.nxt[k][]]] %= mod;
                }
            }
        }
    }
    ll ans = ;
    fo(i,,ac.L-){
        ans = (ans + dp[n][m][i][]) % mod;
    }
    printf("%lld\n",ans);
}
int main() {
    int T=read();
    while(T--){
        ac.init();
        m=read();n=read();
        fo(i,,){
            scanf("%s",s);
            ac.insert(s,i);
        }
        ac.build();
        gao();
    }
    return ;
}