摘要： 基本思想是按某种顺序为每一对未确定的 \((a,\neg a)\) 确定一个合法的点并将其后代加入方案。如果本次选择了 \(a\)，其合法等价于之后选到的 \(a\) 的后代不会同时包含某个点对\((b,\neg b)\)。其可以细分为：①之后选到的 \(a\) 的后代不包含先前已被加入到方案的点的 阅读全文