POJ-3207（2-SAT）

题目：http://poj.org/problem?id=3207

学习了刘汝佳的<<算法竞赛入门经典——训练指南>>相关内容之后的第一道2-SAT，书上讲的真是非常通俗易懂呢

看了题目之后，很容易想到每条边要么在里面，要么在外面，从而题目构成2-SAT的问题，难点主要是简图过程中，判断线段相交的方法，我是这么想的：

如果两条线段(a,b)且a <= b，(c,d)且c<=d，相交，则必然有：一条线段的一个端点，在另一条线段构成的区间范围内，另一个端点，不在另一条线段构成的区间范围内。

#include <cstdio>
#include <utility>
#include <vector>
#include <algorithm>
using namespace std;
#define MAX_N	1005
#define MAX_M	505

typedef pair<int,int> PII;
int N, M;
PII segment[MAX_M];
vector<int> out[MAX_N * 2];
bool mark[MAX_N * 2] = {0};
int stack[MAX_N * 2], cnt;

inline bool inRange(const PII& a, int x){
	return a.first < x && x < a.second;
}
inline bool intersect(const PII& a, const PII& b){
	if(inRange(a, b.first) ^ inRange(a, b.second)) return true;
	if(inRange(b, a.first) ^ inRange(b, a.second)) return true;
	return false;
}
inline void addClause(int i, int j){
	int x = i << 1, y = j << 1;
	out[x].push_back(y ^ 1);
	out[y ^ 1].push_back(x);
	out[y].push_back(x ^ 1);
	out[x ^ 1].push_back(y);
}
bool dfs(int x)
{
	if(mark[x ^ 1]) return false;
	if(mark[x]) return true;

	mark[x] = true;
	stack[cnt++] = x;
	const vector<int>& v = out[x];
	for(int i = v.size()-1; i > -1; --i){
		if(!dfs(v[i])) return false;
	}
	return true;
}
bool test()
{
	for(int i = 0; i < N; ++i){
		cnt = 0;
		if(!dfs(i << 1)){
			while(cnt) mark[stack[--cnt]] = false;
			if(!dfs(i << 1 | 1)) return false;
		}
	}
	return true;
}

int main()
{
	while(~scanf("%d%d", &N, &M)){
		//initialize
		memset(mark, 0, N*2);
		for(int i = N*2-1; i > -1; --i) out[i].clear();
		//input and build
		for(int i = 0; i < M; ++i){
			scanf("%d%d", &segment[i].first, &segment[i].second);
			if(segment[i].first > segment[i].second) swap(segment[i].first, segment[i].second);
			for(int j = i-1; j > -1; --j){
				if(intersect(segment[i], segment[j])) addClause(i, j);
			}
		}
		//test 2-sat
		if(test()) puts("panda is telling the truth...");
		else puts("the evil panda is lying again");
	}
	return 0;
}