高斯消元解异或线性方程组
举例:
假设输入如下:
1 1 0 1
0 1 1 0
1 0 0 1
有
步骤跟上一节类似:
1、消成上三角矩阵。a)枚举列 b)找非0行 c)将非0行换到第一行 d)把下面所有行清零
2、判断解的情况:a)完美-唯一解 b)有矛盾,说明无解 c)无矛盾,无穷解。
Example
输入一个包含n个方程n个未知数的异或线性方程组。
方程组中的系数和常数为0或1,每个未知数的取值也为0或1。
求解这个方程组。
异或线性方程组示例如下:
M[1][1]x[1] ^ M[1][2]x[2] ^ … ^ M[1][n]x[n] = B[1]
M[2][1]x[1] ^ M[2][2]x[2] ^ … ^ M[2][n]x[n] = B[2]
…
M[n][1]x[1] ^ M[n][2]x[2] ^ … ^ M[n][n]x[n] = B[n]
其中“^”表示异或(XOR),M[i][j]表示第i个式子中x[j]的系数,B[i]是第i个方程右端的常数,取值均为0或1。
输入格式
第一行包含整数n。
接下来n行,每行包含n+1个整数0或1,表示一个方程的n个系数以及等号右侧的常数。
输出格式
如果给定线性方程组存在唯一解,则输出共n行,其中第i行输出第i个未知数的解。
如果给定线性方程组存在多组解,则输出“Multiple sets of solutions”。
如果给定线性方程组无解,则输出“No solution”。
数据范围
1≤n≤1001≤n≤100
输入样例:
3
1 1 0 1
0 1 1 0
1 0 0 1
输出样例:
1
0
0
#include <iostream>
#include <algorithm>
using namespace std;
const int N = 110;
int n;
int a[N][N];
int gauss()
{
//枚举行列
int r, c;
for (r = 0, c = 0; c < n; c ++)
{
int t = r;
for (int i = r; i < n; i ++)
if (a[i][c])//找到一个非零数
{
t = i;
break;
}
if (!a[t][c]) continue;//如果没找到,则continue
//交换两列
for (int i = c; i <= n; i ++) swap(a[t][i], a[r][i]);
//从 r + 1行开始消零
for (int i = r + 1; i < n; i ++)
if (a[i][c])//如果这个数不为0则异或
for (int j = c; j <= n; j ++)
a[i][j] ^= a[r][j];
r ++;
}
//判断是否有解
if (r < n)
{
for (int i = r; i < n; i ++)
if (a[i][n]) return 2;
return 1;
}
//将所有行消掉0
for (int i = n - 1; i >= 0; i --)
for (int j = i + 1; j < n; j ++)//把每行后面所有系数消掉
a[i][n] ^= a[i][j] & a[j][n];//只有1的时候才异或,所以用&运算
return 0;
}
int main()
{
cin >> n;
for (int i = 0; i < n; i ++)
for (int j = 0; j < n + 1; j ++)
cin >> a[i][j];
int res = gauss();
if (res == 0)
{
for (int i = 0; i < n; i ++) cout << a[i][n] << endl;
}
else if (res == 1) puts("Multiple sets of solutions");
else puts("No solution");
return 0;
}