大意：
?
给你两个 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;
} 
