2022年7月15日
2-SAT
摘要： #定义 2-SAT(Satisfiability)问题是这样的：有n个布尔变量，另有m个需要满足的条件，每个条件的形式都是“$x_i$为真/假或者$x_j$为真/假”(每条语句只有两个变量并且用或连接)。 我们的任务是判断对于n个布尔变量是否有合适的取值(0或1)来满足所有的条件。 #解法 由于每种 阅读全文
posted @ 2022-07-15 17:04 何太狼 阅读(14) 评论(0) 推荐(0) 编辑