题目:http://www.lydsy.com/JudgeOnline/problem.php?id=1030
AC自动机上的DP,f[i][j]表示文本匹配到i,在AC自动机上匹配到j的且未匹配完任何单词的情况,那么答案就是总数减去所有不合法数啦~(注意负数)
代码(之前数据范围开小莫名T了N次):
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <queue>
using namespace std ;
#define MAXN 110
#define MAXV 10010
#define MAXM 110
#define mod 10007
struct node {
int child[ 26 ] , fail ;
bool flag ;
node( ) {
memset( child , 0 , sizeof( child ) ) ;
fail = 0 ;
flag = false ;
}
} T[ MAXV ] ;
int V = 0 , n , m ;
char s[ MAXN ] ;
struct edge {
edge *next ;
int t ;
} *head[ MAXV ] ;
void AddEdge( int s , int t ) {
edge *p = new( edge ) ;
p -> t = t , p -> next = head[ s ] ;
head[ s ] = p ;
}
void dfs( int v , bool flag ) {
T[ v ].flag = flag ;
for ( edge *p = head[ v ] ; p ; p = p -> next ) {
dfs( p -> t , flag | T[ p -> t ].flag ) ;
}
}
queue < int > q ;
void build_fail( ) {
while ( ! q.empty( ) ) q.pop( ) ;
for ( int i = 0 ; i < 26 ; ++ i ) if ( T[ 0 ].child[ i ] ) {
T[ T[ 0 ].child[ i ] ].fail = 0 ;
q.push( T[ 0 ].child[ i ] ) ;
}
while ( ! q.empty( ) ) {
int v = q.front( ) ; q.pop( ) ;
for ( int i = 0 ; i < 26 ; ++ i ) if ( T[ v ].child[ i ] ) {
int j = T[ v ].fail , t = T[ v ].child[ i ] ;
for ( ; j && ! T[ j ].child[ i ] ; j = T[ j ].fail ) ;
if ( T[ j ].child[ i ] ) j = T[ j ].child[ i ] ;
T[ t ].fail = j ;
q.push( T[ v ].child[ i ] ) ;
}
}
memset( head , 0 , sizeof( head ) ) ;
for ( int i = 0 ; i ++ < V ; ) AddEdge( T[ i ].fail , i ) ;
dfs( 0 , false ) ;
}
int f[ MAXN ][ MAXV ] ;
void Dp( ) {
memset( f , 0 , sizeof( f ) ) ;
f[ 0 ][ 0 ] = 1 ;
for ( int i = 0 ; i < m ; ++ i ) {
for ( int j = 0 ; j <= V ; ++ j ) {
if ( f[ i ][ j ] ) {
for ( int k = 0 ; k < 26 ; ++ k ) {
int t = j ;
for ( ; t && ! T[ t ].child[ k ] ; t = T[ t ].fail ) ;
if ( T[ t ].child[ k ] ) t = T[ t ].child[ k ] ;
if ( ! T[ t ].flag ) {
( f[ i + 1 ][ t ] += f[ i ][ j ] ) %= mod ;
}
}
}
}
}
}
void Solve( ) {
int ans = 0 , ret = 1 ;
for ( int i = 0 ; i ++ < m ; ) ( ret *= 26 ) %= mod ;
for ( int i = 0 ; i <= V ; ++ i ) ( ans += f[ m ][ i ] ) %= mod ;
ans = ret - ans ;
while ( ans < 0 ) ans += mod ;
printf( "%d\n" , ans ) ;
}
int main( ) {
scanf( "%d%d" , &n , &m ) ;
for ( int i = 0 ; i ++ < n ; ) {
scanf( "%s" , s + 1 ) ;
int t = 0 ;
for ( int j = 0 ; j ++ < strlen( s + 1 ) ; ) {
if ( ! T[ t ].child[ s[ j ] - 'A' ] ) {
T[ t ].child[ s[ j ] - 'A' ] = ++ V ;
}
t = T[ t ].child[ s[ j ] - 'A' ] ;
}
T[ t ].flag = true ;
}
build_fail( ) ;
Dp( ) ;
Solve( ) ;
return 0 ;
}