SGU P131 Hardwood floor【状态压缩】

$f[i][s]$表示讨论到第$i$行并且该行覆盖状态为$s$的方案数。

对于所有可以用来覆盖的地板，显然只有六种情况，我们分别根据这六种情况$dfs$一下就好了。

$dfs(row,col,s1,s2,ss1,ss2)$的参数解释：
$row$当前行，$col$当前列
$s1$当前行的状态，$s2$上一行的状态
$ss1$对当前行的影响，$ss2$对上一行的影响：

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define ll long long
#define rep(i,x,y) for(ll i=(x);i<=(y);i++)
#define repl(i,x,y) for(ll i=(x);i<(y);i++)
#define repd(i,x,y) for(ll i=(x);i>=(y);i--)
using namespace std;

const ll N=10;
const ll Inf=1e18;

ll n,m,all,f[N][1<<N];

inline ll read() {
    ll x=0;char ch=getchar();bool f=0;
    while(ch>'9'||ch<'0'){if(ch=='-')f=1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
    return f?-x:x;
}

void dfs(ll row,ll col,ll s1,ll s2,ll ss1,ll ss2) {
	if(col==m) {
		if((!ss1)&&(!ss2)) {
			f[row][s1]+=f[row-1][s2];
		}
		return ;
	}
	
	if(!ss1) {
		if(!ss2) {
			dfs(row,col+1,s1<<1|1,s2<<1,0,0);
			dfs(row,col+1,s1<<1|1,s2<<1,0,1);
			dfs(row,col+1,s1<<1|1,s2<<1,1,0);
		}
		dfs(row,col+1,s1<<1|1,s2<<1|(!ss2),1,0);
		dfs(row,col+1,s1<<1|1,s2<<1|(!ss2),1,1);
	}
	
	if(!ss2) dfs(row,col+1,s1<<1|ss1,s2<<1,1,1);dfs(row,col+1,s1<<1|ss1,s2<<1|(!ss2),0,0);
}

int main() {
	n=read(),m=read();all=(1<<m)-1;
	
	f[0][all]=1;
	
	rep(i,1,n) dfs(i,0,0,0,0,0);
	
	printf("%lld\n",f[n][all]);
	
	return 0;
}