POJ 1625
什么鬼，真的是有负数的吗？我在字符加上了128才过了。dp[i][j]，经过i步到达j状态的路径数。转移很容易了，建个trie图就可以，由前一步可连通到和更新即可。
另外，要用到大数和AC自动机DP
1 #include <iostream> 2 #include <cstdio> 3 #include <cstring> 4 #include <algorithm> 5 #include <climits> 6 #include <string.h> 7 #include <queue> 8 #include <cmath> 9 #include <map> 10 #include <vector> 11 #define LL __int64 12 using namespace std; 13 14 const __int64 forward=100000000000000000LL; 15 const int root=0; 16 const int Maxn=550; 17 int idx[600]; 18 struct BigNumber{ 19 LL num[16]; 20 void initial(){ 21 for(int i=0;i<15;i++) 22 num[i]=0; 23 } 24 }; 25 BigNumber add_BigNumber(BigNumber a,BigNumber b){ 26 BigNumber c; 27 c.initial(); 28 for(int i=0;i<15;i++){ 29 c.num[i]=c.num[i]+a.num[i]+b.num[i]; 30 c.num[i+1]=c.num[i]/forward; 31 c.num[i]%=forward; 32 } 33 return c; 34 } 35 BigNumber dp[510][55]; 36 struct Node{ 37 bool tag; 38 int next[55]; 39 int fail; 40 void initial(){ 41 tag=false; 42 memset(next,-1,sizeof(next)); 43 fail=-1; 44 } 45 }; 46 int que[Maxn],head,tail,tot; 47 Node trie[Maxn]; 48 int dictsize,step; 49 char str[60]; 50 51 void build_ac(){ 52 head=tail=0; 53 que[tail++]=root; 54 int tmp,p; 55 while(head!=tail){ 56 tmp=que[head++]; 57 p=-1; 58 for(int i=0;i<dictsize;i++){ 59 if(trie[tmp].next[i]!=-1){ 60 if(tmp==root) trie[trie[tmp].next[i]].fail=root; 61 else{ 62 p=trie[tmp].fail; 63 while(p!=-1){ 64 if(trie[p].next[i]!=-1){ 65 trie[trie[tmp].next[i]].fail=trie[p].next[i]; 66 break; 67 } 68 p=trie[p].fail; 69 } 70 if(p==-1) trie[trie[tmp].next[i]].fail=root; 71 } 72 if(trie[trie[trie[tmp].next[i]].fail].tag) 73 trie[trie[tmp].next[i]].tag=true; 74 que[tail++]=trie[tmp].next[i]; 75 } 76 else{ //trie[tmp].next[i]==-1 77 if(tmp==root) trie[tmp].next[i]=root; 78 else{ 79 p=trie[tmp].fail; 80 while(p!=-1){ 81 if(trie[p].next[i]!=-1){ 82 trie[tmp].next[i]=trie[p].next[i]; 83 break; 84 } 85 p=trie[p].fail; 86 } 87 if(p==-1) trie[tmp].next[i]=root; 88 } 89 } 90 } 91 } 92 } 93 94 int main(){ 95 int n,m,p,pt; 96 cin>>n>>m>>p; 97 for(int i=0;i<Maxn;i++) trie[i].initial(); 98 head=tail=tot=0; 99 dictsize=n; step=m; 100 cin>>str; 101 for(int i=0;i<n;i++) 102 idx[str[i]+128]=i; 103 // cout<<idx['a']<<endl; 104 // cout<<idx['b']<<endl; 105 for(int i=0;i<p;i++){ 106 cin>>str; 107 pt=root;int k=0; 108 int len=strlen(str); 109 while(k<len){ 110 if(trie[pt].next[idx[str[k]+128]]==-1) trie[pt].next[idx[str[k]+128]]=++tot; 111 pt=trie[pt].next[idx[str[k]+128]]; 112 k++; 113 } 114 trie[pt].tag=true; 115 } 116 // cout<<"YES"<<endl; 117 build_ac(); 118 // cout<<"YEA"<<endl; 119 for(int i=0;i<=tot;i++){ 120 for(int j=0;j<=step;j++) 121 dp[i][j].initial(); 122 } 123 dp[0][0].num[0]=1; 124 for(int k=0;k<step;k++){ 125 for(int i=0;i<=tot;i++){ 126 if(!trie[i].tag){ 127 for(int j=0;j<dictsize;j++){ 128 if(!trie[trie[i].next[j]].tag) 129 dp[trie[i].next[j]][k+1]=add_BigNumber(dp[trie[i].next[j]][k+1],dp[i][k]); 130 } 131 } 132 } 133 } 134 BigNumber ans; 135 ans.initial(); 136 // cout<<tot<<endl; 137 for(int i=0;i<=tot;i++){ 138 if(!trie[i].tag){ 139 ans=add_BigNumber(ans,dp[i][step]); 140 } 141 } 142 bool flag=false; 143 for(int i=14;i>=1;i--) 144 if(ans.num[i]>0||flag){ 145 if(flag) 146 printf("%017I64d",ans.num[i]); 147 else 148 printf("%I64d",ans.num[i]); 149 flag=true; 150 } 151 if(flag) 152 printf("%017I64d\n",ans.num[0]); 153 else{ 154 printf("%I64d\n",ans.num[0]); 155 } 156 return 0; 157 }
