bzoj 1030

dp[i][j] 表示，在AC自动机中，从根节点开始，走了i条边，并且经过的点不包含危险节点，走到了j节点的路径数。

收获：

　　1、正难则反

　　2、一个字符串不包含给定pattern中的任何一个，则该字符串在AC自动机上走时不会走到“危险节点”。

　　3、DFS可以做的事情，可以考虑DP来做。

 #include <cstdio>
 #include <cstring>
 #include <vector>
 #include <queue>
 #define fprintf(...)
 #define M 10007
 #define maxn 6010
 using namespace std;

 int n, len;
 int son[maxn][], fail[maxn], ikey[maxn], ntot;
 int dp[][maxn];

 void insert( const char *P ) {
     int n=strlen(P);
     int u=;
     for( int i=; i<n; i++ ) {
         int c=P[i]-'A';
         if( !son[u][c] ) son[u][c]=++ntot;
         fprintf( stderr, "%d->%d %c\n", u, son[u][c], c+'a' );
         u=son[u][c];
     }
     ikey[u] = true;
 }
 void build() {
     queue<int> qu;
     for( int c=; c<; c++ ) {
         int v=son[][c];
         if( !v ) continue;
         qu.push( v );
         fail[v] = ;
         fprintf( stderr, "fail[%d] = %d\n", v, fail[v] );
     }
     while( !qu.empty() ) {
         int u=qu.front();
         qu.pop();
         for( int c=; c<; c++ ) {
             int v=son[u][c];
             int w=fail[u];
             if( !v ) {
                 son[u][c] = son[fail[u]][c];
                 fprintf( stderr, "%d->%d %c\n", u, son[u][c], c+'a' );
             } else {
                 while( w && !son[w][c] ) w=fail[w];
                 fail[v] = son[w][c];
                 fprintf( stderr, "fail[%d] = %d\n", v, fail[v] );
                 ikey[v] |= ikey[fail[v]];
                 qu.push( v );
             }
         }
     }
 }
 void work() {
     dp[][] = ;
     for( int i=; i<=len; i++ )
         for( int u=; u<=ntot; u++ )
             if( dp[i][u] ) {
                 fprintf( stderr, "dp[%d][%d] = %d\n", i, u, dp[i][u] );
                 for( int c=; c<; c++ ) {
                     int v=son[u][c];
                     if( ikey[v] ) continue;
                     dp[i+][v] += dp[i][u];
                     if( dp[i+][v]>=M ) dp[i+][v]-=M;
                 }
             }
     int ans = ;
     for( int i=; i<=len; i++ )
         ans = (ans*)%M;
     for( int u=; u<=ntot; u++ ) {
         ans -= dp[len][u];
         if( ans< ) ans+=M;
     }
     printf( "%d\n", ans );
 }
 int main() {
     scanf( "%d%d", &n, &len );
     for( int i=; i<=n; i++ ) {
         char str[];
         scanf( "%s", str );
         insert( str );
     }
     build();
     work();
 }