【pku1830】开关问题 （高斯消元解xor方程组）

题目大意：

      在一些有依赖关系的灯里（即改了这个，那个也改了），要通过改变若干灯的状态来从初始状态达到目标状态，每个灯最多改变一次，方案总数。

分析：

      由于每个灯只能改1次，那么最终的状态就只与跟这个灯相关的灯的改变情况有关，容易想到设立方程组来对问题求解。至于解方程组，高斯大牛已经帮咱们铺平了道路了，在此对他表示崇高的敬意。

算法：

     用0表示i号灯不改，1表示改，那么对于每个灯把跟它相关（包括自己）的所有灯的改变情况xor起来，就是最终的改变情况，而最终改变情况可以由初末状态得到，再用高斯消元解这个方程组，最后答案如果不是无解就是2^不定元个数。

代码：

program syj; {xor equation} var task,i,j,n,x,y,fj,m:longint; no:boolean; f,z:array[1..30]of longint; begin assign(input,'pku1830.in');reset(input); assign(output,'pku1830.out');rewrite(output); readln(task); for task:=1 to task do begin readln(n); for i:=1 to n do read(z[i]); for i:=1 to n do begin read(x);f[i]:=z[i] xor x or (1 shl i); end; readln(i,j); while i<>0 do begin f[j]:=f[j] or (1 shl i); readln(i,j); end; m:=0; for i:=1 to n do begin fj:=0; for j:=i to n do if odd(f[j] shr i) then begin fj:=j;break; end; if fj=0 then inc(m) else begin x:=f[i];f[i]:=f[fj];f[fj]:=x; for j:=i+1 to n do if odd(f[j] shr i) then f[j]:=f[j] xor f[i]; end; end; no:=false; for i:=n downto 1 do if odd(f[i]) then if not odd(f[i] shr i) then begin no:=true;break; end else for j:=1 to i-1 do f[j]:=f[j] xor ((f[j] shr i)and 1); if no then writeln('Oh,it',chr(39),'s impossible~!!') else writeln(1 shl m); end; close(input); close(output); end.