【BZOJ1879】[SDOI2009]Bill的挑战（动态规划）

【BZOJ1879】[SDOI2009]Bill的挑战（动态规划）

题面

BZOJ
洛谷

题解

本来还想着容斥来着，这个数据范围直接暴力就好。设\(f[i][S]\)表示当前填到了第\(i\)位，和\(S\)这些串匹配上的方案数。暴力转移即可。

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
#define MOD 1000003
void add(int &x,int y){x+=y;if(x>=MOD)x-=MOD;}
inline int read()
{
	int x=0;bool t=false;char ch=getchar();
	while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
	if(ch=='-')t=true,ch=getchar();
	while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
	return t?-x:x;
}
int cnt[1<<15],n,S,K,f[55][1<<15];
char ch[20][55];
int main()
{
	int T=read();
	for(int i=1;i<1<<15;++i)cnt[i]=cnt[i>>1]+(i&1);
	while(T--)
	{
		n=read();K=read();S=(1<<n)-1;
		for(int i=0;i<n;++i)scanf("%s",ch[i]+1);
		int l=strlen(ch[0]+1);
		memset(f,0,sizeof(f));f[0][S]=1;
		for(int i=1;i<=l;++i)
			for(int j=0;j<=S;++j)
				if(f[i-1][j]&&cnt[j]>=K)
					for(int k=0;k<26;++k)
					{
						int t=0;
						for(int l=0;l<n;++l)
							if((j&(1<<l))&&(ch[l][i]=='?'||ch[l][i]==k+97))
								t|=1<<l;
						add(f[i][t],f[i-1][j]);
					}
		int ans=0;
		for(int i=0;i<=S;++i)if(cnt[i]==K)add(ans,f[l][i]);
		printf("%d\n",ans);
	}
	return 0;
}