构造 - Mine Sweeper II - ICPC 2020 上海

构造 - Mine Sweeper II - ICPC 2020 上海

题意：

$给定两个n\times m的{由}^{\prime }{X}^{\prime }{和}^{\prime }{.}^{\prime }矩阵A和B，表示两个扫雷的矩阵，$

${}^{\prime }{X}^{\prime }表示雷{，}^{\prime }{.}^{\prime }表示空地，$

$在扫雷游戏中，每个空地会有一个数字，表示周围8个方向雷的数量。$

$对于矩阵A和B，各个空地的数字之和，记为W_A和W_B。$

$试问，能否对矩阵B进行不超过\lfloor \frac{n\cdot m}{2}\rfloor 次操作，每次操作可以将一{个}^{\prime }{X}^{\prime }{(}^{\prime }{.}^{\prime })变{成}^{\prime }{.}^{\prime }{(}^{\prime }{X}^{\prime })，$

$使得W_B=W_A。$

$如果不能，输出-1。$

输入：

$首行包括两个正整数n和m(0\le n,m\le 1000)，$

$接着2个n\times m的矩阵，表示A和B$

输出：

$一个n\times m的矩阵，表示修改后的矩阵。$

$若有解，输出任意一组。否则输出-1。$

示例1
输入

2 4
X..X
X.X.
X.X.
.X..

输出

X.XX
.X..

---

分析：

$本题有一个很重要的性质：$

$将一个矩阵M{的}^{\prime }{X}^{\prime }{和}^{\prime }{.}^{\prime }对换，矩阵M的权置W_M不变。$

证明：

$我们考虑对一{个}^{\prime }{X}^{\prime }进行操作，那么它将会变成一{个}^{\prime }{.}^{\prime }，$

$假设它周围8个方{向}^{\prime }{X}^{\prime }的数量为cn{t}_1{，}^{\prime }{.}^{\prime }的数量为cn{t}_2$

$那么本次操作将会使得权置增加cn{t}_1，减少cn{t}_2，即权置改变cn{t}_1-cn{t}_2$

$同理，如果我们{对}^{\prime }{.}^{\prime }进行操作，权置将改变cn{t}_2-cn{t}_1。$

$如下图：$

$如果我们对蓝色的点操作，那么它所能影响到的点的范围应当是绿色的点，对隔一层的点不会产生影响。$

$为了方便，假设蓝色点{是}^{\prime }{X}^{\prime }，修改它产生的贡献为cn{t}_1-cn{t}_2，$

$此时我们将绿色的一层点全部变反，{则}^{\prime }{X}^{\prime }周围{的}^{\prime }{X}^{\prime }数量将变为cn{t}_2{，}^{\prime }{.}^{\prime }的数量将变成cn{t}_1，$

$此时将会产生cn{t}_2-cn{t}_1的贡献，$

$因此，和的贡献为(cn{t}_1-cn{t}_2)+(cn{t}_2-cn{t}_1)=0。$

$所以，我们能够得出结论。$

接下来

$对于每一个矩阵B，我们首先考虑能否将B直接修改成A。$

$当矩阵A和矩阵B不相同的点的数量\le \lfloor \frac{n\cdot m}{2}\rfloor 时，我们可以这样构造。$

$当不相同的点的数量>\lfloor \frac{n\cdot m}{2}\rfloor 时，$

$利用上述结论，我们可以把B变换成A{的}^{\prime \prime }{反}^{\prime \prime }矩阵，即将A的所{有}^{\prime }{X}^{\prime }变{成}^{\prime }{.}^{\prime }，所{有}^{\prime }{.}^{\prime }变{成}^{\prime }{X}^{\prime }，$

$这样的矩阵。此时不同点的数量将会\le \lfloor \frac{n\cdot m}{2}\rfloor 。$

代码：

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>

using namespace std;

const int N = 1010;
int n, m;
char A[N][N], B[N][N];

int main()
{
    scanf("%d%d",&n,&m);
    for(int i=0;i<n;i++) scanf("%s",A[i]);
    for(int i=0;i<n;i++) scanf("%s",B[i]);
    int cnt = 0;
    for(int i=0;i<n;i++)
        for(int j=0;j<m;j++)
            if(A[i][j]!=B[i][j])
                cnt++;
    if(cnt<=n*m/2)
        for(int i=0;i<n;i++) printf("%s\n",A[i]);
    else
        for(int i=0;i<n;i++)
        {
            for(int j=0;j<m;j++)
                if(A[i][j]=='.') putchar('X');
                else putchar('.');
            puts("");
        }
    return 0;
}