【ACWing】116. 飞行员兄弟

题目地址：

https://www.acwing.com/problem/content/description/118/

“飞行员兄弟”这个游戏，需要玩家顺利的打开一个拥有$16$个把手的冰箱。已知每个把手可以处于以下两种状态之一：打开或关闭。只有当所有把手都打开时，冰箱才会打开。把手可以表示为一个$4\times 4$的矩阵，您可以改变任何一个位置$[i,j]$上把手的状态。但是，这也会使得第$i$行和第$j$列上的所有把手的状态也随着改变。请你求出打开冰箱所需的切换把手的次数最小值是多少。

输入格式：
输入一共包含四行，每行包含四个把手的初始状态。符号+表示把手处于闭合状态，而符号-表示把手处于打开状态。至少一个手柄的初始状态是关闭的。

输出格式：
第一行输出一个整数$N$，表示所需的最小切换把手次数。接下来$N$行描述切换顺序，每行输出两个整数，代表被切换状态的把手的行号和列号，数字之间用空格隔开。注意：如果存在多种打开冰箱的方式，则按照优先级整体从上到下，同行从左到右打开。

数据范围：
$1\le i,j\le 4$

可以直接暴搜。枚举每个位置是切换还是不切换，这样相当于在二叉树上进行DFS，并且维护一个全局最优解，搜到叶子的时候判断是否是一个解，如果是，则看其是否比全局最优解更优，如果更优则替换之。题目里对于步数相同的解要求按照某种”字典序“保留，这可以在DFS的时候直接按照字典序的顺序来枚举解做到。代码如下：

#include <iostream>
#include <vector>

using namespace std;
using PII = pair<int, int>;

vector<int> a;
vector<PII> res1, res;

void op(int x, int y) {
    a[x] = ~a[x] & ((1 << 4) - 1);
    for (int i = 0; i < 4; i++) {
        if (i == x) continue;
        a[i] ^= 1 << 3 - y;
    }
}

bool dfs(int x, int y) {
    if (y == 4) {
        if (x == 3) {
        	// 如果是一个解，则判断其是否要替换掉全局最优解
            if (a[0] == 0 && a[1] == 0 && a[2] == 0 && a[3] == 0) {			
            	// 如果之前没发现过解，或者发现的解步数多，则替换之
                if (res.empty() || res1.size() < res.size()) res = res1;
                return true;
            } else return false;
        } else return dfs(x + 1, 0);
    }

	// 枚举操作当前位置的情况
    op(x, y);
    res1.push_back({x, y});
    if (dfs(x, y + 1)) return true;
    op(x, y);
    res1.pop_back();
	
	// 枚举不操作当前位置的情况
    if (dfs(x, y + 1)) return true;
    return false;
}

int main() {
    for (int i = 0; i < 4; i++) {
        string s;
        cin >> s;
        int x = 0;
        for (char ch: s) {
            x <<= 1;
            if (ch == '+') x |= 1;
        }
        a.push_back(x);
    }

    dfs(0, 0);
    printf("%d\n", (int) res.size());
    for (auto s: res)
        printf("%d %d\n", s.first + 1, s.second + 1);

    return 0;
}

时间复杂度$O(2^{16})=O(1)$，空间$O(16)=O(1)$。