2-sat hoj 和平委员会 Peaceful Commission
/*2-sat第一题。
好题啊!
首先2-sat是一个2限定性问题。
一组有2个元素。
若a和b矛盾,则a和b同组的另一个元素连一条边。
此为建图。
然后注意要反向存图,建立以缩点为节点的新图。
然后对新图进行自底向上的拓扑排序。
然后按顺序输出一组解。*/
#include
#include
#include
#include
using namespace std;
const int
原创
2012-09-20 09:14:09 ·
2184 阅读 ·
0 评论