状压dp专题
作者:互联网
经典的状压dp
先考虑横着放 如果横着放的方案确定了 那么竖着放的也就唯一确定了
所以总方案数=横着放的方案数
但是可能我们横着放完了后 留下的空间竖着放怎么都不能放满(也就是竖着连续对的0为奇数)不合法
这个我们可以预处理
定义方程:设dp[i,j]表示前i列已经放完横木块且第i列的状态为j的总方案数
例如j=010110 则表示第二,四,五行有木块捅到后面一列去(也就是横着放的木块的头子在第i列的第2,4,5行)
转移方程:dp[i,j]+=dp[i-1,k] 其中j和k状态必须合法
合法条件:1, j&k=0 因为防止木块重合
2, 第i列合法(第i列的木块包括第i-1列捅过来的和第i列捅出去的)
初始状态dp[0,0]=1
终止状态dp[m,0](第m列不能再往后捅了)
点击查看代码
#include<bits/stdc++.h>
using namespace std;
#define lowbit(x) x&(-x)
#define ll long long
const int maxn=12;
int n,m;
ll dp[maxn][1<<(maxn-1)];
int pd[1<<(maxn-1)];
int main(){
cin>>n>>m;
while(n!=0&&m!=0){
for(int i=0;i<1<<n;i++){
int cnt=0;
pd[i]=true;
for(int j=0;j<n;j++){
if((i>>j)&1){
if(cnt&1){
pd[i]=false;
}else cnt=0;
}else cnt++;
}
if(cnt&1)pd[i]=false;
}
memset(dp,0,sizeof(dp));
dp[0][0]=1;
for(int i=1;i<=m;i++){
for(int j=0;j<(1<<n);j++){
for(int k=0;k<(1<<n);k++){
if(!(j&k)&&pd[j|k])
dp[i][j]+=dp[i-1][k];
}
}
}
cout<<dp[m][0]<<endl;
cin>>n>>m;
}
return 0;
}
标签:cnt,专题,int,状压,木块,合法,横着,dp 来源: https://www.cnblogs.com/wzxbeliever/p/16112579.html