摘要： 【模板】2-SAT 问题 通用做法：拆点+Tarjan求强连通分量。将点$i$拆为$i$和$i+n$，分别表示$i$为假以及$i$为真。注意这个顺序不能搞反，否则求可行解的时候会出错。 连边： 本题中给出的命题为：“$x$为$a$或$y$为$b$”。以“$x$为真或$y$为假”为例，连边时作以下考虑 阅读全文