2-sat总结 2-sat问题，一般表现的形式为，每个点有两种方式a,b，要么选a，要么选b，并且点点之间有一些约束关系，例如：u和v至少一个选a，那么这就是一个表达式，把a当成真，b当成假，那就是u真或v真，2-sat的题目就是这样，给定这些约束，判断是否会矛盾 注
2-sat总结2-sat问题，一般表现的形式为，每个点有两种方式a,b，要么选a，要么选b，并且点点之间有一些约束关系，例如：u和v至少一个选a，那么这就是一个表达式，把a当成真，b当成假，那就是u真或v真，2-sat的题目就是这样，给定这些约束，判断是否会矛盾
注意表达式的转化形式，（其实就是离散数学中那几种转换方式）
比如（u真且v真）或（u假且v假）就可以转化成（u真或v假）且(u假或v真)，这样就能建立关系
2-sat中的原理，其实和2染色是一样的，把每个结点拆分成一个真结点和一个假结点
那么一个表达式(a真或b真)，如果a为假，那么b必须为真，b为假a必须为真，那么就在a假b真和b假a真结点之间建边，然后跑二染色就能够判断了
一般有这么几种做法：
推出表达式（如何化简），然后直接搞
推出结点之间的真假关系，然后搞
二分+判断(其实这个挺容易看出来的，一般就是最大值最小化之类的)
其实2-sat的题目还是挺容易看出来的，问题在于如何构造出表达式，如何去化简表达式
模板：
#include #include #include #include #include using namespace std;const int maxnode = 2005;struct twoset { int n; vector g[maxnode * 2]; bool mark[maxnode * 2]; int s[maxnode * 2], sn; void init(int tot) { n = tot * 2; for (int i = 0; i
hdu 3062 party 裸题直接判断
hdu 1824 let's go home 化简表达式
hdu 3622 bomb game 根据圆是否相交构造表达式
hdu 3715 go deeper 二分+判断
hdu 1815 building roads 二分+构造表达式
hdu 1816 get luffy out 根据题意构造表达式
hdu 4115 eliminate the conflict 把问题转化为只有真假关系，进行2-sat
poj 2296 map labeler 根据相交关系（如何判断是个问题）构造表达式
poj 3207 ikki's story iv - panda's trick 根据相交关系（如何判断是个问题）构造表达式
poj 3648 wedding 根据题意构造表达式
poj 3678 katu puzzle 根据题意进行表达式的化简
poj 3905 perfect election 根据题意构造表达式
hdu 1814 peaceful commission 2-sat的字典序最小输出（其实就是注意建图方式，然后让字典序小的优先染色即可)
hdu 4421 bit magic 位运算+2-sat 根据题意构造表达式
poj 3683 priest john's busiest day 根据时间相交关系构造表达式