2016年8月12日
图论$\cdot$2-SAT问题
摘要： 2-SAT问题是这样的：有$n$个布尔变量$x_i$，另有$m$个需要满足的条件，每个条件的形式都是“$x_i$为真/假或者$x_j$为真/假”。比如："$x_1$为真或者$x_3$为假“。注意这里的”或“是指两个条件至少有一个是正确的，比如$x_1$和$x_3$一共有$3$中组合满足"$x_1$为 阅读全文
posted @ 2016-08-12 23:34 astoninfer 阅读(198) 评论(0) 推荐(0) 编辑