UOJ#422. 【集训队作业2018】小Z的礼物

IV.UOJ#422. 【集训队作业2018】小Z的礼物

考虑直接上minmax容斥。然后，考虑DP求出对于所有的 $\Big(|\mathbb T|,\min(\mathbb T)\Big)$ 二元组，满足其的 $\mathbb T$ 个数。又因为 $n$ 很小，我们尝试轮廓线DP。故我们设 $f_{x,y,msk,odd,mat}$ 表示当前DP到位置 $(x,y)$，轮廓线是 $msk$，$|\mathbb T|$ 的奇偶性是 $odd$（因为我们只关心其奇偶性），且有 $mat$ 种方案涉及到至少一个 $\mathbb T$ 中元素的方案数。需要滚动掉 $y$ 一维。

时间复杂度 $O(n^2m^22^n)$，因为 $mat$ 是 $nm$ 级别的。

代码：

#include<bits/stdc++.h>
using namespace std;
const int mod=998244353;
int ksm(int x,int y=mod-2){int z=1;for(;y;y>>=1,x=1ll*x*x%mod)if(y&1)z=1ll*z*x%mod;return z;}
int n,m,f[6][2][1<<6][2][1210],mil,lim,res;
char s[6][110];
void ADD(int &x,int y){x+=y;if(x>=mod)x-=mod;}
int main(){
	scanf("%d%d",&n,&m),mil=n*(m-1)+m*(n-1),lim=(1<<n);
	for(int i=0;i<n;i++)scanf("%s",s[i]+1);
	f[n-1][0][0][0][0]=1;
	for(int y=1;y<=m;y++)for(int x=0;x<n;x++){
		memset(f[x][y&1],0,sizeof(f[x][y&1]));
		for(int msk=0;msk<lim;msk++)for(int odd=0;odd<2;odd++)for(int mat=0;mat<=mil;mat++){
			ADD(f[x][y&1][msk&((lim-1)^(1<<x))][odd][mat+(x&&(msk&(1<<(x-1))))+(y!=1&&(msk&(1<<x)))],f[(x?x:n)-1][(y-!x)&1][msk][odd][mat]);//do not choose (x,y)
			if(s[x][y]=='*')ADD(f[x][y&1][msk|(1<<x)][odd^1][mat+(!!x)+(y!=1)],f[(x?x:n)-1][(y-!x)&1][msk][odd][mat]);//choose (x,y)
		}
//		for(int msk=0;msk<lim;msk++)for(int odd=0;odd<2;odd++)for(int mat=0;mat<=mil;mat++)if(f[x][y&1][msk][odd][mat])printf("(%d,%d,%d,%d,%d):%d\n",x,y,msk,odd,mat,f[x][y&1][msk][odd][mat]);
	}
	for(int msk=0;msk<lim;msk++)for(int odd=0;odd<2;odd++)for(int mat=1;mat<=mil;mat++){
		int tmp=1ll*f[n-1][m&1][msk][odd][mat]*ksm(mat)%mod;
		if(odd)ADD(res,tmp);else ADD(res,mod-tmp);
	}
	printf("%d\n",1ll*res*mil%mod);
	return 0;
}