题目

• 缩点模板 强连通分量(DAG最长链)

• 2-SAT模板 2-SAT + 缩点

• 卡图难题典 2-SAT + 缩点
  类似于 \(a\ and\ b = 1\) 这种条件, 可以使"若赋值为 0, 则直接矛盾". 即 \(\neg a\rightarrow a\), \(\neg b\rightarrow b\)

• 最受欢迎的牛模板 强连通分量（DAG 出入度统计）