题意:n个点一次排列在一个圆上,然后给出m对关系,代表a和b可以在圈内连线,也可以在圈外连线,然后问是否可能使得每对关系都有连线且没有线相交
思路:对于每两对关系来说,若它们都连圈内的线有交点的话,则说明其中一个必须连圈外的线,那么就是这样连边<A,B'><B',A><B,A'><A',B>,然后2-sat跑完判断即可
#include <vector>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <iostream>
#include <algorithm>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const int inf=0x3f3f3f3f;
const ll INF=0x3f3f3f3f3f3f3f3fll;
const int maxn=2010;
int n,m;
vector<int>G[maxn],rG[maxn],vs;
bool used[maxn];
int cmp[maxn],U[maxn],V[maxn];
void add_edge(int from,int to){
G[from].push_back(to);
rG[to].push_back(from);
}
void dfs(int v){
used[v]=1;
for(unsigned int i=0;i<G[v].size();i++){
if(!used[G[v][i]]) dfs(G[v][i]);
}
vs.push_back(v);
}
void rdfs(int v,int k){
used[v]=1;
cmp[v]=k;
for(unsigned int i=0;i<rG[v].size();i++){
if(!used[rG[v][i]]) rdfs(rG[v][i],k);
}
}
int scc(){
memset(used,0,sizeof(used));
vs.clear();
for(int v=0;v<2*m;v++){
if(!used[v]) dfs(v);
}
memset(used,0,sizeof(used));
int sum=0;
for(int i=vs.size()-1;i>=0;i--){
if(!used[vs[i]]) rdfs(vs[i],sum++);
}
return sum;
}
void slove(){
for(int i=0;i<m;i++){
for(int j=i+1;j<m;j++){
if((U[i]<=U[j]&&V[i]>=U[j]&&V[i]<=V[j])||(U[i]>=U[j]&&U[i]<=V[j]&&V[i]>=V[j])){
add_edge(i,j+m);
add_edge(j,i+m);
add_edge(i+m,j);
add_edge(j+m,i);
}
}
}
}
int main(){
while(scanf("%d%d",&n,&m)!=-1){
for(int i=0;i<maxn;i++) G[i].clear(),rG[i].clear();
for(int i=0;i<m;i++) scanf("%d%d",&U[i],&V[i]);
slove();
scc();
int flag=0;
for(int i=0;i<m;i++) if(cmp[i]==cmp[i+m]) flag=1;
if(flag) printf("the evil panda is lying again\n");
else printf("panda is telling the truth...\n");
}
return 0;
}