題面

題意

給出一張矩形表格，一些地方有障礙物，向其中放1*2的多米諾骨牌（不用填滿），要求任何相鄰兩行之間都有至少一個骨牌橫跨，任何相鄰兩列之間也都至少有一個骨牌橫跨，求方案數。

做法

為方便，用S(i,j,p,q)表示左上角為（i，j），右上角為（p，q）的子矩形
首先用dp預處理出dp[i][j][p][q]表示S(i,j,p,q)隨意放骨牌的方案數（不考慮行列有無橫跨），然後可以發現dp[i][j][u][q]*dp[i][u+1][p][q]表示在S(i,j,p,q)中第u列和第u+1列之間沒有橫跨骨牌的個數。
因此我們可以用容斥解決列橫跨，而對於行橫跨則不能這樣求解（複雜度更高），我們可以用f[i]陣列表示前i行任何相鄰兩行之間都有至少一個骨牌橫跨的方案數，這樣就可以得出：
f[x]=t[1][x]- ${\sum }_{}^{}$

程式碼

#include
 
<iostream>
#include<cstdio>
#define ll long long
#define N 20
#define MN 40000
#define M 19901013
using namespace std;

ll m,n,dp[N][N][N][N],tmp[2][MN],f[N],num[N],top,ans;
char str[N];
bool mm[N][N];

inline ll ask(ll u,ll v)
{
	return (u>>v)&1;
}

inline void work(ll w,ll u,ll v)
{
 

	ll i,j,k,l,t,t2,zt,tot=(1 << (v-u+1))-1;
	bool now=0,nxt;
	for(i=0; i<=tot; i++) tmp[0][i]=0;
	t2=0;for(i=u;i<=v;i++) if(mm[w][i]) t2|=(1 << (i-u));
	tmp[0][t2]=1;
	for(i=w+1; i<=m+1; i++)
	{
		zt=0;
		for(j=u,t=0; j<=v; j++,t++)
		{
			zt|=(mm[i][j] << t);
			nxt=now^1;
			for(k=0; k<=tot; k++) tmp[nxt][k]=0;
			for(k=0; k<=tot; k++)
			{
				if(!tmp[now][k]) continue;
				t2=k;
				if(ask(t2,t)!=mm[i][j]) t2^=(1 << t);
				tmp[nxt][t2]=(tmp[nxt][t2]+tmp[now][k])%M;
				if(ask(k,t)) continue;
				if(j!=v&&!ask(k,t+1))
				{
					t2=k|(1 << (t+1));
					if(ask(t2,t)!=mm[i][j]) t2^=(1 << t);
					tmp[nxt][t2]=(tmp[nxt][t2]+tmp[now][k])%M;
				}
				if(!mm[i][j])
				{
					t2=k|(1 << t);
					tmp[nxt][t2]=(tmp[nxt][t2]+tmp[now][k])%M;
				}
			}
			now=nxt;
		}
		dp[w][u][i-1][v]=tmp[now][zt];
	}
}

int main()
{
	ll i,j,k,tot,p,q,t,u,d;
	cin>>m>>n;
	for(i=1; i<=m; i++)
	{
		scanf("%s",str+1);
		for(j=1; j<=n; j++)
		{
			mm[i][j]=(str[j]!='.');
		}
	}
	for(i=1; i<=n; i++)
	{
		for(j=i; j<=n; j++)
		{
			for(k=1; k<=m; k++)
			{
				work(k,i,j);
			}
		}
	}
	
	tot=(1 << (n-1))-1;
	for(i=0; i<=tot; i++)
	{
		top=0;
		num[++top]=0;
		for(j=0; j<n-1; j++)
		{
			if(ask(i,j)) num[++top]=j+1;
		}
		num[++top]=n;
		for(d=1; d<=m; d++)
		{
			for(u=1; u<=d; u++)
			{
				t=1;
				for(j=2; j<=top; j++)
				{
					p=num[j-1]+1,q=num[j];
					t=t*dp[u][p][d][q]%M;
				}
				if(u==1) f[d]=t;
				else f[d]-=t*f[u-1]%M,f[d]%=M;
			}
		}
		f[m]=(f[m]+M)%M;
		if(top&1) ans-=f[m];
		else ans+=f[m];
		ans%=M;
	}
	cout<<(ans+M)%M;
}