BZOJ 1879 [Sdoi2009] Bill的挑战

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。

HINT

Source

Day2

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

状压DP~

按位DP，不是按字符串DP，把所有字符串的同一位压缩到一个状态中，再DP。

具体做法是用数组g[i][j]记录一下第i位上是否能填j+'a'，这里g[i][j]是二进制数。

然后DP，用f[i][j]表示第i位上取字符串的状态为j时的种类数，然后按位更新即可~

最后的计数要强制转化为bool型，否则会WA……为什么啊……这两天天天遇到这种玄学问题……（获得称号 玄学大师）

#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
#define modd 1000003

int t,n,m,len,f[51][1<<15],g[51][26],ans;
char s[16][51];

int main()
{
	scanf("%d",&t);
	while(t--)
	{
		scanf("%d%d",&n,&m);ans=0;
		memset(g,0,sizeof(g));
		memset(f,0,sizeof(f));f[0][(1<<n)-1]=1;
		for(int i=0;i<n;i++) scanf("%s",&s[i]);
		len=strlen(s[1]);
		for(int i=0;i<len;i++)
		  for(char c='a';c<='z';c++)
		    for(int j=0;j<n;j++)
		      if(s[j][i]==c || s[j][i]=='?') g[i][c-'a']^=(1<<j);
		for(int i=0;i<len;i++)
		  for(int k=0;k<(1<<n);k++)
		    if(f[i][k])
		      for(char c='a';c<='z';c++)
		        f[i+1][k&g[i][c-'a']]=(f[i+1][k&g[i][c-'a']]+f[i][k])%modd;
		for(int i=0;i<(1<<n);i++)
		{
			int tot=0;
			for(int j=1;j<=i;j<<=1) tot+=(bool)(i&j);
			if(tot==m) ans=(ans+f[len][i])%modd;
		}
		printf("%d\n",ans);
	}
	return 0;
}