bzoj2466高斯消元求解XOR方程
2016-03-26 11:35
323 查看
http://www.lydsy.com/JudgeOnline/problem.php?id=2466
不会做,暴力- - 所以T掉不解释(n<=100)
正解是高斯消元。
预备知识:矩阵乘法,行列式的基本变换(其实不需要,只是掌握了之后可以把消元的过程看成是行列式转成上三角的过程),XOR操作.
对于一个不会高斯消元的蒟蒻,看网上的大神的题解都是各种被虐,所以慢慢补一下高斯消元了。
我是看的这个:http://wenku.baidu.com/link?url=Z95T7uQuRT41kCI84hAi0vsjjwlVuVH98T-6V9i21agTB0p7ROQhmC6P-NrmvSF2flbj4dzxYiKLgCNZdm7CALSTYDO_yPAGQzm4vKeEA7W
主要理解一下高斯消元是怎么搞的。(其实就是把未知量的系数搞进系数矩阵,每行都是一个方程,答案可以存在每一行的末尾)
也许很多人都是从一般的解多元一次方程开始看,我是为了做题,所以只看的求解XOR方程,其实思想完全一样,只是在实现的时候一个用+,-,*,/一个用^而已。
看这个样例:
3
1 2
1 3
对于XOR方程的系数我们不妨看成是是否关联。
设xi为第i盏灯是否操作(每盏灯至多操作一次,否则就变回来了,浪费次数)。
设bi为第i盏灯是否亮。
设m[i][j]表示第i,j盏灯是否相连。
然后我们得到了这样的方程 (x1*(1,1,1)) ^ (x2*(1,1,0)) ^ (x3*(1,0,1)) =(1,1,1)
解释一下,就是x1*(1,1,1)表示x1是否选择,(1,1,1)表示关联。 如果x1=1,这三盏等都亮;否则,都不亮。
剩下的同理。
整个式子就是x1,x2,x3的操作会对总的灯造成什么影响。 (如果最后都为1表示全亮)
这个式子可以看成一个矩阵乘法 (其实矩阵是关于主对角线对称的,有没有发现)
{1 1 1} {x1} {1}
{1 1 0} * {x2} = {1}
{1 0 1} {x3} {1}
然后就是利用之前所说的类似于处理上三角的方法消元。
可以看成是 |右边的是方程的解
{1 1 1|1}
{1 1 0|1}
{1 0 1|1}
最后我们可以得到
{1 1 1|1}
{0 1 0|0}
{0 0 1|0}
然后倒着求解。
x3*1=0 x3=0
x2*1=0 x2=0
x1*1 ^ x2*1 ^ x3*1 =1
x1=1
然后就搞完了
有可能处理到有些自由变量,比如处理到某个变量的时候,在后面找不到该个变量为1的了。
自由变量对该行方程的解无影响,但对其他方程可能有影响,最后的时候需要枚举这些求解。
算法:
最后枚举所有的自由变量。
不会做,暴力- - 所以T掉不解释(n<=100)
正解是高斯消元。
预备知识:矩阵乘法,行列式的基本变换(其实不需要,只是掌握了之后可以把消元的过程看成是行列式转成上三角的过程),XOR操作.
对于一个不会高斯消元的蒟蒻,看网上的大神的题解都是各种被虐,所以慢慢补一下高斯消元了。
我是看的这个:http://wenku.baidu.com/link?url=Z95T7uQuRT41kCI84hAi0vsjjwlVuVH98T-6V9i21agTB0p7ROQhmC6P-NrmvSF2flbj4dzxYiKLgCNZdm7CALSTYDO_yPAGQzm4vKeEA7W
主要理解一下高斯消元是怎么搞的。(其实就是把未知量的系数搞进系数矩阵,每行都是一个方程,答案可以存在每一行的末尾)
也许很多人都是从一般的解多元一次方程开始看,我是为了做题,所以只看的求解XOR方程,其实思想完全一样,只是在实现的时候一个用+,-,*,/一个用^而已。
看这个样例:
3
1 2
1 3
对于XOR方程的系数我们不妨看成是是否关联。
设xi为第i盏灯是否操作(每盏灯至多操作一次,否则就变回来了,浪费次数)。
设bi为第i盏灯是否亮。
设m[i][j]表示第i,j盏灯是否相连。
然后我们得到了这样的方程 (x1*(1,1,1)) ^ (x2*(1,1,0)) ^ (x3*(1,0,1)) =(1,1,1)
解释一下,就是x1*(1,1,1)表示x1是否选择,(1,1,1)表示关联。 如果x1=1,这三盏等都亮;否则,都不亮。
剩下的同理。
整个式子就是x1,x2,x3的操作会对总的灯造成什么影响。 (如果最后都为1表示全亮)
这个式子可以看成一个矩阵乘法 (其实矩阵是关于主对角线对称的,有没有发现)
{1 1 1} {x1} {1}
{1 1 0} * {x2} = {1}
{1 0 1} {x3} {1}
然后就是利用之前所说的类似于处理上三角的方法消元。
可以看成是 |右边的是方程的解
{1 1 1|1}
{1 1 0|1}
{1 0 1|1}
最后我们可以得到
{1 1 1|1}
{0 1 0|0}
{0 0 1|0}
然后倒着求解。
x3*1=0 x3=0
x2*1=0 x2=0
x1*1 ^ x2*1 ^ x3*1 =1
x1=1
然后就搞完了
有可能处理到有些自由变量,比如处理到某个变量的时候,在后面找不到该个变量为1的了。
自由变量对该行方程的解无影响,但对其他方程可能有影响,最后的时候需要枚举这些求解。
算法:
最后枚举所有的自由变量。
#include<cstdio> #include<iostream> #include<cstring> #include<cstdlib> #include<algorithm> #include<queue> #include<cmath> using namespace std; const int maxn=110; bool f[maxn][maxn]; int ans[maxn]; int is[maxn]; int n,m; int tot; void init() { memset(f,0,sizeof(f)); memset(is,0,sizeof(is)); ans[0]=0x3f3f3f3f; tot=0; } void solve()//高斯消元 { int k=1; int j; for(int i=1;;i++)//枚举变量 { if(i==n+1) { for(j=k;j<=n;j++) { if(f[j][n+1]==1) { puts("-1"); return ; } } m=k-1; return ; } for(j=k;j<=n;j++) { if(f[j][i])break; } if(j==n+1) { continue; is[i]=++tot; } else { swap(f[k],f[j]); for(j=k+1;j<=n;j++) { if(f[j][i])for(int l=i;l<=n+1;l++)f[j][l]^=f[k][l]; } } k++; if(k>n)break; } m=n; } void get_ans() { for(int j=n+1,i=m;i;i--) { for(j--;j&&is[j];j--); ans[j]=f[i][n+1]; for(int k=j+1;k<=n;k++) if(f[i][k])ans[j]^=ans[k]; } } int main() { while(scanf("%d",&n)!=EOF&&n) { init(); for(int i=1;i<n;i++) { int a,b; scanf("%d%d",&a,&b); f[a][b]=f[b][a]=1; } for(int i=1;i<=n;i++)f[i][i]=f[i][n+1]=1; solve(); for(int i=0;i<1<<tot;i++) { for(int j=1;j<=n;j++) { if(is[j])ans[j]=(i>>is[j]-1)&1; } get_ans(); int cnt=0; for(int j=1;j<=n;j++)if(ans[j])cnt++; ans[0]=min(ans[0],cnt); } printf("%d\n",ans[0]); } return 0; }