POJ3683-Priest John's Busiest Day(2-SAT)
题目链接http://poj.org/problem?id=36832-SAT总结2-SAT的性质: 以下设x’为x的非 1. 对称性:即若x->y,则一定有y’->x’(原命题和逆否命题等价) 2. x和x’不能同时成立(即x和x’不能在同一个强连通分量之中) 3. 若选择了x,则x的所有后继结点都应被选择, 且x’不可选,则x’的所有前驱结点都不可选 算法 1. 对图跑一遍
原创
2016-11-26 11:58:51 ·
242 阅读 ·
0 评论