BZOJ 1770 lights燈

题目传送门

分析：

跑着去学了一波异或方程组高斯消元

（全世界就我不知道系列。。）

然后我们可以列方程组诶

(a[1][x]&x[1])^(a[2][x]&x[2])^...^(a[n][x]&x[n])=b[x]

a[i][x]表示i号开关是否与x号灯相连，x[i]即为此开关开不开，b[x]为灯泡末状态，此题均为1

然后就会成为一个行列式

由于a[i][j]的值为0或1

所以消元时直接行与行异或就好了，不会影响结果

然后会解出一个上三角

但是a[i][i]可能会等于0，表示这个位置填0和1都有解

于是这种地方可以直接爆搜出答案

dfs的过程就是高斯消元最后取ans的过程了。。。

讲不清楚看代码2333

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<queue>
#include<map>

#define maxn 55
#define INF 0x3f3f3f3f
#define MOD 1000000007

using namespace std;

inline int getint()
{
    int num=,flag=;char c;
    while((c=getchar())<''||c>'')if(c=='-')flag=-;
    while(c>=''&&c<='')num=num*+c-,c=getchar();
    return num*flag;
}

int n,m;
int a[maxn][maxn];
int ans[maxn],Ans=INF;

inline void Gauss()
{
    for(int i=;i<=n;i++)
    {
        int id=i;
        while(id<=n&&!a[id][i])id++;
        if(id!=i)for(int j=;j<=n+;j++)swap(a[i][j],a[id][j]);
        for(int j=i+;j<=n;j++)if(a[j][i])
            for(int k=;k<=n+;k++)a[j][k]^=a[i][k];
    }
}

inline void dfs(int x,int num)
{
    if(num>Ans)return;
    if(!x){Ans=num;return;}
    if(a[x][x])
    {
        int tmp=a[x][n+];
        for(int i=x+;i<=n;i++)if(a[x][i])tmp^=ans[i];
        ans[x]=tmp;
        dfs(x-,num+tmp);
    }
    else
    {
        dfs(x-,num),ans[x]=,dfs(x-,num+),ans[x]=;
    }
}

int main()
{
    n=getint(),m=getint();
    for(int i=;i<=n;i++)a[i][i]=a[i][n+]=;
    for(int i=;i<=m;i++)
    {
        int u=getint(),v=getint();
        a[u][v]=a[v][u]=;
    }
    Gauss();
    dfs(n,);
    printf("%d\n",Ans);
}