哈尔滨理工大学软件与微电子学院第八届程序设计竞赛同步赛（高年级）—— B.小乐乐搭积木【DFS+回溯】【状压DP 轮廓线DP】

题目传送门

---

---

题解

• 解法一：DFS爆搜 + 回溯

  我们发现数据范围极小，可以暴力解决。
  把平面矩形竖起来，类比俄罗斯方块。那么我们只需从下至上，从左至右依次摆放即可。
  显然我们需要一个记录棋盘方格是否被标记的 $boolvis[][]$。
  既然方向是固定的，那么 $DFS$ 参数只需要提供面积大小即可。若此时面积为 $area$：

  • 当前层数 $x=area/底边宽度n$ 【不可超过最高层数 $m$】
  • 当前位置在此层数从左至右的第 $y=area\%底边宽度m$ 【不可超过宽度最大容量 $n$】

  那么每次我们就可以，从当前位置(未被标记时)，向右(或向上)合并为面积为 $2$ 的砖块。然后 $面积+2$ 。
  回溯的时候取消对应位置标记即可。

  看起来没什么问题，但是！！！！
  注意样例 $n=2，m=3$ ：如果每次面积增长为2，那么由于 $x$ 和 $y$ 是由面积计算得到的，那么每次只能遍历到每层的第0个格子，而每层的第1个格子无法被遍历！【编号从0开始】
  那么我们面积增长步伐就不可以是2。
  可以每次面积增长步伐为1。虽然面积增长是1，少了另一半的面积，但是由于另一个格子会被标记，当访问到被标记的格子时候，加上面积，然后跳过即可。这样就可以访问到所有的格子，而不会缺失情况。
  可以结合代码注释帮助理解。

• 解法二：状压DP

  推荐博客

---

AC-Code

• 解法一：DFS爆搜 + 回溯

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int n, m;
ll ans;
bool vis[11][11];
int dx[] = {1, 0};
int dy[] = {0, 1};

bool judge(int x, int y) {
    if(x < 0 || x >= m || y < 0 || y >= n)    return false;    // 注意 x y 范围
    return !vis[x][y];
}

void dfs(int area) {
    if(area == n * m) {
        ++ans;
        return;
    }
    int x = area / n;    // 高度，不得超过最高层数 m
    int y = area % n;    // 第 x 层，从左至右第 y 个，不得超过底边宽度 n
    if(vis[x][y])    return dfs(area + 1);    // 这里是补加下面代码另一块面积
    // 在这里标记vis[x][y]也可
    for(int i = 0; i < 2; ++i) {
        int nx = x + dx[i];
        int ny = y + dy[i];
        if(judge(nx, ny)) {
            vis[x][y] = true;
            vis[nx][ny] = true;
            dfs(area + 1);    // 先让面积 +1，另一个标记的面积，由上面代码 +1。防止某些点无法搜到。
            vis[nx][ny] = false;
            vis[x][y] = false;
        }
    }
    // 对应上面标记，回溯取消标记
    return;
}

int main() {
    while(cin >> n >> m) {
        ans = 0;
        memset(vis, 0, sizeof(vis));
        if((n & 1) && (m & 1)) {
            cout << 0 << endl;
            continue;
        }
        dfs(0);
        cout << ans << endl;
    }
}

• 解法二：状压DP

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <string>
#include <queue>
#include <algorithm>
#include <map>
#include <cmath>
#include <iomanip>
#define INF 10000005
typedef long long LL;
using namespace std;
  
const int MAX=(1<<11)+10;
int n,m;
LL temp[MAX],dp[MAX],bin[15];
  
bool check(int i){
    while(i){
        if(i&1){
            i>>=1;
            if(!(i&1))return false;
            i>>=1;
        }else i>>=1;
    }
    return true;
}
  
void Init(){
    memset(temp,0,sizeof temp);
    for(int i=0;i<bin[m];++i)if(check(i))temp[i]=1;
}
  
void dfs(int k,int i,int j){
    if(k == m){dp[i]+=temp[j];return;}
    if(k>m)return;
    if((i>>k)&1){
        dfs(k+1,i,j);
        if((i>>(k+1))&1)dfs(k+2,i,j|(1<<k)|(1<<(k+1)));
    }
    else dfs(k+1,i,j|(1<<k));
}
  
void DP(){
    for(int k=2;k<=n;++k){
        for(int i=0;i<bin[m];++i)dp[i]=0;
        for(int i=0;i<bin[m];++i)dfs(0,i,0);
        for(int i=0;i<bin[m];++i)temp[i]=dp[i];
    }
}
  
int main(){
    bin[0]=1;
    for(int i=1;i<12;++i)bin[i]=2*bin[i-1];
    scanf("%d%d",&n,&m);
    if(n<m)swap(n,m);
    Init();
    DP();
    printf("%lld\n",temp[bin[m]-1]);
    return 0;
}