POJ 1830 开关问题(高斯消元)

Description

有N个相同的开关，每个开关都与某些开关有着联系，每当你打开或者关闭某个开关的时候，其他的与此开关相关联的开关也会相应地发生变化，即这些相联系的开关的状态如果原来为开就变为关，如果为关就变为开。你的目标是经过若干次开关操作后使得最后N个开关达到一个特定的状态。对于任意一个开关，最多只能进行一次开关操作。你的任务是，计算有多少种可以达到指定状态的方法。（不计开关操作的顺序）

Input

输入第一行有一个数K，表示以下有K组测试数据。 
每组测试数据的格式如下： 
第一行 一个数N（0 < N < 29） 
第二行 N个0或者1的数，表示开始时N个开关状态。 
第三行 N个0或者1的数，表示操作结束后N个开关的状态。 
接下来 每行两个数I J，表示如果操作第 I 个开关，第J个开关的状态也会变化。每组数据以 0 0 结束。 

Output

如果有可行方法，输出总数，否则输出“Oh,it's impossible~!!” 不包括引号

Sample Input

2
3
0 0 0
1 1 1
1 2
1 3
2 1
2 3
3 1
3 2
0 0
3
0 0 0
1 0 1
1 2
2 1
0 0

Sample Output

4
Oh,it's impossible~!!

解题思路

可参照POJ1222进行变型，POJ 1222详细题解
在1222中终态为0矩阵，该题中为规定的另一个矩阵，其实直接异或原矩阵进行处理便是等式右侧的矩阵值了。另外该题更简单一点，输入的 I，J 的值即对应 a[][] 的值，不用再自己转化求解 a 矩阵了。
如果存在可行方法时，其结果值是${2}^{自由变元}$，因为自由变元的取值只有0和1两种情况。
当化简后增广矩阵的秩等于原矩阵的秩且等于 n 时（即化简后为绝对的上三角），有唯一解；
当化简后增广矩阵的秩等于原矩阵的秩且小于 n 时，有多组解；
当化简后增广矩阵的秩与原矩阵的秩不相等时（增广矩阵化简后存在（0，0，0,……，a）的情况），无解。
则该题中需要判断是否存在(0，0，0，……，a)的情况。

代码实现

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
using namespace std;
#define maxn 50
int a[maxn][maxn],length;
int ans[maxn];
void Gauss()
{
    int i, j, k, r,col;
    for(k=0,col=0; k<length&&col<length;k++,col++)
    {
        int i = k;
        while(i<length && a[i][col]==0)  i++;
        if(a[i][col]==0)   //该col列第i(即k)行一下全部为0
        {
            k--;
            continue;
        }
        if(i > k)
        {
            for(r=col; r<=length; r++)
                swap(a[i][r], a[k][r]);
        }
        for(i=k+1; i<length; i++)
        {
            if(a[i][col])
            {
                for(j=col; j<=length; j++)
                    a[i][j] ^= a[k][j];
            }
        }
    }
    for(i=k; i<length; i++)
    {
        if(a[i][length]!=0)    //判断是否有（0，0，……，a）情况，即一行左侧全为0，增广列不为 0 的情况
        {
            printf("Oh,it's impossible~!!\n");
            return ;
        }
    }
    printf("%d\n",(1<<(length-k)));
    return;
}
int main()
{
    int i,T;
    scanf("%d",&T);
    while(T--)
    {
        memset(a, 0, sizeof(a));
        scanf("%d",&length);
        for(i=0; i<length; i++)
        {
            scanf("%d", &a[i][length]);
            a[i][i]=1;
        }
        int x;
        for(i=0; i<length; i++)
        {
            scanf("%d",&x);
            a[i][length]=a[i][length]^x;
        }
        int m,n;
        while(~scanf("%d %d",&m,&n))
        {
            if(m==0&&n==0) break;
            a[n-1][m-1]=1;
        }
        Gauss();
    }
    return 0;
}