poj2411 答题报告
poj2411 解题报告
题目:给你一个h*w的矩形,用一个1*2的小矩形去填充,问有多少种填充方法,不考虑对称性
详细的解题报告参考:
http://www.2cto.com/kf/201208/146894.html
下面描述代码实现
#include <stdio.h> #include <string.h> #define swap(x, y) do { \ int t; \ t = x; \ x = y; \ y = t; \ }while(0) \ #define MAXN 1<<11 long long f[2][MAXN]; long long ans[12][12]; int width; int test11(int x) { while (x) { if (x&0x1) { if (x&0x2) x >>= 2; else return 0; } else { x >>= 1; } } return 1; } int testState(int x, int y) { if ((x|y) != width-1) return 0; return test11(x&y); } int main() { int m, n; int i, j, k; memset(ans,-1,sizeof(ans)); while (scanf("%d %d", &m, &n) && (m!= 0 || n!=0)) {if(ans[m][n] != -1) {
printf("%lld\n", ans[m][n]); continue; } if (m < n) swap(m, n); if (n == 0 || (0x1&m&n) == 1) { printf("0\n"); ans[m][n]=ans[n][m]=0; continue; } width = 1<<n; for (i = 0; i < 2; i++) for (j = 0; j < width; j++) f[i][j] = 0; for (i = 0; i < width; i++) { if (test11(i)) f[0][i] = 1; } /* for (i = 1; i < m; i++) { for (j = 0; j < width; j++){ long long tmp = 0; for (k = 0; k < width; k++) { if(testState(j, k)) tmp += f[(i-1)%2][k]; } f[i%2][j] = tmp; } } */ /*剪枝优化*/ for (i = 1; i < m; i++) { memset(f[i%2], 0, sizeof(f[0])); for(k = 0; k < width; k++) { if (!f[(i-1)%2][k]) continue; for (j = 0; j < width; j++) { if (testState(j, k)) f[i%2][j] += f[(i-1)%2][k]; } } } ans[m][n]=ans[n][m]=f[(m-1)%2][width-1]; printf("%lld\n", ans[m][n]); } return 0; }
解题思路给出的把铺砖问题转换成填0和1的问题,还是不太明白怎么想到,竖着的要填0,1。。。。
test11函数用于判断一个状态数字的二进制表示中,连续的1为偶数个,该函数用于初始化第一行,同时也可以用于其他行状态的判断
testState函数实现判断当前行的状态是否满足条件(通过和前一行状态比较),根据解题思路中的兼容性规则,我们可以知道上下两行对应的数字是01,10,11,因此不可能是00,也就是说x|y的值肯定是width-1,而且x&y后的值满足连续的1是偶数个,这可以调用test11判断。
由于DP的转移函数只与前一行有关,因此可以使用滚动矩阵来降低空间复杂度,因为需要做累加操作,使用前需要清空原先的行。
main函数中的三个for语句实现了剪纸优化,优化前使用/**/中的语句,可以看到当f[(i-1)%2][k]等于0时,f[i%2][j]的值不会变化,可以剪去;且内部两个for语句调换顺序并不会影响程序执行结果,因此可以先遍历k,且只有在f[(i-1)%2][k]!=0时才遍历j。
代码还使用了ans[12][12]来存储计算结果,后续相同的m*n就可以直接使用索引ans
程序编写的过程中出现三个问题:
1. 输出结果可能会很大,因此需要用long long类型
2. f[][]改成滚动矩阵f[2][]时,起初没有考虑清除前一行的数据,导致结果不正确
3. 使用ans优化时,起初申明了11*11的全局变量ans[11][11],由于编译器越界时不会报错,且由于是全局变量,竟然可以使用ans[11][10]这样的值,只是poj一直给出wrong answer的错误,最后才发现是越界了。