realFish的博客

摘要： ###2-SAT问题 有$N$个变量，每个变量有两种可能的取值。给定$M$个限制条件，问能否构造出一组答案，使其满足所有限制条件。若能，输出一组答案。 设一个变量$A_i$的两种取值为$A_{i,0}$与$A_{i,1}$。对于所有的限制，均可抽象为：若$A_i=A_{i,p}(p∈{0,1})$， 阅读全文