275307894a

摘要： 题面传送门 如果没有x就是2-SAT裸题。 具体的，如果当前$x$不满足，直接跳过，如果$y$不满足，那么连边如果$x=nx$满足，那么$x=nx1$满足。其它就正常连边。 然而这题有x。 考虑到x的数量很少，我们可以直接爆搜每个x是$a$还是$b$还是$c$，但是这样不优。 发现其实$a$与$b$ 阅读全文