关于2-sat,其实就是一些对于每个问题只有两种解,一般会给出问题间的关系,比如and,or,not等关系,判定是否存在解的问题.. 具体看http://blog.csdn.net/jarjingx/article/details/8521690,该博客写得很不错的. 下面是LRJ白书上给的2-sat,个人觉得写的很不错..效率也很高. #define maxn 500 struct TwoSat{ int n; vector<]; ]; ], c; bool dfs(int x){ // 搜索…