AndyBear

题目描述： 题目描述很简单，有m扇门，每扇门有两个锁，两个锁对应两把钥匙，任意打开一个锁就可以打开一扇门，其中钥匙也是俩俩配对的，也就是说一对钥匙中只要使用了一把，另一把就不能使用了，但是使用过的钥匙可以反复使用。求最多能开多少门。 大致思路： 看过描述之后还是可以看出来，这个题目还是比较明显的2-SAT的题目，主要问题还是在建边。钥匙不用说，所有的钥匙对都要加到图中，而且两个变量的关系应该

题目描述： 给出n个布尔变量xi，每个变量或者取1或者取0，给出m条两个变量的逻辑运算结果，运算包括与或异或三种。问是否存在一种取值方法使得m条关系成立。 大致思路： 看题目描述很像2-SAT的定义，但是就是在过程中构造边的地方有点复杂，容易出错。具体过程看程序。 代码： #include #include #include #include using namespace s