经典2-SAT问题
构图时,根据条件找可以确定关系的形如A->B这样的关系式
i表示i取1,~i表示i取0
i AND j =1 ~i->i, ~j->j, i->j, j->i,后面两个关系式构成一个环,i,j在同一强连通分量中,可以免去
i AND j = 0 i->~i, j->~j 而~i推不出j为0还是1
i OR j =1 ~i->j, ~j->i
i OR J =0 i->~i, j->~j, ~j->~i, ~i->~j 又有环,可以省略
i XOR j =1 i->~j, j->~i, ~i->j, ~j->i
i XOR j =0 i->j, j->i, ~i->~j, ~j->~i 又构成两个环
代码: