【hihoCoder】#1120 : 小Hi小Ho的惊天大作战：扫雷·三

时间限制: 10000ms

单点时限: 1000ms

内存限制: 256MB

故事背景：重复、假设与堵上性命的一搏

于是问题来了：给出一张N*M（在经过三条规则的反复洗礼之后，N和M都并不会很大）的地图，其中的某些格子已经被探明，探明的格子中都标有一个数字，表明与它相邻的8个格子里的地雷数量，而没有探明的格子里可能会有一些地雷。

而现在小Ho需要做的便是：判断出这张地图中的哪些格子里一定是地雷，哪些格子里一定不是地雷。（在多解情况下，一定是地雷以及一定不是地雷的定义指的是在每一种可行解中都是地雷或者都不是地雷）

提示：吾日三省吾身：能搜乎？好搜乎？怎搜乎？

输入

每个测试点（输入文件）存在多组测试数据。

每个测试点的第一行为一个整数Task，表示测试数据的组数。

在一组测试数据中：

第1行为2个整数N，M，表示迷宫的大小。

接下来的N行，每行M个整数，为一个矩阵A，用以描述整个迷宫，其中对于每一个格子A[i][j]，若A[i][j]=-1，则表示该格子没有被探明，若0<=a[i][j]<=8，则表示该格子已经被探明了，且数值代表该格子附近8个格子中的地雷数。<>

对于100%的数据，满足：5<=N、M<=10, -1<=a[i][j]<=8。<>

对于100%的数据，满足：符合数据描述的迷宫一定存在。

对于100%的数据，满足：迷宫中没有探明的格子的数量K<=10。<>

输出

对于每组测试数据，输出2个整数，分别为一定为地雷的未探明格子数和一定不为地雷的未探明格子数。

样例输入

2
10 10
  0  0  1  2 -1  1  0  0  1 -1
  1  1  1 -1  2  1  0  0  1  1
 -1  1  1  1  1  0  0  0  0  0
  1  1  0  0  0  1  1  1  0  0
  0  0  0  0  0  1 -1  1  0  0
  0  0  0  0  0  2  2  2  0  0
  0  0  0  0  0  1 -1  1  0 -1
  0  0  0  0  0  1  1  1  0  0
  0  0  0  0  1  1  1  0  0  0
 -1  0  0 -1  1 -1  1  0  0  0
9 10
  0  0  0  0  0 -1  0  0 -1  0
  0  0 -1  0  0  0  0  0  0  0
  0  0  0  0  0  0  0  1  1  1
  0  0  0  0  0  1  2  3 -1  1
  0  0  0  0 -1  1 -1 -1  3  1
  1  1  0  0  0  1  3 -1  2  0
 -1  1  0  0  0  0  1  1 -1  0
  1  1  0  0  0  0  0  0  0  0
  0  0  0  0  0  0  0  0  0  0

样例输出

7 3
5 5

经过强神的指导终于AC了，其实慢慢去想，还是能做出来的。这道题可以学会好几种小问题的解决思路，比如怎么一次性遍历一个格子周围8个格子（对于3*3的格子图）。

其中的写法需要自己动手写一遍才能理解的了。

思路：

（1）由于题目限制了迷宫的大小和未探明的格子的数量，因此不需要动态申请数组空间。用二维数组a[11][11] 来存储每个格子的值，设置一个node结构体来存储未探明格子的位置信息和值，使用容器来存储所有未探明格子。

（2）容器的大小num 即为未探明的格子的个数，显然对于这num 个格子有2^num+1（0~2^num） 种可能的组合，因为num <=10，所以这里可以通过枚举所有的情况来算，如果num 的值很大就没法算了，肯定超时。 

（3）对于2^num的一种写法是（1<<num），通过左移的形式。

（4）使用头文件#include<bits/stdc++.h>，该头文件包含了c++中所有的库函数，只写这一个头文件即可（对于不知道头文件的函数来说相对好用）。

