BZOJ1087状压DP 解题报告
1087: [SCOI2005]互不侵犯King
Description
在N×N的棋盘里面放K个国王,使他们互不攻击,共有多少种摆放方案。国王能攻击到它上下左右,以及左上
左下右上右下八个方向上附近的各一个格子,共8个格子。
Input
只有一行,包含两个数N,K ( 1 <=N <=9, 0 <= K <= N * N)
Output
方案数。
Sample Input
Sample Output
状态压缩DP第一道题。作为第一道题。其实对于我这种动态规划都是自学的人来说。难度很大。但是。研读各大神犇的标程和解析后。开始慢慢的明白了一些,所以这里给一句忠告。没什么啃不下来的东西,如果啃不下来,那就多啃一会。
说起动态规划。总是让我想起一系列问题。什么是状态,怎么转移,怎样决策。而这道题,好像没怎么用道决策。但是。什么是状态呢?怎么样在这道题实现转移。这是值得思考的。不思考是没有进步的。
而这道题让我们一眼就可以想到DFS暴力枚举,以每个节点开始。枚举接下来每个点的位置。用二维数组来模拟位置的摆放。DFS递归的其实可以打表出来。而这个方法潜在的状态是上一个点的“位置”。每次枚举的是“位置”。
这道题思考起来。关键:压缩。当发现是这种二维,而且DFS要炸的题。首先考虑压缩。降维?康托-压缩状态?。这里想到的是,以一层为一个状态元素。而我们知道这个状态有很多。因为最多就只有9*9,就9层。每一层有9个格子。那么我们可以提前预处理出来一层里面每一种正确的摆放方式,如果这种方式正确则打上标记。这里国王就只有摆或者不摆,很显然我们可以想到有可以用二进制来表示一层的状态,这样,一层就被我们压缩成一个数。一种可行性方案也被我们压成了一个数。
接下来的就是对于每一层进行递推。我们都已经把每一种情况枚举出来。考虑每两层之间的关系,DP转移就成了枚举两层的可能组合性,之后就是方案数的转移。
这里给出 F[i][q][j] (一种状态) 其中这里的i代表层数,这里的j代表这一层如果是j这个状态。q代表着一层及其以上的所有放的国王数量。这里的j就指的是放的方式,举个栗子 j==85 那么那一层的方式就是 1010101(2)就是这样der。
枚举每两层方式。F [i] [q+cnt_1[a]] [a] += F[i-1] [q] [j];这个意思就是,如果上一层的摆放方式为J,这一层的摆放方式为a 那么这一层放q+(a方式的摆放国王的数量)的状态 是由 上一层摆放方式为j 摆放数量为q 的状态转移过来。(其中状态里存的是方案数)
#include<cstdio> #include<algorithm> using namespace std; int cnt[512],map_1[512][512],cnt_1[512]; long long int f[10][512][512]; int n,k,all; int first() { int s; for(int i=0;i<=all;i++) if(((i>>1)&i)==0)//注释1 { cnt[i]=1; s=0; for(int j=i;j;j>>=1)s+=(j&1); cnt_1[i]=s; } for(int i=0;i<=all;i++)if(cnt[i]) for(int j=0;j<=all;j++)if(cnt[j]) if( ((i&j)==0) && (((i>>1)&j)==0) && (((j>>1)&i)==0)) map_1[i][j]=1; //注释2 return 0; } int main() { scanf("%d%d",&n,&k); all=(1<<n)-1; first( ); for(int i=0;i<=all;++i)if(cnt[i])f[1][cnt_1[i]][i]=1; for(int i=2;i<=n;++i) for(int a=0;a<=all;++a)if(cnt[a]) for(int j=0;j<=all;++j)if(cnt[j]) if(map_1[j][a]) for(int q=cnt_1[j];q+cnt_1[a]<=k;++q) //注释3 f[i][q+cnt_1[a]][a]+=f[i-1][q][j]; long long int ans=0; for(int i=0;i<=all;++i)ans+=f[n][k][i]; printf("%lld",ans); return 0; }
注释:
1,这里作用是判断是否这种状态是不是正确。
2,判断两种状态能不能出线在一起(上下层)
3,这里枚举q,因为每一层结合上一层还有这一层摆放的方式有很多,所以要考虑全面。
最重要的一条
不开long long见祖宗
不开long long见祖宗
不开long long见祖宗
不开long long见祖宗
不开long long见祖宗
不开long long见祖宗