2-sat

摘自http://blog.csdn.net/qq_24451605/article/details/47126143

1.我们利用一条有向边<i,j>,来表示选i的情况下,一定要选j;

2.用i表示某个点是true,那么i'表示某个点是false

3.因为限制的两两之间的关系,所以我们可以通过逻辑关系来建边:

          1)如果给出A和B的限制关系,A和B必须一起选,(A and B)||(!A and !B )==true 那么选A必须选B,建边<i,j>和<j,i>还有<i',j'>和<j',i'>

          2)如果给出A和B的限制关系,选A不能选B,那么(A && !B)||(!A && B )==true,建边<i,j'>和<j,i'>

          3)如果必须选A,那么A==true,建边<i',i>

          4)如果A一定不能选,那么!A==true.建边<i,i'>

posted @ 2018-02-28 20:28  尹吴潇  阅读(132)  评论(0编辑  收藏  举报