2-sat问题简介
对于2-sat问题的每一个约束:两个条件中至少满足一个;
这里加入满足x∣yx|yx∣y,只需要xxx或者yyy满足条件就可以了。
那么如果xxx不满足条件,那么yyy必须满足条件;反之亦然;
那么就可以对于这种约束条件建边在xxx不满足条件的情况下,yyy必须满足条件,即!x−>y!x->y!x−>y;同理可以知道!y−>x!y->x!y−>x;
这个建边方式可以推广到一般的约束中去,只要是2-sat,即两者之间的约束都可以(约束关系只在x,y之间)。
这样的话,对于图
原创
2020-08-03 11:46:30 ·
126 阅读 ·
0 评论