狀壓dp。rnf[i][j][k]表示前i行放j個，第i行的放置情況為k的方案數。
轉移：f[i][j][k]=sum(f[i-1][j-num[k]][k’])(k’和k的相同位和相鄰位不都是1，用位運算判斷）r
num[k]表示k這種狀態的1的個數
最後輸出sum(f[n][m][k])，k為任意狀態

其實很水誒……

#include<bits/stdc++.h>
#define Ll long long
using namespace std;
int num[500],w;
int f[10][100][500];
int n,m,ans;
int main()
{
    scanf
 
("%d%d",&n,&m);
    w=(1<<n)-1;
    for(int i=0;i<=w;i++)
        for(int k=i;k;k>>=1)if(k&1)num[i]++;
    f[0][0][0]=1;
    for(int i=1;i<=n;i++)
        for(int j=0;j<=m;j++)
            for(int k=0;k<=w;k++)if(!((k<<1)&k)&&!((k>>1)&k))
                if
 
(j>=num[k])
                    for(int kk=0;kk<=w;kk++)if(!((kk<<1)&kk)&&!((kk>>1)&kk))
                        if(!(kk&k)&&!((k<<1)&kk)&&!((k>>1)&kk))
                            f[i][j][k]+=f[i-1][j-num[k]][kk];
    for(int k=0
 
;k<=w;k++)ans+=f[n][m][k];
    printf("%d",ans);
}