它只是一种手段,一种直观而高效地表示复杂状态的手段。

我们先来看一道比较基础的:

备战蓝桥杯---状态压缩DP基础1之棋盘问题-LMLPHP

直接DFS是肯定不行,我们发现对某一行,只要它前面放的位置都一样,那么后面的结果也一样。

因此我们考虑用DP,并且只有0/1,我们用二进制压缩。

我们令f[i][st]表示前i行状态为st的个数。

我们易得状态转移方程为:f[i][st]=备战蓝桥杯---状态压缩DP基础1之棋盘问题-LMLPHP(第i行放在第j列)

同时我们保证(st'&(1<<(j-1))==0&&st'+1<<(j-1)==st。

但是我们会遇到一个问题:怎么枚举st?

其实,我们可以不用二维数组,从1二进制枚举到1<<(n)-1,因为得到它的肯定比他小,肯定是计算过的,因此我们可以这么做,这里假设状态为1101,那我们如何获得1100,1001,0101呢?

用lowerbit操作,x&-x就得到了X中最低位的1及其后面的0,这样子就ok了。

下面是AC代码:

#include<bits/stdc++.h>
using namespace std;
int n,m,dp[1<<20],bu[25],x,y;
int lowerbit(int x){
	return (x&(-x));
}
int main(){
	cin>>n>>m;
	for(int i=1;i<=m;i++){
		scanf("%d%d",&x,&y);
		bu[x]+=1<<(y-1);
	}
	int j,cnt;
	dp[0]=1;
	for(int i=1;i<=((1<<n)-1);i++){
		j=i;
		cnt=0;
		while(j!=0){
			j-=lowerbit(j);
			cnt++;
		}
		j=i;
		while(j!=0){
			int fk=lowerbit(j);
			if((fk&bu[cnt])==0){
				dp[i]+=dp[i^fk];
			}
			j-=fk;
		}
	}
	cout<<dp[(1<<n)-1];	
}

让我们看看比较有意思的题吧:

备战蓝桥杯---状态压缩DP基础1之棋盘问题-LMLPHP

首先,如果我们一个一个看DFS的话,我们会发现第二个位置不像八皇后范围很容易确认+81个格子,时间不允许,用一般的DP实现起来很麻烦,因为当我们要放一个国王时,我们还得知道能不能放,即不满足无后效性。

于是我们可以换一种思路:

我们一行一行看,这样子,当我们放当前行时,关注的只有上一行,而在这一行只要不相邻即可。

我们令放了国王为1,没放为0.

现在我们看是否合法:

1.同一行不相邻:(x&(x<<1))==0(注意加括号)

2.如果上一行的状态为x,当前为y,xy要满足什么条件合法?

(x&y)==0 (x&(y<<1))==0 (x&(y>>1))==0

因此,我们令f[i][j][k]表示第i行,状态为k时已经放了j个的方案数;

易得状态转移方程:

f[i][j][k]+=f[i-1][j-num(k)][p](k自己合法,p也合法,(k&p)==0 (k&(p<<1))==0 (k&(p>>1))==0)

下面是AC代码:

#include<bits/stdc++.h>
using namespace std;
int n,k,num[1500];
long long dp[10][90][1000];
int calc(int num){
    int ans=0;
    while(num!=0){
        if((num&1)==1) ans++;
        num>>=1;
    }
    return ans;
}
int main(){
    cin>>n>>k;
    dp[0][0][0]=1;
    for(int i=0;i<(1<<n);i++){//打表
        num[i]=calc(i);
    }
    for(int i=1;i<=n;i++){
        for(int j=0;j<=k;j++){
            for(int st=0;st<(1<<n);st++){
                if((st&(st<<1))!=0) continue;
                if(num[st]>j) continue;
                for(int p=0;p<(1<<n);p++){
                    if((p&(p<<1))!=0) continue;
                    if((p&(st<<1))!=0) continue;
                    if((p&(st>>1))!=0) continue;
                    if((p&(st))!=0) continue;
                    dp[i][j][st]+=dp[i-1][j-num[st]][p];
                }
            }
        }
    }
    long long ans=0;
    for(int st=0;st<(1<<n);st++){
        ans+=dp[n][k][st];
    }
    cout<<ans;
}
03-02 13:52