2018年8月20日
【模板】2-SAT 问题(2-SAT)
摘要： 【模板】2 SAT 问题 题目背景 2 SAT 问题 模板 题目描述 有n个布尔变量 $x_1$​ ~ $x_n$​ ，另有m个需要满足的条件，每个条件的形式都是“ $x_i$ 为true/false或 $x_j$​ 为true/false”。比如“ $x_1$​ 为真或 $x_3$​ 为假”、“ 阅读全文
posted @ 2018-08-20 08:05 Epiphyllum_thief 阅读(199) 评论(1) 推荐(0) 编辑