标签: 强连通分支及其应用(2-SAT)总结