关于2-sat判定求解中“同一组内必须选择”问题的思考
在2-sat判定问题中我们经常会遇到这样一种情况,在一组相互矛盾的点Si和Si'中,必须选择Si而不能选择Si'。比如在poj
3678中有“每个数都是0或者是1,但是如果a&&b==1,则a和b都必须是1才可以满足”,在poj
3648有妻子必须坐在左侧,等等……。
拿poj 3678举例,网上的解决方法大都是这样的:用Si表示第i个变量的值为1,用表Si'示第i个变量的值
转载
2012-08-29 11:01:19 ·
856 阅读 ·
0 评论