hdu 2825

题解：

ac自动机+dp的题目

差不多都一个套路

记录枚举了i位，匹配到自动机上的x位，然后对于匹配了哪些单词状态压缩一下就可以了

代码：

#include <bits/stdc++.h>
using namespace std;
#define mo 20090717
int dp[][][],w[],c[][];
int cnt,fail[],pp[];
char s[];
void insert(char s[],int x)
{
    int len=strlen(s),now=;
    for (int i=;i<len;i++)
    {
       int v=s[i]-'a';
       if (!c[now][v]) c[now][v]=++cnt;
       now=c[now][v];
    }
    w[now]=<<(x-);
}
queue<int> q;
void build()
{
  for (int i=;i<;i++)
    if (c[][i]) fail[c[][i]]=,q.push(c[][i]);
  while (!q.empty())
  {
    int u=q.front();q.pop();
    for (int i=;i<;i++)
    {
      if (c[u][i])
      {
          fail[c[u][i]]=c[fail[u]][i];
          q.push(c[u][i]);
      }  else c[u][i]=c[fail[u]][i];
      w[c[u][i]]|=w[c[fail[u]][i]];
    }
  }
}
int main()
{
  freopen("noip.in","r",stdin);
  freopen("noip.out","w",stdout);
  for (int i=;i<=;i++)
  {
    int l=;
    for (int j=;j<=;j++)
      if ((i>>j)%==) l++;
    pp[i]=l;
  }
  int n,m,k;
  while (cin>>n>>m>>k&&!(n==&&m==&&k==))
  {
    memset(fail,,sizeof(fail));
    memset(c,,sizeof(c));
    memset(w,,sizeof(w)); cnt=;
    for (int i=;i<=m;i++)
    {
      cin>>s; insert(s,i);
    }
    build();
    memset(dp,,sizeof(dp));
    dp[][][]=;
    for (int i=;i<=n;i++)
      for (int j=;j<=cnt;j++)
        for (int k1=;k1<=(<<m)-;k1++)
          if (dp[i][j][k1])
            for (int k2=;k2<;k2++)
            {
              int u=c[j][k2];
              dp[i+][u][k1|w[u]]+=dp[i][j][k1];
              dp[i+][u][k1|w[u]]%=mo;

            }
   /* for (int i=0;i<=n;i++)
      for (int j=0;j<=cnt;j++)
        for (int k1=1;k1<=(1<<m)-1;k1++)
          if (dp[i][j][k1])
            cout<<i<<" "<<j<<" "<<k1<<endl; */
    int ans=;
    for (int i=;i<=(<<m)-;i++)
      if (pp[i]>=k)
      for (int j=;j<=cnt;j++)
      {
        ans+=dp[n][j][i];
        ans%=mo;
      }
    cout<<ans<<" "<<cnt<<endl;
  }
  return ;
}