【枚举】AcWing 116. 飞行员兄弟 数学解法正确性证明

问题描述

“飞行员兄弟”这个游戏，需要玩家顺利的打开一个拥有 16 个把手的冰箱。

已知每个把手可以处于以下两种状态之一：打开或关闭。

只有当所有把手都打开时，冰箱才会打开。

把手可以表示为一个 4×4 的矩阵，您可以改变任何一个位置 [i,j] 上把手的状态。

但是，这也会使得第 i 行和第 j 列上的所有把手的状态也随着改变。

请你求出打开冰箱所需的切换把手的次数最小值是多少。

输入格式

输入一共包含四行，每行包含四个把手的初始状态。

符号 + 表示把手处于闭合状态，而符号 - 表示把手处于打开状态。

至少一个手柄的初始状态是关闭的。

输出格式

第一行输出一个整数 N，表示所需的最小切换把手次数。

接下来 N 行描述切换顺序，每行输出两个整数，代表被切换状态的把手的行号和列号，数字之间用空格隔开。

注意：如果存在多种打开冰箱的方式，则按照优先级整体从上到下，同行从左到右打开。

数据范围

$1\le i,j\le 4$

输入样例：

-+--
----
----
-+--

输出样例：

6
1 1
1 3
1 4
4 1
4 3
4 4

---

$\mathrm{Soluci}\acute{\mathrm{o}}\mathrm{n}\mathrm{del}\mathrm{problema}$

证明：当 $(i,j)$ 改变时能够同时改变的 $7$ 个点中关闭的锁的个数为奇数的时候，改变 $(i,j)$ ，否则不变。

由题意可以知道，闭合的锁需要被改变奇数次，打开的锁只需要被改变偶数次。

考虑 $(i,j)$ 所管辖的 $7$ 个锁：

• 若关闭的锁的个数为奇数，则 $7$ 个锁共需被改变奇数次
• 若关闭的锁的个数为偶数，则 $7$ 个锁共需被改变偶数次

再考虑改变除 $(i,j)$ 外的另外一个点 $(x,y)$ ：

• 若 $(x,y)$ 在第 $i$ 行或第 $j$ 列，则 $7$ 个锁的总改变次数增加 $4$ ，奇偶性不变
• 否则，将改变 $(x,j)$ 与 $(i,y)$ 两个锁，奇偶性也不变

因此，改变除 $(i,j)$ 外的锁都不会使 $(i,j)$ 管辖的 $7$ 个点的改变次数的奇偶性发生变化。

所以，要想使得 $7$ 个点的改变次数由偶数次（未改变）变为奇数次，必须改变 $(i,j)$ 。

若将此证明推广至 $N\ast N$ 的矩阵，则当 $N$ 为奇数时，不存在加粗部分的性质，

因此只有在 $N$ 为偶数时成立。

---

$\mathrm{C}\acute{\mathrm{o}}\mathrm{digo}$

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;

bool mp[6][6];
int cnt;
pair<int, int> pos[20];

int main()
{
	for(register int i = 1; i <= 4; i ++ )
	{
		char str[6];
		scanf("%s", str + 1);
		for(register int j = 1; j <= 4; j ++ )
			mp[i][j] = (str[j] == '-' ? 0 : 1);
	}
	for(register int i = 1; i <= 4; i ++ )
		for(register int j = 1; j <= 4; j ++ )
		{
			int sum = -mp[i][j];
			for(register int k = 1; k <= 4; k ++ ) sum += mp[k][j];
			for(register int k = 1; k <= 4; k ++ ) sum += mp[i][k];
			if(sum & 1) pos[++cnt] = {i, j};
		}
	printf("%d\n", cnt);
	for(register int i = 1; i <= cnt; i ++ ) printf("%d %d\n", pos[i].first, pos[i].second);
	return 0; 
}