poj 3678 Katu Puzzle 2-SAT
摘要:
题目链接 给n个点,每个点有一个点权0或1, m个条件, 每个条件给出两个点u, v, 给出一个值w,w = 0或1, 给出一个条件s。 s为AND, OR或者XOR。 表示u 和 v经过条件s后得到的值为w。 问能否找到满足条件的点权集合。 因为只有0或1两种条件, 所以转化为2-sat。 我们将 阅读全文
posted @ 2016-03-16 16:54 yohaha 阅读(176) 评论(0) 推荐(0) 编辑