高斯消元解异或线性方程组

高斯消元解异或线性方程组

举例：

假设输入如下：

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;
}