scf0920

题目地址：POJ 3648 这题终于AC了。。。。没有专门对新郎新娘加一条边。。 这题前面一直读错题意了，调试了好长时间样例也没过。。这题的意思是只要新郎那一边没有通奸的就可以，然后输出新娘那一边的人。 然后就是对那些有**关系的加边，由于新郎新娘必须要在两侧，所以最后要额外加一条边。然后用强连通判断，逆拓扑染色输出可行解即可。 代码如下： #include #include #in

题目地址：HDU 3062 2-sat第一发。水题。。 首先假设A，A'为同一组的两个布尔变量且不能同时选择同一组的两个变量。如果存在一种同时选择了A和A'的方案，则该方案无解。 设为选择X就必须选择Y，则基本的建图如下： A，B不能同时选：，表示选择A就必须不能选择B，选择B就不能选择A A，B不能同时不选：，表示不选A则必须选B，不选B则必须选A A，B必须同时选或同时不选：，略。

题目地址：HDU 1824 这题可以把每队的两个队员看成一个，这样就是2-sat水题了。。。 代码如下： #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define LL _

题目地址：HDU 3622 先二分半径，然后小于该半径的不能选，对这些不能选的点对进行加边。然后判断可行性即可。 代码如下： #include #include #include #include #include #include #include #include #include #include #include using namespace std; #d

题目地址：POJ 3207 找好矛盾关系，矛盾关系是(2,5)和(3,6)这两个只能一个在外边，一个在里边，利用这个矛盾关系来建图。 可以用在外边和里边来当1和0，最后判断每对是否出现矛盾。 代码如下： #include #include #include #include #include #include #include #include #include #inc

题目地址：POJ 3683 第一次做需要输出可行解的题目。。。大体思路是先用强连通来判断是否有可行解，然后用逆序建图，用拓扑排序来进行染色，然后输出可行解。具体思路见传送门 因为判断的时候少写了一个等号。。检查了好长时间。。sad。。。 代码如下： #include #include #include #include #include #include #include #

题目地址：POJ 3678 算是2-SAT裸题了。。分类讨论就行了。。 代码如下： #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define LL __int64 cons