maomao9173

摘要： 终于搞懂了$2 sat$。实际上是个挺简单的东西，像网络流一样关键在于建模。 问题：$n$个数$A$，可以选择$0$和$1$，现在给你$m$组条件$A$，$B$，对每个条件要求$A$为真或者$B$为真。 $2 sat$的建图方法：把每一个或条件拆成两个。例如对于条件$A$ $or$ $B$： 如果$ 阅读全文