poj3207 Ikki's Story IV - Panda's Trick 2-SAT

题目传送门

题意：在一个圆上顺时针安放着n个点，给出m条线段连接端点，要求线段不相交，线段可以在圆内也可以在圆外，问是否可以。

思路：假设一条线段，放在圆外是A,放在园内是A'，那么两条线段如果必须一个放圆内一个放圆外的条件就是 端点区间相交（严格相交），所以就建立了2-SAT模型，然后跑2-SAT的模板就可以了。

//#include<bits/stdc++.h>
#include<stdio.h>
#include<iostream>
#include<stdlib.h>
#include<string.h>
#define clr(a,b) memset(a,b,sizeof(a))
typedef long long ll;
using namespace std;
const int maxn=;
bool vis[maxn<<];
int n,m;
int head[maxn<<],tot;
struct edge{
    int to,Next;
}a[maxn<<];
struct node{
    int x,y;
}b[maxn];
void addv(int u,int v){
    a[++tot].to=v;
    a[tot].Next=head[u];
    head[u]=tot;
}
int top,sta[maxn<<];
bool dfs(int u){
    if(vis[u^])return false;
    if(vis[u])return true;
    vis[sta[++top]=u]=;
    for(int i=head[u];i!=-;i=a[i].Next)
    {
        int v=a[i].to;
        if(!dfs(v))return false;
    }
    return true;
}
bool Two_sat(){
    for(int i=;i<(n<<);i+=)
    {
        if(vis[i]||vis[i^])continue;
        top=;
        if(!dfs(i)){
            while(top)vis[sta[top--]]=;
            if(!dfs(i^))return false;
        }
    }
    return true;
}
bool cal(int i,int j){
    if(b[i].x<b[j].x&&b[j].x<b[i].y&&b[i].y<b[j].y)return true;
    swap(i,j);
    if(b[i].x<b[j].x&&b[j].x<b[i].y&&b[i].y<b[j].y)return true;
    return false;
}
int main(){
    clr(head,-);
    cin>>n>>m;
    int u,v;
    for(int i=;i<=m;i++)
    {
        scanf("%d%d",&b[i].x,&b[i].y);
    }
    for(int i=;i<=m;i++)
    {
        for(int j=i+;j<=m;j++)
        {
            if(cal(i,j)){
                addv(i<<,j<<|);
                addv(i<<|,j<<);
            }
        }
    }
    if(Two_sat()){
        printf("panda is telling the truth...\n");
    }else{
        puts("the evil panda is lying again");
    }
}