Bill的挑战（bzoj 1879）

Description

Input

本题包含多组数据。 第一行：一个整数T，表示数据的个数。 对于每组数据： 第一行：两个整数，N和K（含义如题目表述）。 接下来N行：每行一个字符串。

Output

1 2 1 a? ?b

Sample Input

50

Sample Output

对于30%的数据，T ≤ 5，M ≤ 5，字符串长度≤ 20；
对于70%的数据，T ≤ 5，M ≤ 13，字符串长度≤ 30；
对于100%的数据，T ≤ 5，M ≤ 15，字符串长度≤ 50。

/*
  以后要多写状压DP啊，感觉好神的样子。
  我们设f[i][j]为T串已经匹配了i位，且与n个字符串是否匹配的集合为j
  为了方便转移，设g[i][j]为第i个字母是j的可匹配集合。
*/
#include<cstdio>
#include<cstring>
#include<iostream>
#define mod 1000003
using namespace std;
char s[][];
int g[][],f[][],n,k;
void work(){
    scanf("%d%d",&n,&k);
    for(int i=;i<n;i++)
        scanf("%s",s[i]);
    int len=strlen(s[]);
    for(int i=;i<len;i++)
        for(int j=;j<;j++)
            for(int k=;k<n;k++)
                if(s[k][i]=='?'||s[k][i]==j+'a')
                    g[i][j]|=(<<k);
    int N=<<n;f[][N-]=;
    for(int i=;i<len;i++)
        for(int j=;j<N;j++)
            if(f[i][j])
                for(int k=;k<;k++)
                    f[i+][j&g[i][k]]=(f[i+][j&g[i][k]]+f[i][j])%mod;
    int ans=;
    for(int j=;j<N;j++){
        int tot=;
        for(int p=;p<n;p++)
            if(j&(<<p))tot++;
        if(tot==k)ans=(ans+f[len][j])%mod;
    }
    printf("%d\n",ans);
}
int main(){
    int T;scanf("%d",&T);
    while(T--){
        memset(f,,sizeof(f));
        memset(g,,sizeof(g));
        work();
    }
    return ;
}