笔记 - 强连通分量

题目

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

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

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

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

标签：缩点,连通,DAG,笔记,分量,模板,SAT
来源： https://www.cnblogs.com/OldPanWeb/p/15944114.html