2-sat 【模板】

好烦。写一道题 TLE25次，感觉已经尽力了。。。留下来，以后做。

 

正好趁现在补下2-sat模板。前几天做2-sat，就一个有向图tarjan算法就敲了不下20遍，对这个算法理解的更加透彻了，而且还间接帮我理解了二分查找，收获不少。

 

2-sat 模板（对于DFS 暴力求最小字典序的模板，我就不写了，网上这个模板比较多）

 

一：判断是否存在可行解，若存在输出任意一组可行解。

 

思路：根据相对关系建边，先tarjan求SCC，判断相对关系的变量是否在同一个SCC里面。若所有变量均满足它和它相对变量不在同一个SCC里面，就说明存在可行解，反之不存在。判断后 ，就是SCC缩点 + 反向建边，然后拓扑排序 + 染色，染成同一种颜色就是一组可行解。

 

模板：

#include <cstdio>
#include <cstring>
#include <queue>
#include <vector>
#include <stack>
#include <algorithm>
#define MAXN 
#define MAXM //根据题目需求 
#define eps 1e-5
using namespace std;
struct Edge
{
	int from, to, next;
}edge[MAXM];//原图
int head[MAXN], edgenum; 
vector<int> G[MAXN];//缩点后新图 
int in[MAXN];//新图SCC的入度 
int low[MAXN], dfn[MAXN];//通过子女