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=;
 const int Maxn=;
 int idx[];
 struct BigNumber{
     LL num[];
     void initial(){
         for(int i=;i<;i++)
         num[i]=;
     }
 };
 BigNumber add_BigNumber(BigNumber a,BigNumber b){
     BigNumber c;
     c.initial();
     for(int i=;i<;i++){
         c.num[i]=c.num[i]+a.num[i]+b.num[i];
         c.num[i+]=c.num[i]/forward;
         c.num[i]%=forward;
     }
     return c;
 }
 BigNumber dp[][];
 struct Node{
     bool tag;
     int next[];
     int fail;
     void initial(){
         tag=false;
         memset(next,-,sizeof(next));
         fail=-;
     }
 };
 int que[Maxn],head,tail,tot;
 Node trie[Maxn];
 int dictsize,step;
 char str[];

 void build_ac(){
     head=tail=;
     que[tail++]=root;
     int tmp,p;
     while(head!=tail){
         tmp=que[head++];
         p=-;
         for(int i=;i<dictsize;i++){
             if(trie[tmp].next[i]!=-){
                 if(tmp==root) trie[trie[tmp].next[i]].fail=root;
                 else{
                     p=trie[tmp].fail;
                     while(p!=-){
                         if(trie[p].next[i]!=-){
                             trie[trie[tmp].next[i]].fail=trie[p].next[i];
                             break;
                         }
                         p=trie[p].fail;
                     }
                     if(p==-) 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!=-){
                         if(trie[p].next[i]!=-){
                             trie[tmp].next[i]=trie[p].next[i];
                             break;
                         }
                         p=trie[p].fail;
                     }
                     if(p==-)    trie[tmp].next[i]=root;
                 }
             }
         }
     }
 }

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