BehappyXiang的专栏

思路：用op数组记录队员i的对立编号，如op[0]=1,op[1]=op[2]=0;,然后用2-SAT来判断#include #include #include using namespace std;const int maxn=3002;const int maxm=12002;int n,m,s;struct node{ int to,next;} e[ma

题意：给你N对夫妻，从夫妻之间不会矛盾，但非夫妻可能产生矛盾，问能否从每对夫妻之中选出一个，这N个人互不矛盾。思路：很裸的2-SAT，今天也是第一次接触，还不是很明白，打算刷下题再了解一下#include #include #include using namespace std;const int maxn=2002;const int maxm=2000002;int

题意：给一个圈，上面有n个点，0~n-1，然后再给你m对点，之间连边，可以连在圈内也可以连载圈外，问最后是否能将这m条边都连接，并且之间互不相交思路：将每条边看成一个点，若两条边可能相交，那么，一个连圈内，一个连圈外，将每个点分点成a,a'，表示连载圈外和圈内，建立2-SAT模型即可。注意两条直线的相交判断。#include #include #include using names

题意：就是解关于AND,OR,XOR的多元方程，有解输出YES，无解输出NO思路：每个Xi有0和1的取值，对于AND之后c=1，如果a取0自身是矛盾边，a到a'连边，如果a取1，那么b必须1，反之b亦然，c=0时，a取1时，b必须取0，反之亦然；对于OR之后c=1，如果a取0，那么b必须取1，c=0时，a取0时，b必须取0，a取1时自身矛盾，a到a'连边，b同理；对于XOR之后c=1，如果a取

取i表示为与当前Bi平局，i‘为与当前Bi胜利，完成2-SAT模型。对约束条件进行讨论。#include #include #include using namespace std;const int maxn=20002;const int maxm=40002;struct node{ int to,next;} e[maxm];int head[maxn