FSYo 的博客

传送门 2-sat 主要的思想是将一个点拆为两个点 如 点x变成x与x+n 其中x表示选0,x+n表示x选1 我们建立好关系后tarjan缩点,如果x与x+n在一个强联通分量,那么就是冲突的(x必须选0又必须选1) 本题如何建立关系 1.a&b = 0 , 如果a是1,b就是必须是0 于是a+n向b 连边,b+n向a连边 2.a&b = 1 , 表示a,b都为1,于是...