题目大意：
在圆上顺时针n个点，给定m个连接，可以通过圆内或者圆外相交，问能不能找到一种方式，使这些连接的边都不相交
这里很容易看出的是，这些边只有在圆外或者圆内两种连接方式，而且必须选择其中一种
所以2-sat以这些边作为连接点，向内连接为2*i，圆外连接为2*i+1
自己画画图可以找到规律
if(b[i]<a[j] || b[j]<a[i] || (a[i]<a[j]&&b[i]>b[j]) || (a[j]<a[i]&&b[j]>b[i])) ;这个时候，两条边不管在什么地方都不会影响的
其他的情况就必须保证一条在圆内一条在圆外
#include <cstdio>
#include <vector>
#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
#define N 2010
int S[N] , n , m , c;
bool mark[N];
vector<int> G[N]; void init()
{
memset(mark , , sizeof(mark));
for(int i= ; i<*m ; i++) G[i].clear();
} void add_clause(int i , int p , int j , int q)
{
int m=*i+p , n=*j+q;
G[m^].push_back(n);
G[n^].push_back(m);
} bool dfs(int u)
{
if(mark[u]) return true;
if(mark[u^]) return false;
mark[u] = true;
S[c++] = u;
for(int i= ; i<(int)G[u].size() ; i++)
if(!dfs(G[u][i])) return false;
return true;
} bool solve()
{
for(int i= ; i<*m ; i+=){
if(!mark[i] && !mark[i^]){
c = ;
if(!dfs(i^)){
while(c) mark[S[--c]] = false;
if(!dfs(i)) return false;
}
}
}
return true;
} int main()
{
//freopen("in.txt" , "r" , stdin);
while(~scanf("%d%d" , &n , &m))
{
init();
int a[N] , b[N];
for(int i= ; i<m ; i++){
scanf("%d%d" , &a[i] , &b[i]);
if(a[i]>b[i]) swap(a[i] , b[i]);
for(int j= ; j<i ; j++){
if(b[i]<a[j] || b[j]<a[i] || (a[i]<a[j]&&b[i]>b[j]) || (a[j]<a[i]&&b[j]>b[i])) ;
else {
// cout<<i<<" "<<j<<endl;
add_clause(i , , j , );
add_clause(i , , j , );
}
}
}
printf("%s\n" , solve()?"panda is telling the truth...":"the evil panda is lying again");
}
}