2-SAT

一般解决的是 or 的问题。

将逻辑关系抽象成单向边，注意其逆否命题，但其逆命题可不能抽象为边。

假定 $i \ \text{or} \ j=1$，那么若 $i=0$，则 $j=1$，以及其逆否命题。但不能是，若 $j=1$，则 $i=0$。

但在 AND 的情况中，便需要考虑其逆命题。https://www.cnblogs.com/xugangfan/p/16563134.html

https://www.cnblogs.com/alex-wei/p/high_level_graph_theory.html

还有，对于 $x=k$，这类每个元最终确定一个值的问题，同样可抽象为 $x\ge k$，然后变为 2-SAT 问题。

https://www.luogu.com.cn/problem/CF1697F

__EOF__

本文作者：F x o r G
本文链接：https://www.cnblogs.com/xugangfan/p/16891256.html
关于博主：评论和私信会在第一时间回复。或者直接私信我。
版权声明：本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！
声援博主：如果您觉得文章对您有帮助，可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力！