因为这题甚至不用每个变量拆两个点
by 小粉兔 @ 2021-01-20 23:30:45
考察 2-SAT 的形式，可以发现即使建了逆否命题的边，也是形成两侧互相独立的图，没必要都保留
by 小粉兔 @ 2021-01-20 23:31:48
而且因为有个必须选至少一个人和至少一个猫的限制，要对最终的 DAG 结构做另外的考察
by 小粉兔 @ 2021-01-20 23:32:32
@[小粉兔](/user/10703) 谢谢 懂了
by little_sun @ 2021-01-21 17:04:44