- 题意
有一个大小为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));
}
}