HDU 4421 Bit Magic 2sat

给一个序列，经过cal函数能得到一个矩阵

现在反过来，给一个矩阵能否得到原序列

原序列有n个数，n<=500

2sat建图时，，addedge（x,vx，y,vy）代表   x=vx ||y=vy真

我们按位去考虑，考虑第i位时，我们把矩阵中n x n个条件 作为2sat的条件

例如如果矩阵的Bij对应的符号是 或|

那么表示ai与aj的第i位或的结果为 x|y=Bij的第i位

       当bij==1，也就是x|y为真的条件会是  

                     addedge(i,1,j,1) // ai或aj的这一位为真即可

  else bij=0时， add其余的情况

同理 当矩阵bij对应符号为^时

当bij==1，也就是x^y为真的条件会是   

                     addedge(i,1,j,0)                  //两位分别为1和0 
                     addedge(i,0,j,1)

  else bij=0时， add其余的情况 

同理 当矩阵bij对应符号为&时