poj3678:Katu Puzzle（2-SAT）

传送门

• 题意

有一个大小为N的集合={x1,x2..xn}，xi=0或1，现在给出它们之间的一些逻辑运算的结果(比如x1 and x2=1)，逻辑运算有AND OR XOR三种，问是否存在一种满足所有条件的取值方案。

• 题解:2-SAT

这道题真是把2-SAT思想诠释得淋漓尽致。

给出关键部分：

        if(ch[1]=='A')
        {
            if(c==1)//如果a&b==1 那么a==1&&b==1
            {
                add(tocode(x,0),tocode(x,1));
                add(tocode(y,0),tocode(y,1));
            }
            else  //如果a&b==0 那么a==1时b==0，b==1时a==0(注意：a==0时b无限制，所以不加边)
            {
                add(tocode(x,1),tocode(y,0));
                add(tocode(y,1),tocode(x,0));
            }
        }
        else if(ch[1]=='O')
        {
            if(c==1) //如果a|b==1 那么a==0时b==1，b==0时a==1
            {
                add(tocode(x,0),tocode(y,1));
                add(tocode(y,0),tocode(x,1));
            }
            else    //如果a|b==0 那么a==0，b==0
            {
                add(tocode(x,1),tocode(x,0));
                add(tocode(y,1),tocode(y,0));
            }
        }
        else
        {
            if(c==1)//如果a^b==1 那么a==0时b==1，a==1时b==0,b==0时a==1,b==1时a==0
            {
                add(tocode(x,0),tocode(y,1));
                add(tocode(x,1),tocode(y,0));
                add(tocode(y,0),tocode(x,1));
                add(tocode(y,1),tocode(x,0));
            }
            else //如果a^b==0 那么a==0时b==0，a==1时b==1,b==0时a==0,b==1时a==1
            {
                add(tocode(x,0),tocode(y,0));
                add(tocode(y,0),tocode(x,0));
                add(tocode(x,1),tocode(y,1));
                add(tocode(y,1),tocode(x,1));
            }
        }