2-sat 题目:[模板]2-SAT 问题 题目描述: 有n个布尔变量,另有m个需要满足的条件,每个条件的形式都是“为true/false或为true/false”。比如“为真或为假”、“为假或为假”。2-SAT 问题的目标是给每个变量赋值使得所有条件得到满足。 题解: 0表示不选,1表示选 1.a=0 , a->a' 2.a=1 , a'->a 3.a=1那么b=1 , a->b b'->a'(隐藏b=0那么a=0) 4.a=0那么b=0 , a'->b' b->a(隐藏b=1那么a=1) 5.a=1那么b=0 , a->b' b-&g...