HDU 2825 Wireless Password(AC自动机+状态压缩DP)

HDU 2825 Wireless Password(AC自动机+状态压缩DP)

http://acm.hdu.edu.cn/showproblem.php?pid=2825

题意:

        现在要你推断一个长度==n的由小写字母构成的字符串S有多少种组成方式.其中这个S至少包含字典集合中的k个单词.字典集合中有m个单词并已给出.

分析:

        该题要用刘汝佳:训练指南上带match的AC自动机。每个单词有一个编号，match[j]表示j节点表示的单词状态，比如j节点表示单词5和单词3，那么match[j]== 1<<5 | 1<<3。即该match[j]值的二进制形式正好有2位为1，是第3位和第5位。

        令d[i][j][k]=x表示当前走了i步，处于AC自动机的j号节点，且字符串中的单词出现情况为k(k的二进制形式表示集合)时的情况种数为x。

        d[i+1][j][k|match[j]]  += d[i][j1][k]    

        从j1号节点能走到j号节点，且j号节点的后缀单词覆盖情况为match[j]，那么从j1节点走到j节点后，总的单词覆盖情况就是 k|match[j] 了(想想是不是)。

        初值为：d[0][0][0]=1，其他所有d都为0。

        ans = d[n][i][k] 其中i为0到sz-1的任意节点，而集合k的二进制形式至少要包含K个1。

AC代码:

#include
#include
#include
using namespace std;
const int MOD=20090717;
const int maxnode=100+10;
const int sigma_size=26;
int dp[30][maxnode][(1<<10)+100];//开始这么定义dp[][][1<<10+100],结果内存溢出出现了BUG错误
int num[(1<<10)+10];//num[i]=x表示i的二进制有x个1
int N,M,K;
struct AC_Automata
{
    int ch[maxnode][sigma_size];
    int f[maxnode];
    int match[maxnode];//此处的match是一个2进制位集合,不再是0或1了
    int sz;
    void init()
    {
        sz=1;
        memset(ch[0],0,sizeof(ch[0]));
        f[0]=match[0]=0;
    }
    void insert(char *s,int v)
    {
        int n=strlen(s),u=0;
        for(int i=0;i q;
        for(int i=0;i0)//当前状态st
                {
                    for(int k=0;k=K)
            for(int i=0;i