摘要：
逻辑错误的代码 1 //想了很久，发现自己做这道题时犯了一个大BUG。我的思路是，把一组钥匙看成一对X,-X。把 2 //门确定的关系连边。其实这样是有错的，因为边的意义是“必须”，而实际上，门确定的只是矛盾 3 //关系。不是必须是，不是门上锁其中一个选或不选就能影响到另一个。 4 ... 阅读全文
摘要：
好吧，这次估计是明白边的含义了。X\/Y= -X->Y = -Y->X 这就达成了选了-X必须选Y的目的了。对于这道题，必须要明白题目了。每一个队（三人一队）或者队长留下或者其余两名队员同时留下 ： 就可以得到 X\/(Y^Z)=1 而不是互斥的。以及 X->-Y -X->Y 1 #includ... 阅读全文
摘要：
加深了对有向边意义的理解了。2-SAT 1 #include 2 #include 3 #include 4 #include 5 #include 6 using namespace std; 7 8 const int MAXN=2010; 9 const int ... 阅读全文
摘要：
2-SAT问题有必要写一下边的含义。所谓，选i必选j的意思是，因为每一对中只能有一个被选，则矛盾的对中若其中一被选i，另一个不可能是j'，因为存在矛盾，所以必选 j. 1 #include 2 #include 3 #include 4 #include 5 6 using namespa... 阅读全文