red

摘要： 【模板】2-SAT 问题 $k-SAT$问题$(k\geq 3)$是$NP$难题。 一个条件形如$x_i$为$a$或$x_j$为$b$ 如何表示一个状态必须选？ 添加条件：$x_i$为$a$或$x_i$为$a$ 则表示，$x_j$为$\sim b$时，$x_i$一定为$a$。$x_i$为$\sim 阅读全文