UCF Local Programming Contest 2015 H. Reach for the Stars（搜索+剪枝）

https://nanti.jisuanke.com/t/43393
题意：
有一个如左图形状的印章，黑色部分会有涂料。给你一个𝑟行𝑐列的图像，要求用该印章敲出这个图像，求最少的操作步数。$1\le r,c\le 9$

分析：
题解说可以用搜索或者状压dp……我只会搜索，不会状压dp😭
直接dfs枚举所有点涂或者不涂（是否能作为中心点）的复杂度是 $2^{9\times 9}$；
但是最外层一圈是不能作为中心点的，所以复杂度降为 $2^{7\times 7}$；
再有一种情况是最外层一圈中如果有 ‘#’ ，那么他一定是被它相邻的次外层的那个点涂黑的，那么如果边界是 ‘#’，只能选涂这一种选择，不涂的方法不可能成立，所以不涂的选择不用继续搜索下去了，直接返回。这样复杂度就降低到了 $2^{5\times 5}$。
再加上几个剪枝，if ((Count - 1) / 5 + 1 + Step >= Ans) return;这个可行性剪枝不是很懂……🙁

Code：

// UCF Local Programming Contest 2015 H. Reach for the Stars

#include <iostream>
#include <algorithm>

using namespace std;
const int INF = 0x3f3f3f3f;
char Map[10][10];
int T, N, M, Ans, Case = 0;

void dfs(int i, int j, int Step, int Count) {
    //当前步数大于等于已有的答案，没有意义
    if (Step >= Ans)return;
    //全涂完了
    if (Count == 0) {
        Ans = min(Ans, Step);
        return;
    }
    //边界
    if (i <= 1 || i >= N || j <= 1 || j >= M) return;
    //可行性剪枝
    if ((Count - 1) / 5 + 1 + Step >= Ans) return;

    char temp[5];
    int Cnt = 0;
    bool flag = true;
    temp[0] = Map[i][j];
    temp[1] = Map[i - 1][j];
    temp[2] = Map[i + 1][j];
    temp[3] = Map[i][j - 1];
    temp[4] = Map[i][j + 1];
    for (int k = 0; k < 5; ++k) {
        if (temp[k] == '#') ++Cnt;
        if (temp[k] == '.') {
            flag = false; //不能涂
            break;
        }
    }

    //构成十字，并且有没涂过的'#'，可以涂
    if (flag && Cnt) {
        Map[i][j] = Map[i - 1][j] = Map[i + 1][j] = Map[i][j - 1] = Map[i][j + 1] = '@'; //涂过的'#'变成'@'
        //涂（i，j）
        if (j + 1 < M)
            dfs(i, j + 1, Step + 1, Count - Cnt);
        else
            dfs(i + 1, 2, Step + 1, Count - Cnt);
        //递归返回后恢复，为下面的不涂（i，j）的情况做准备
        Map[i][j] = temp[0];
        Map[i - 1][j] = temp[1];
        Map[i + 1][j] = temp[2];
        Map[i][j - 1] = temp[3];
        Map[i][j + 1] = temp[4];

        //如果边界是'#'，那么不涂（i，j）的情况是一定不能成立的，所以要返回，不执行下面的不涂（i，j）的情况
        if (i == 2 || j == 2 || i == N - 1 || j == M - 1)return;
    }

    //不涂（i，j）的时候
    if (j + 1 < M)
        dfs(i, j + 1, Step, Count);
    else
        dfs(i + 1, 2, Step, Count);
}

int main() {
    ios::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
    cin >> T;
    while (T--) {
        ++Case;
        cout << "Image #" << Case << ": ";
        cin >> N >> M;
        Ans = INF;
        int Count = 0;
        for (int i = 1; i <= N; ++i) {
            for (int j = 1; j <= M; ++j) {
                cin >> Map[i][j];
                if (Map[i][j] == '#') ++Count;
            }
        }
        if (Map[1][1] == '#' || Map[1][M] == '#' || Map[N][1] == '#' || Map[N][M] == '#') {
            cout << "impossible" << endl << endl; //四角上存在要涂色的格子，无解
            continue;
        }
        dfs(2, 2, 0, Count); //从2行2列开始搜
        if (Ans == INF)
            cout << "impossible" << endl;
        else
            cout << Ans << endl;
        cout << endl;
    }
    return 0;
}