POJ 1625

什么鬼，真的是有负数的吗？我在字符加上了128才过了。dp[i][j]，经过i步到达j状态的路径数。转移很容易了，建个trie图就可以，由前一步可连通到和更新即可。

另外，要用到大数和AC自动机DP

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <climits>
#include <string.h>
#include <queue>
#include <cmath>
#include <map>
#include <vector>
#define LL  __int64
using namespace std;

const __int64 forward=100000000000000000LL;
const int root=0;
const int Maxn=550;
int idx[600];
struct BigNumber{
    LL num[16];
    void initial(){
        for(int i=0;i<15;i++)
        num[i]=0;
    }
};
BigNumber add_BigNumber(BigNumber a,BigNumber b){
    BigNumber c;
    c.initial();
    for(int i=0;i<15;i++){
        c.num[i]=c.num[i]+a.num[i]+b.num[i];
        c.num[i+1]=c.num[i]/forward;
        c.num[i]%=forward;
    }
    return c;
}
BigNumber dp[510][55];
struct Node{
    bool tag;
    int next[55];
    int fail;
    void initial(){
        tag=false;
        memset(next,-1,sizeof(next));
        fail=-1;
    }
};
int que[Maxn],head,tail,tot;
Node trie[Maxn];
int dictsize,step;
char str[60];

void build_ac(){
    head=tail=0;
    que[tail++]=root;
    int tmp,p;
    while(head!=tail){
        tmp=que[head++];
        p=-1;
        for(int i=0;i<dictsize;i++){
            if(trie[tmp].next[i]!=-1){
                if(tmp==root) trie[trie[tmp].next[i]].fail=root;
                else{
                    p=trie[tmp].fail;
                    while(p!=-1){
                        if(trie[p].next[i]!=-1){
                            trie[trie[tmp].next[i]].fail=trie[p].next[i];
                            break;
                        }
                        p=trie[p].fail;
                    }
                    if(p==-1) trie[trie[tmp].next[i]].fail=root;
                }
                if(trie[trie[trie[tmp].next[i]].fail].tag)
                trie[trie[tmp].next[i]].tag=true;
                que[tail++]=trie[tmp].next[i];
            }
            else{    //trie[tmp].next[i]==-1
                if(tmp==root) trie[tmp].next[i]=root;
                else{
                    p=trie[tmp].fail;
                    while(p!=-1){
                        if(trie[p].next[i]!=-1){
                            trie[tmp].next[i]=trie[p].next[i];
                            break;
                        }
                        p=trie[p].fail;
                    }
                    if(p==-1)    trie[tmp].next[i]=root;
                }
            }
        }
    }
}

int main(){
    int n,m,p,pt;
    cin>>n>>m>>p;
        for(int i=0;i<Maxn;i++) trie[i].initial();
        head=tail=tot=0;
        dictsize=n; step=m;
        cin>>str;
        for(int i=0;i<n;i++)
        idx[str[i]+128]=i;
    //    cout<<idx['a']<<endl;
    //    cout<<idx['b']<<endl;
        for(int i=0;i<p;i++){
            cin>>str;
            pt=root;int k=0;
            int len=strlen(str);
            while(k<len){
                if(trie[pt].next[idx[str[k]+128]]==-1) trie[pt].next[idx[str[k]+128]]=++tot;
                pt=trie[pt].next[idx[str[k]+128]];
                k++;
            }
            trie[pt].tag=true;
        }
//        cout<<"YES"<<endl;
        build_ac();
//        cout<<"YEA"<<endl;
        for(int i=0;i<=tot;i++){
            for(int j=0;j<=step;j++)
            dp[i][j].initial();
        }
        dp[0][0].num[0]=1;
        for(int k=0;k<step;k++){
            for(int i=0;i<=tot;i++){
                if(!trie[i].tag){
                    for(int j=0;j<dictsize;j++){
                        if(!trie[trie[i].next[j]].tag)
                        dp[trie[i].next[j]][k+1]=add_BigNumber(dp[trie[i].next[j]][k+1],dp[i][k]);
                    }
                }
            }
        }
        BigNumber ans;
        ans.initial();
    //    cout<<tot<<endl;
        for(int i=0;i<=tot;i++){
            if(!trie[i].tag){
                ans=add_BigNumber(ans,dp[i][step]);
            }
        }
        bool flag=false;
        for(int i=14;i>=1;i--)
            if(ans.num[i]>0||flag){
                if(flag)
                printf("%017I64d",ans.num[i]);
                else
                printf("%I64d",ans.num[i]);
                flag=true;
            }
        if(flag) 
        printf("%017I64d
",ans.num[0]);
        else{
            printf("%I64d
",ans.num[0]);
        }
    return 0;
}