xysmlx

摘要： http://poj.org/problem?id=2296很好的一道2-SAT题取上为1，取下为0两个新规则：a = 0: 这个等价于加边!a->aa = 1: 这个等价于加边a->!a当二者y差值 3 #include 4 #include 5 #include 6 #include 7 #include 8 #include 9 #include 10 #include 11 #include 12 #include 13 #include 14 #include 15 #include 16 #include 17 using namespace std; 18 type. 阅读全文