摘要：题意 分析 2-SAT模板题。 大概的意思是每个变量拆成两个点，分别表示选0和选1。 然后把“确定的二元关系”来连边，也就是如果存在$a$就必然存在$b$的话，就从$a$向$b$连边。 接下来使用 \(tarjan\) 求出强连通分量。 判断就是：如果无解，那么至少存在一个变量，其两个点在同一个连通 阅读全文