2018年8月6日
[洛谷P4782]【模板】2-SAT 问题
摘要： 题目大意：有$n$个布尔变量 $x_1 \sim x_n$，另有$m$个需要满足的条件，每个条件的形式都是"$x_i$ 为$true/false$或$x_j$为$true/false$"。比如"$x_1$为$true$或$x_3$为$false$"、"$x_7$为$false$或$x_2$为$fal 阅读全文
posted @ 2018-08-06 20:36 Memory_of_winter 阅读(164) 评论(0) 推荐(0) 编辑