POJ 3207 2-sat

点击打开链接

题意：n个点一次排列在一个圆上，然后给出m对关系，代表a和b可以在圈内连线，也可以在圈外连线，然后问是否可能使得每对关系都有连线且没有线相交

思路：对于每两对关系来说，若它们都连圈内的线有交点的话，则说明其中一个必须连圈外的线，那么就是这样连边，然后2-sat跑完判断即可

#include 
#include 
#include 
#include 
#include 
#include 
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;
vectorG[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=0;i--){
        if(!used[vs[i]]) rdfs(vs[i],sum++);
    }
    return sum;
}
void slove(){
    for(int i=0;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