2-SAT 问题
\(2-\rm Sat\) 问题是求解某个 \(\rm bool\) 方程组，方程组中的每个方程被描述为：\(x_{i}\) 为真\(/\)假 或 \(x_{j}\) 为真\(/\)假。
对树上每个点建立一个 \(\rm bool\) 变量，取值为 \(1\) 表示这个点选。
\(2-\rm Sat\) 问题是求解某个 \(\rm bool\) 方程组，方程组中的每个方程被描述为：\(x_{i}\) 为真\(/\)假 或 \(x_{j}\) 为真\(/\)假。
对树上每个点建立一个 \(\rm bool\) 变量，取值为 \(1\) 表示这个点选。