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
这道题的主要思想是把枚举出所有符合条件的情况，然后如果每一种符合条件的情况中未被探明的格子都是地雷，则它一定是地雷，若未被探明的格子都不是地雷，则它一定不是地雷。代码如下：

#include<bits/stdc++.h>
using namespace std;
const int N=15;
int arr[N][N],num1[N],num2[N],t,n,m;
int dirt1[8]={-1,-1,-1,0,+1,+1,+1,0};
int dirt2[8]={-1,0,+1,+1,+1,0,-1,-1};
struct node
{
    int x,y;
};
vector<node>G;
bool dfs(int x,int y)
{
    int cnt=0;
    for(int i=0;i<8;i++)
    {
        int xx=x+dirt1[i];
        int yy=y+dirt2[i];
        if(xx>=0&&yy>=0&&xx<n&&yy<m&&arr[xx][yy]==-2)
            cnt++;
    }
    if(cnt==arr[x][y])
        return 1;
    return 0;
}
bool check(int k)
{
    for(int i=0;i<G.size();i++)
    {
        if(k&(1<<i))
            arr[G[i].x][G[i].y]=-2;
        else
            arr[G[i].x][G[i].y]=-3;
    }
    for(int i=0;i<n;i++)
    {
        for(int j=0;j<m;j++)
        {
            if(arr[i][j]>=0&&!dfs(i,j))
                return 0;
        }
    }
    //cout<<G.size()<<endl;
    for(int i=0;i<G.size();i++)
    {

        if(arr[G[i].x][G[i].y]==-2)
            num1[i]++;
        if(arr[G[i].x][G[i].y]==-3)
            num2[i]++;
    }
    return 1;
}
int main()
{
    ios::sync_with_stdio(false);
    cin>>t;
    while(t--)
    {
        G.clear();
        memset(num1,0,sizeof num1);
        memset(num2,0,sizeof num2);
        cin>>n>>m;
        for(int i=0;i<n;i++)
            for(int j=0;j<m;j++)
            {
                cin>>arr[i][j];
                if(arr[i][j]==-1)
                G.push_back({i,j});
            }
        int cnt=0,ans1=0,ans2=0;
        for(int i=0;i<=(1<<G.size());i++)
        {
            if(check(i))
                cnt++;
        }
        for(int i=0;i<G.size();i++)
        {
            if(num1[i]==cnt)
                ans1++;
            if(num2[i]==cnt)
                ans2++;
        }
        cout<<ans1<<" "<<ans2<<endl;
    }
    return 0;
}