poj3207 2-SAT

题意：

一个圆上顺时针放着n个点，现在要连m条边，每条边可以从圆的内部连也可以从圆的外部连。

保证每个点最多连1条边，问是否能使所有的边都不相交。

思路：

典型的2-sat问题。

建图：对于一条边i，在圆内记为i，在圆外记为i'。

设边i连接点A,B，边j连接点C,D。i与j在圆内是否相交就是线段AB与线段CD是否相交，用坐标判断一下。

可以证明，如果i与j在圆内不能共存，则在圆外也一定不能共存，即：

i在圆内，则j一定在圆外，建边i->j'

i在圆外，则j一定在圆内，建边i'->j

j在圆内，则i一定在圆外，建边j->i'

j在圆外，则i一定在圆内，建边j'->i

然后用2-sat判断是否可行。

代码（1868K，110MS）：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <iostream>
#include <vector>
#include <utility>
#include <stack>

using namespace std;

struct Pair{
	int x, y;
	Pair() {}
	Pair(int a, int b) : x(a), y(b) {}
};

int n, m, t;
int cnt, num;
vector<int> edges[1002];
Pair p[502];
stack<int> s;
int dfn[1002];
int low[1002];
int vis[1002];
int col[1005];

void dfs(int u) {
	s.push(u);
	vis[u] = 1;
	dfn[u] = low[u] = ++cnt;
	for (int i = 0; i < edges[u].size(); i++) {
		int v = edges[u][i];
		if (!dfn[v]) {
			dfs(v);
			low[u] = min(low[u], low[v]);
		} else if (vis[v])
			low[u] = min(low[u], dfn[v]);
	}
	if (low[u] == dfn[u]) {
		num++;
		do {
			t = s.top();
			s.pop();
			vis[t] = 0;
			col[t] = num;
		} while (t != u);
	}
}

void tarjan() {
	cnt = num = 0;
	while (!s.empty()) s.pop();
	memset(dfn, 0, sizeof(dfn));
	memset(low, 0, sizeof(low));
	memset(vis, 0, sizeof(vis));
	memset(col, 0, sizeof(col));
	for (int i = 1; i <= m << 1; i++)
		if (!dfn[i]) dfs(i);
}

bool solve() {
	tarjan();
	for (int i = 1; i <= m; i++)
		if (col[i] == col[i + m]) return false;
	return true;
}

int main() {
	while (~scanf("%d %d", &n, &m)) {
		for (int i = 1; i <= m << 1; i++)
			edges[i].clear();
		int a, b;
		for (int i = 1; i <= m; i++) {
			scanf("%d %d", &a, &b);
			if (a > b) swap(a, b);
			p[i] = Pair(a, b);
		}
		for (int i = 1; i <= m; i++) {
			for (int j = i + 1; j <= m; j++) {
				if (p[j].x >= p[i].x && p[j].x <= p[i].y && p[j].y >= p[i].y
					|| p[j].y >= p[i].x && p[j].y <= p[i].y && p[j].x <= p[i].x) {
					edges[i].push_back(j + m);
					edges[j].push_back(i + m);
					edges[i + m].push_back(j);
					edges[j + m].push_back(i);
				}
			}
		}
		bool ans = solve();
		if (ans) printf("panda is telling the truth...\n");
		else printf("the evil panda is lying again");
	}
	return 0;
}