CF1475F Unusual Matrix

Unusual Matrix - 洛谷

大意：
 

给你两个 n×n 的01矩阵，你可以进行如下两种操作：

• 垂直xor：选中一列，将这一列的每个元素分别进行xor
• 水平xor：选中一行，将这一行的每个元素分别进行xor

a 矩阵是否可以经过有限次操作变为 b

思路：

挺有意思的一道题

这里有两个命题要先确定：

1.操作的先后次序没有影响：因为操作对结果的影响仅考虑每一个格子被翻转的总次数，仅考虑次数，自然与顺序无关

2.每一行或每一列只会最多翻转一次：由结论一，我们就可以把对每一行的若干次操作单独拿出来看。很显然，翻两次就等于没翻，所以该结论成立

同时，我们的目的是让两个矩阵相等，所以两个矩阵中不同的点肯定是要处理的。所以我们不妨新开一个矩阵，把对应位置上两个矩阵不同的点记作1，如果相同就记作0（其实也就相当于把两个矩阵的对应元素进行一次异或操作），那么我们的最终目标就是通过一系列翻转让这个矩阵变成全0矩阵 。

考虑上述两个结论，不妨先贪心地来处理：对于新矩阵的第一列，如果有某一行的元素为1，就翻转这一行。那么遍历完之后，再考虑矩阵的每一列，如果每一列中的元素都相同，那么我们就可以通过翻转保证其一定全0，如果不是全相等的话，那么这个问题就是无解的。

code:

#include<bits/stdc++.h>
using namespace std;
#define ll long long
ll t;
ll n;
ll a[1010][1010],b[1010][1010];
char c;
void solve()
{
	for(int i=2;i<=n;++i)
	{
		for(int j=1;j<=n;++j)
		{
			if(b[i][j]!=b[i-1][j])
			{
				cout<<"NO"<<endl;
				return;
			}
		}
	}
	cout<<"YES"<<endl;
}
int main()
{
	cin>>t;
	while(t--)
	{
		cin>>n;
		memset(a,0,sizeof a);
		memset(b,0,sizeof b);
		for(int i=1;i<=n;++i){
			for(int j=1;j<=n;++j){
				cin>>c;
				a[i][j]=c-'0';
			}
		}
		
		for(int i=1;i<=n;++i){
			for(int j=1;j<=n;++j)
			{
				cin>>c;
				b[i][j]=c-'0';
				b[i][j]^=a[i][j];
			}
		}
//		for(int i=1;i<=n;++i)
//		{
//			for(int j=1;j<=n;++j)
//			{
//				cout<<b[i][j]<<" ";
//			}
//			cout<<endl;
//		}
		for(int i=1;i<=n;++i)
		{
			if(b[i][1]==1)
			{
				for(int j=1;j<=n;++j)
				{
					b[i][j]=1-b[i][j];
				}
			}
		}
//		for(int i=1;i<=n;++i)
//		{
//			for(int j=1;j<=n;++j)
//			{
//				cout<<b[i][j]<<" ";
//			}
//			cout<<endl;
//		}
		solve(); 
	}
	return 0; 
 }