P2441M

摘要： 题意 有 \(n\) 个布尔变量和 \(m\) 条限制，设 \(s_i\) 表示第 \(i\) 个布尔变量的取值，每条限制 \((u,x,v,y)(x,y\in\{0,1\})\) 表示 \(s_u=x\Rightarrow s_v=y\) 且 \(s_v=y\Rightarrow s_u=x\)。 阅读全文