决战 状压dp

决定在这个小巷里排兵布阵.小巷可以抽象成一个
们彼此之间并不是十分和♂谐.具体来说,一个哲学家会有一个
的矩形.每一位哲学家会占据一个格子.然而哲学家
的01矩阵来表示他自己的守备范围.
哲学家自己位于这个矩阵的(2,2)位置.具体的说,如果一个哲学家的守备矩阵是:
那么他的前后左右都不能有哲学家存在.
方案,答案对
手下有 位哲学家.他需要你帮他求出有多少种排列这些哲学家的
取模.
定义两种排列方案不同,当且仅当存在一个位置在一种方案里面这个位置有哲学家,另一个位置没有.保证这个守
备矩阵的第二行第二列一定是1.
Data Range
对于前 的数据,满足
对于前 的数据,满足
另有
的数据,给出的守备矩阵只有第二行第二列为1
对于
的数据,
Sample Input I
3 2
0 1 0
0 1 1
1 0 0
Sample Output I
20

#include <algorithm>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <cmath>
#define RG register
using namespace std;
typedef long long ll;
const int N=2505,mod=998244353;
ll f[2][N*3][1<<3];
int n,m,num=0,lim[4][4],a[1<<3+5];
int ct[15][15],s[15];
bool check(int x){
    if((lim[2][1] || lim[2][3]) && (x&(x<<1)))return false;
    return true;
}
int getit(int x){
    int ret=0;
    while(x){
        ret++;
        x-=(x&(-x));
    }
    return ret;
}
int w[1<<3];
bool ok(int x,int y){
    if((lim[1][1] && ((x<<1)&y)) || (lim[1][3] && ((y<<1)&x)))return false;
    if((lim[3][1] && ((y<<1)&x)) || (lim[3][3] && ((x<<1)&y)))return false;
    if((lim[1][2] || lim[3][2]) && (x&y))return false;
    return true;
}
void work(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=3;i++)
        for(int j=1;j<=3;j++){
            scanf("%d",&lim[i][j]);
         }
    int cnt=(1<<3)-1;
    for(int i=0;i<=cnt;i++)w[i]=getit(i);
    for(int i=0;i<=cnt;i++){
        if(check(i))a[++num]=i,f[0][w[i]][num]=1;
    }
    for(int i=1;i<=num;i++)
        for(int j=1;j<=num;j++)if(ok(a[i],a[j]))ct[i][++s[i]]=j;
    int c=0,co=1,p;
    for(RG int i=2;i<=n;i++){
        for(RG int k=0;k<=m;k++)
        for(RG int j=1;j<=num;j++){
            f[co][k][j]=0;
            p=k-w[a[j]];
            if(k>=w[a[j]])
            for(RG int g=1;g<=s[j];g++){
                f[co][k][j]+=f[c][p][ct[j][g]],f[co][k][j]%=mod;
            }
        }
        c^=1;co^=1;
    }
    ll ans=0;
    for(int i=1;i<=num;i++)ans+=f[c][m][i],ans%=mod;
    printf("%lld
",ans);
}
int main()
{
    freopen("final.in","r",stdin);
    freopen("final.out","w",stdout);
    work();
    return 0;
}