（ACWing208）开关问题（异或高斯消元）

题目链接：208. 开关问题 - AcWing题库

分析：我们先来思考一个问题，假如只有2，3，4三个灯的操作会影响第一个灯的状态，问第一个灯的状态应该满足什么条件呢（假如一开始灯是灭的）？是不是等于x1^x2^x3^x4?（因为每个灯只有两种状态，故可以用0或者1来表示）同理其他的灯的状态也是等于它自身的操作次数与能够影响他的灯的操作次数的异或值，这样的话我们就能够得到一个异或方程组，我们把该异或方程组对应的增广矩阵化成简化阶梯型矩阵，如果没有非零行，那么显然方程组有唯一解，如果出现了零行所对应的b值不等于0，那么该异或方程组显然无解，那如果有k个零行呢？学过线性代数我们知道，有k个零行代表着我们有k个自由元，这k个自由元的值是随意取的，每种不同的取值情况都对应着唯一的一组解，这样解的个数就是2^k个，其他的就是一个异或高斯消元的模板了，下面是代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<queue>
using namespace std;
const int N=50;
int a[N][N],b[N];
int main()
{
	int T;
	cin>>T;
	while(T--)
	{
		memset(a,0,sizeof a);
		int n,t;
		cin>>n;
		for(int i=1;i<=n;i++)	scanf("%d",&b[i]);
		for(int i=1;i<=n;i++)
		{
			a[i][i]=1;
			scanf("%d",&t);
			b[i]^=t;
		}
		int x,y;
		while(1)
		{
			scanf("%d%d",&x,&y);
			if(x==0&&y==0) break;
			a[y][x]=1;//第y个灯会受到第x个灯的影响 
		}
		for(int i=1;i<=n;i++)
		{
			for(int j=i;j<=n;j++)
			{
				if(a[j][i])
				{
					for(int k=1;k<=n;k++)
						swap(a[i][k],a[j][k]);
					swap(b[i],b[j]);
					break;
				}
			}
			for(int j=1;j<=n;j++)
			{
				if(i==j) continue;
				if(a[j][i])
				{
					for(int k=i;k<=n;k++)
						a[j][k]^=a[i][k];
					b[j]^=b[i];
				}
			}
		}
		int cnt=0;
		bool flag=true;
		for(int i=1;i<=n;i++)
		{
			if(a[i][i]==0)
			{
				if(b[i])
				{
					puts("Oh,it's impossible~!!");
					flag=false;
					break;
				}
				cnt++;
			}
		}
		if(flag)
		printf("%d\n",1<<cnt);
	}
	return 0;
}