题目: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;
}