随笔分类 -  [图论.2-sat]

hdu 3062(2-SAT入门题)
摘要：传送门 题解： 根据矛盾关系构造布尔公式。 令 0~n-1 表示妻子， n~2*n-1 表示丈夫 A1 C1 A2 C2 如果C1为0，C2为0，对应的布尔公式为 (A1+n)V(A2+n) 如果C1为0，C2为1，对应的布尔公式为 (A1+n)V(A2) 如果C1为1，C2为0，对应的布尔公式为 阅读全文
posted @ 2018-10-11 09:20 HHHyacinth 阅读(366) 评论(1) 推荐(0)