Zju1100 Mondriaan

Description

有一个m行n列的矩阵，用1*2的骨牌(可横放或竖放)完全覆盖，骨牌不能重叠，有多少种不同的覆盖的方法？
你只需要求出覆盖方法总数mod p的值即可。

Input

三个整数数n,m,p
m<=5
p<=10000
n<=10000

Output

一个整数：总数模p的结果

Sample Input
7 2 10

Sample Output
1
//总共有21种方法

这题一看就让人很想开一个数组 f[n][0/1][0/1][0/1][0/1][0/1] 来DP，记录每一列的状态，1代表该位上有骨牌，0代表没有。不过本题m的大小不确定，开多维数组可能会出事情（当然也可以尝试），所以我们可以用到 状压DP

我们可以把后面5维压缩成一维，因为都是 0/1 的状态所以我们可以用2进制数来表示状态，如 9—–>1001，所以 f[i][0][1][0][0][1] 可以用 f[i][9] 来表示，这样的话我们就可以省了很多繁琐的事情

我们再来看看题目，对于每个骨牌而言，它的状态只有横放、竖放、不放3种，所以我们可以跑一个预处理，记录一下x、y两个状态间能否转移，然后就可以愉快的跑DP了

dfs写的较长，大佬可以自行缩减

#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
int read(){
    int x=0,f=1;char ch=getchar();
    for (;ch<'0'||ch>'9';ch=getchar())  if (ch=='-')    f=-1;
    for (;ch>='0'&&ch<='9';ch=getchar())   x=x*10+ch-'0';
    return x*f;
}
const int maxn=1e5,N=30;
int f[maxn+10][N+10];
int a[N],b[N];//a数组记录当前列的状态，b数组记录下一列的状态
bool can[N+10][N+10];
int n,m,p;
void dfs(int x,int t){
    if (x==m+1){//搜索边界
        int s=0;
        for (int i=1;i<=m;i++)   s=s*2+b[i];//2进制转10进制
        can[t][s]=1;//记录两状态间的关系
        return;
    }
    if (!a[x]){
        b[x]=1;
        dfs(x+1,t);//竖放
        if (x+1<=m&&!a[x+1]){
            b[x]=b[x+1]=0;
            dfs(x+2,t);//横放
        }
    }
    else{//不放
        b[x]=0;
        dfs(x+1,t);
    }
}
int main(){
    n=read(),m=read(),p=read();
    int tmp=(1<<m)-1;
    for (int i=0;i<=tmp;i++){
        int k=i;
        for (int j=m;j;j--){//将状态转成2进制，存入a数组中
            a[j]=k%2;
            k>>=1;
        }
        dfs(1,i);
    }
    f[1][0]=1;
    for (int i=1;i<=n;i++)
        for (int j=0;j<=tmp;j++){
            if (!f[i][j])   continue;//有值才能更新其他的状态
            for (int k=0;k<=tmp;k++){
                if (!can[j][k]) continue;
                f[i+1][k]=(f[i+1][k]+f[i][j])%p;
            }
        }
    printf("%d\n",f[n+1][0]);//由于骨牌的状态有3种，因此我们用 f[n] 的任意状态都不行，只能用第n+1列什么都不放的状态
    return 0;
}