1. 程式人生 > >SGU P131 Hardwood floor【狀態壓縮】

SGU P131 Hardwood floor【狀態壓縮】

f[i][s]f[i][s]表示討論到第ii行並且該行覆蓋狀態為ss的方案數。

對於所有可以用來覆蓋的地板,顯然只有六種情況,我們分別根據這六種情況dfsdfs一下就好了。

dfs(row,col,s1,s2,ss1,ss2)dfs(row,col,s1,s2,ss1,ss2)的引數解釋: rowrow當前行,colcol當前列 s1s1當前行的狀態,s2s2上一行的狀態 ss1ss1對當前行的影響,ss2ss2對上一行的影響:

#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;
}