缩点 & 割点 & 割边
若图 \(G\) 中存在一个子图 \(G'\)，\(G'\) 中任意两点均可互相到达，则称 \(G'\) 为 \(G\) 的一个强连通分量。若 \(G'\) 不存在一个严格子图为强连通分量，则 \(G'\) 为 \(G\) 的极大强连通分量。
参考代码：
若图 \(G\) 中存在一个子图 \(G'\)，\(G'\) 中任意两点均可互相到达，则称 \(G'\) 为 \(G\) 的一个强连通分量。若 \(G'\) 不存在一个严格子图为强连通分量，则 \(G'\) 为 \(G\) 的极大强连通分量。
参考代码：
\(2-\rm Sat\) 问题是求解某个 \(\rm bool\) 方程组，方程组中的每个方程被描述为：\(x_{i}\) 为真\(/\)假 或 \(x_{j}\) 为真\(/\)假。
对树上每个点建立一个 \(\rm bool\) 变量，取值为 \(1\) 表示这个点选。