Twilight_star

摘要： 2-SAT 为一串的布尔变量，需要求我们求出一组解以满足所有布尔方程或报告无解。 先根据所有条件连边。\(如果a，则一定有b\)，则可以连边 \(a\to b\)。 注意，这里的边类似差分约束的边，是必须满足 所有边 的要求，而非选择一些边来满足要求。若 \(a\) 成立，则一定有 \(b\)。 判 阅读全文