Pearblossom

摘要： 对于每个限制条件只包含两个变量的，称为2-sat 建边方式 首先拆点，把每个命题分为 \(true\) 与 \(false\) 在图上用点之间的可达性表示命题之间的蕴含关系 对于 \(x_i=1\) 的限制，等价于 \(x_i \neq 0\)，让 \(x_i=0\) 的情况推出 \(x_i=1\) 阅读全文