摘要： 题目描述 有n个布尔变量x_1x1​~x_nxn​，另有m个需要满足的条件，每个条件的形式都是“x_ixi​为true/false或x_jxj​为true/false”。比如“x_1x1​为真或x_3x3​为假”、“x_7x7​为假或x_2x2​为假”。2-SAT 问题的目标是给每个变量赋值使得所有 阅读全文