摘要： P4782 【模板】2-SAT 问题 将每个数的真假分成两个点$i+n,i$ $a$真或$b$假 $=a$假$b$必假，$b$真$a$必真 $=a->b,b+n->a+n$ 以此类推建边 如果$x,x+n$在同一个强连通分量里，就不成立 用Tarjan判断。 注意有$2n$个点，每个都要跑Tarja 阅读全文