摘要：P4782 【模板】2-SAT 问题 就是给关系进行连边，然后判断是否存在矛盾 输出方案的时候，就是在拓扑图上沿着反边走，但实际上tarjan求强连通分量已经排好序了 编号小的scc就是在拓扑序中排在后面的强连通分量 #include<cstdio> #include<algorithm> #inc 阅读全文