POJ 3207 【2sat】.cpp

题意：

　　panda和ikki.玩游戏..

　　给出m个点对关系..这些点都在圆上..

　　给点对连线..如果可以不交叉(可以在圆内或圆外连线)则panda赢..否则ikki.赢

　　输入：

　　　　给出n m 表示有n个点 m个点对

　　　　接下来m行 有a b 表示点a 和 点b 之间有一条线

思路：

　　2-sat..用来解决2个集合的冲突问题..

　　这道题..冲突在于是在圆内和在圆外..

 

　　把边看成点..

　　然后看所有边连起来之后会不会出现冲突..即在圆外的边和在圆内的边同时出现在一个强连通分量里了..

　　

　　所以求出强连通分量..

　　看交叉的两条边..用tarjan染色..

　　如果冲突出现了(在圆内和在圆外出现在同一个分量里..则panda输了..)

　　

Tips：

　　nothing..？

 

Code：

　　

#include <stdio.h>
#include <cstring>
#include <algorithm>
using namespace std;
#define clr(x) memset(x, 0, sizeof(x))
const int INF = 0x1f1f1f1f;
const int MAXN = 510;

struct Node
{
    int x;
    int y;
}node[MAXN];

struct Edge
{
    int to;
    int next;
}edge[1000010];
int head[MAXN];
int tot;

void add(int s, int u)
{
    edge[tot].to = u;
    edge[tot].next = head[s];
    head[s] = tot++;

    edge[tot].to = s;
    edge[tot].next = head[u];
    head[u] = tot++;
}

int low[MAXN], dfn[MAXN];
int sta[MAXN], ins[MAXN], col[MAXN];
int ti, top, cnt;
void tarjan(int u)
{
    int i, j, k;
    dfn[u] = low[u] = ++ti;
    ins[u] = 1;
    sta[++top] = u;
    for(i = head[u]; i != -1; i = edge[i].next) {
        k = edge[i].to;
        if(!dfn[k]) {
            tarjan(k);
            low[u] = min(low[u], low[k]);
        } else if(ins[k]) {
            low[u] = min(low[u], dfn[k]);
        }
    }
    if(low[u] == dfn[u]) {
        cnt++;
        do
        {
            k = sta[top--];
            col[k] = cnt;
            ins[k] = 0;
        }while(u != k);
    }
}


int n, m;

void solve_ta()
{
    int i, j, k;
    clr(dfn);
    ti = top = cnt = 0;
    for(i = 1; i <= m; ++i)
    if(!dfn[i])
        tarjan(i);
}

bool solve()
{
    int i, j, k;
    solve_ta();
    for(i = 1; i <= m; ++i)
        if(col[i] == col[i+m]) return false;
    return true;
}

int main()
{
    int i, j, k;
    int a, b;
    while(scanf("%d %d", &n, &m) != EOF)
    {
        tot = 0;
        memset(head, 0xff, sizeof(head));

        for(i = 1; i <= m; ++i) {
            scanf("%d %d", &a, &b);
            if(a > b)
                swap(a, b);
            node[i].x = a, node[i].y = b;
        }

        for(i = 1; i <= m; ++i)
        for(j = i+1; j <= m; ++j)
        if((node[i].x > node[j].x && node[i].x < node[j].y && node[i].y > node[j].y)
         ||(node[j].x > node[i].x && node[j].x < node[i].y && node[j].y > node[j].y)){
            add(i, j+m);
            add(j, i+m);
        }

        bool flag = solve();
        if(flag) puts("panda is telling the truth...");
        else puts("the evil panda is lying again");
    }
    return 0;
}

 

题目链接：http://poj.org/problem?id=3207