【PKU1830开关问题】解异或方程组（更正版）

之前的那个帖子写的解方程的方法是错误的！

之前的丑方法：

   先用行列变换来消元，如果发现当前的i号元相关的所有系数都为0了，直接判其为自由元，同时跳过这个方程，完全忽略它然后接着做，最后回代判无解

   X         X         X              X            

    X       XX       X              XX

     X     X  X     X              X  X          

      X   X    X   X              XXXX         

       X X      X X              X      X        

        X         X               X        X       

  但是，就是丑程序居然在poj上ac了，它的数据也太弱了！

  自己随机生成的数据随随便便就会错，晕

正解：

   同样是用行列变换来消元，但如果发现i号元相关的所有系数都为0，跳过i号元没错，但不能跳过这个方程，下次还得从这个方程开始找下一个元，自由元的个数就是冗余方程的个数，至于无解，由于非冗余方程已经把所有的系数都消掉了，所以只需要在最后多出来的几个方程中看等式是否满足即可

代码：

program syj; {xor equation} var task,i,j,k,z,ans,n:longint; a:array[1..30]of longint; begin assign(input,'switch.in');reset(input); assign(output,'switch.out');rewrite(output); readln(task); for task:=1 to task do begin readln(n); for i:=1 to n do read(a[i]); for i:=1 to n do begin read(j);a[i]:=a[i] xor j; end; for i:=1 to n do a[i]:=a[i]or(1<<i); readln(i,j); while i+j>0 do begin a[j]:=a[j]or(1<<i); readln(i,j); end; ans:=0; k:=1; for i:=1 to n do begin for j:=k to n do if odd(a[j]>>i) then begin z:=a[k];a[k]:=a[j];a[j]:=z;break; end; if not odd(a[k]>>i) then inc(ans) else begin for j:=k+1 to n do if odd(a[j]>>i) then a[j]:=a[j]xor a[k]; inc(k); end; end; for i:=k to n do if odd(a[i]) then begin ans:=-1;break; end; if ans=-1 then writeln(0) else writeln(1<<ans); end; close(input);close(output); end.