https://www.acwing.com/problem/content/description/293/
思路:
一个很重要的点就是放好合法的横块之后,竖块的摆放就确定了。
于是枚举每一列的状态,用二进制表示。j为上一列的状态,k为此列的状态。
可以知道,j&k==0 并且j|k的每段连续0的个数是偶数是符合的。
于是j|k的每段连续0的个数是偶数的符合的状态在每一个列的状态是一致的。提前预处理就好。
if( (j&k)==0 &&(st[j|k] )
dp[i][j]+=dp[i-1][k]
#include<iostream>
#include<vector>
#include<queue>
#include<cstring>
#include<cmath>
#include<map>
#include<set>
#include<cstdio>
#include<algorithm>
#define debug(a) cout<<#a<<"="<<a<<endl;
using namespace std;
const int maxn=14;
typedef int LL;
inline LL read(){LL x=0,f=1;char ch=getchar(); while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
return x*f;}
long long dp[maxn][1<<maxn];
bool st[1<<maxn];
int main(void)
{
LL n,m;
while(scanf("%d%d",&n,&m)&&n!=0&&m!=0){
for(LL i=0;i<(1<<n);i++){
st[i]=true;
LL cnt=0;///记录1前的连续0的个数
for(LL j=0;j<n;j++){
if(i&(1<<j)){
if(cnt&1){
st[i]=false;break;
}
cnt=0;
}
else cnt++;
}
if(cnt&1) st[i]=false;///下面只有0的
}
memset(dp,0,sizeof(dp));
dp[0][0]=1;
for(LL i=1;i<=m;i++){///枚举每一列
for(LL j=0;j<(1<<n);j++){
for(LL k=0;k<(1<<n);k++){
if((j&k)==0&&(st[j|k]==true)){
dp[i][j]+=dp[i-1][k];
}
}
}
}
printf("%lld\n",dp[m][0]);
}
return 0;
}