（5）从0 遍历到 2^num，每个数化为二进制，对于位置i 的值为1的情况说明第 i 个位置有雷，如果位置i 的值为0说明第 i 个位置没有雷。这样就可以列举出2^num+1 种情况了，对于每种情况判断是否符合要求（即每个探明了的格子的值是周围未探明的格子中有地雷的个数），记录下符合要求的情况cnt。并且在判断过程中存储，在符合要求的情况下未探明的 num 个格子是地雷和不是地雷的情况个数。

（6）最后对于 num 个格子，通过遍历一遍地雷数和不是地雷数是否和符合要求的情况cnt 相等就可以知道哪个格子是所有符合要求的情况下是否是地雷了。

c++代码（25ms）

#include<bits/stdc++.h>
using namespace std;
		
struct node{
	int x;
	int y;
	int val;
	node(int a,int b,int c) {x=a,y=b,val=c;}
};  //用来存没有探明地雷的信息 

int a[11][11]; //因为题目中说明了迷宫的n和m不大于10，因此可以固定数组大小
//a 用来存每个格子的值

vector<node> unknown; // 未探明的地雷
int num;   //地雷的个数，同时也是unknown 的大小 
int n,m;  //表示迷宫的大小

int dir_x[8]={-1, 0, 1, -1, 1, -1, 0, 1};
int dir_y[8]={-1, -1, -1, 0, 0, 1, 1, 1};

bool inMap(int x, int y){
	//判断x, y 这个位置是否在地图中
	if(x>=0 && x<n && y>=0 && y<m)
		return true;
	return false; 
}

int num1[11];
int num2[11];

bool isOk(int x, int y){  //判断 x, y位置周围的环境是否满足条件
	int cnt=0;
	for(int i=0; i<8; i++){
		int xx=x+dir_x[i];
		int yy=y+dir_y[i];
		if(inMap(xx,yy) && a[xx][yy] == -2){
			cnt++;
		}
	}
	if(a[x][y] == cnt){
		return true;
	}else{
		return false;
	}
 
}

bool check(int k){
//k 传入的是一个可能的地雷分布，判断该分布是否符合要求
	for(int i=0; i<num; i++){
		if(k & (1<<i)){
			a[unknown[i].x][unknown[i].y]=-2;   //-2 说明是地雷，-3说明不是地雷 
		}else{
			a[unknown[i].x][unknown[i].y]=-3;  
		}//if
	} //for
	
	for(int i=0; i<n; i++){
		for(int j=0; j<m; j++){
			if(a[i][j] >=0 && !isOk(i, j)){
				return false;
			}
		}//for
	}//for
	
	for(int i=0; i<num; i++){
		if(a[unknown[i].x][unknown[i].y] == -2){
			num1[i]++;
		}
		if(a[unknown[i].x][unknown[i].y] == -3){
			num2[i]++;
		}
	}
	return true;
} 

int main(){
	int task; //表示测试数据的组数
	cin>>task;
	while(task--){
		cin>>n>>m;
		
		for(int i=0; i<n; i++){
			for(int j=0; j<m; j++){
				cin>>a[i][j];
				if(a[i][j] == -1){
					node node1(i,j,a[i][j]);
					unknown.push_back(node1);	
				}//if
			}//for
		}//for
		 
		num = unknown.size();  //num 为未探明地雷的数量
		
		//易知有 0~2^num 种情况 
		int cnt = 0; //表示可行的情况
		memset(num1, 0, sizeof(num1));
		memset(num2, 0, sizeof(num2));
		
		for(int i=0; i<=(1<<num); i++){
			if(check(i))  //如果该情况可行，计数 
				cnt++;
		} //for
		
		int ans1=0, ans2=0;
		for(int i=0; i<num; i++){
			if(num1[i] == cnt){
				ans1++;
			}
			if(num2[i] == cnt){
				ans2++;
			}
		}
		cout<<ans1<<' '<<ans2<<endl;
		unknown.clear();
		
	} //while
	return 0;
	
}