POJ 3207 2SAT入门

这题敲了好久，第一道入门题，还是看了别人的才懂的……

题意：有n个结点在圆上，然后有m条边把这些结点连起来，可以在圆内连，也可以在圆外连接。然后题目求的就是能否得出一个方案，就是连接的没有相交的……

思路：这入门题可以一眼就可以看出是2SAT问题了。设一结点 i ，然后2*i 为在圆内连接，2*i+1为在圆外连接；然后设另一结点为 j，然后2*j 为在圆内连接，2*j+1为在圆外连接；根据2SAT原理，2*i与2*j+1连双向边，2*j 与2*i+1连双向边，然后用tarjan求强连通，再判断这个结点i，是不是在圆内与在圆外都同时被选择连接了，然后同时被选择就是在同一个强连通里，说明不管在圆内还是圆外，不管怎么连接，都会有相交；否则没有相交……

感觉就是思想重要，其他的和那时做的强连通题都差不多的，主要是连边问题比较难……慢慢来吧

#include <iostream>
#include <cstdio>
#include <fstream>
#include <algorithm>
#include <cmath>
#include <deque>
#include <vector>
#include <list>
#include <queue>
#include <string>
#include <cstring>
#include <map>
#include <stack>
#include <set>
#define PI acos(-1.0)
#define mem(a,b) memset(a,b,sizeof(a))
#define sca(a) scanf("%d",&a)
#define sc(a,b) scanf("%d%d",&a,&b)
#define pri(a) printf("%d\n",a)
#define lson i<<1,l,mid
#define rson i<<1|1,mid+1,r
#define MM 200005
#define MN 1010
#define INF 55566677
#define eps 1e-7
using namespace std;
typedef long long ll;
int n,m,LOW[MN],DFN[MN],Stack[MN],belong[MN];
bool vis[MN];
int cnt,tem,Count,top,a[MN],b[MN];
vector<int>e[MM];
void add(int u,int v)
{
    e[u].push_back(v);
}
void tarjan(int u)
{
    DFN[u]=LOW[u]=++tem;
    vis[u]=true;
    Stack[++top]=u;
    int v,i,l=e[u].size();
    for(i=0;i<l;i++)
    {
        v=e[u][i];
        if(!DFN[v])
        {
            tarjan(v);
            LOW[u]=min(LOW[u],LOW[v]);
        }
        else if(vis[v]&&DFN[v]<LOW[u]) LOW[u]=DFN[v];
    }
    if(DFN[u]==LOW[u])
    {
        Count++;
        do
        {
            v=Stack[top--];
            vis[v]=false;
            belong[v]=Count;
        }while(v!=u);
    }
}
bool twoSAT()
{
    for(int i=0;i<2*m;i++)
        if(!DFN[i]) tarjan(i);
    for(int i=0;i<m;i++)
        if(belong[2*i]==belong[2*i+1]) return false;
    return true;
}
int main()
{
    int i,j;
    sc(n,m);
    for(i=0;i<m;i++)
    {
        sc(a[i],b[i]);
        if(a[i]>b[i]) swap(a[i],b[i]);
    }
    for(i=0;i<m;i++)
        for(j=i+1;j<m;j++)
            if(a[i]<a[j]&&b[i]<b[j]&&a[j]<b[i]||a[i]>a[j]&&b[i]>b[j]&&a[i]<b[j])
            {
                add(2*i,2*j+1);
                add(2*j+1,2*i);
                add(2*j,2*i+1);
                add(2*i+1,2*j);
            }
    if(twoSAT()) puts("panda is telling the truth...");
    else puts("the evil panda is lying again");
    return 0;
}