POJ 3207 Ikki's Story IV - Panda's Trick (2-SAT)

职务地址：

找好矛盾关系。矛盾关系是(2,5)和(3,6)这两个仅仅能一个在外边，一个在里边。利用这个矛盾关系来建图。

能够用在外边和里边来当1和0，最后推断每对是否出现矛盾。

代码例如以下：

#include <iostream>

#include <cstdio>

#include <string>

#include <cstring>

#include <stdlib.h>

#include <math.h>

#include <ctype.h>

#include <queue>

#include <map>

#include <set>

#include <algorithm>

using namespace std;

#define LL __int64

const int INF=0x3f3f3f3f;

int head[1100], cnt, top, ans, index;

int dfn[1100], low[1100], instack[1100], stak[1100], belong[1100];

struct node

{

    int u, v, next;

}edge[1000000];

struct N

{

    int l, r;

}xian[10000];

void add(int u, int v)

{

    edge[cnt].v=v;

    edge[cnt].next=head[u];

    head[u]=cnt++;

}

int pan(N x, N y)

{

    if((x.l>y.l&&x.l<y.r&&x.r>y.r)||(x.r>y.l&&x.r<y.r&&x.l<y.l))

        return 1;

    return 0;

}

void tarjan(int u)

{

    dfn[u]=low[u]=++index;

    instack[u]=1;

    stak[++top]=u;

    for(int i=head[u];i!=-1;i=edge[i].next)

    {

        int v=edge[i].v;

        if(!dfn[v])

        {

            tarjan(v);

            low[u]=min(low[u],low[v]);

        }

        else if(instack[v])

        {

            low[u]=min(dfn[v],low[u]);

        }

    }

    if(dfn[u]==low[u])

    {

        ans++;

        while(1)

        {

            int v=stak[top--];

            instack[v]=0;

            belong[v]=ans;

            if(u==v) break;

        }

    }

}

void init()

{

    memset(head,-1,sizeof(head));

    cnt=top=ans=index=0;

    memset(dfn,0,sizeof(dfn));

    memset(instack,0,sizeof(instack));

}

int main()

{

    int n, m, i, j;

    scanf("%d%d",&n,&m);

    init();

    for(i=0;i<m;i++)

    {

        scanf("%d%d",&xian[i].l,&xian[i].r);

        if(xian[i].l>xian[i].r) swap(xian[i].l,xian[i].r);

    }

    for(i=0;i<m;i++)

    {

        for(j=0;j<i;j++)

        {

            if(pan(xian[i],xian[j]))

            {

                add(i<<1,j<<1|1);

                add(j<<1,i<<1|1);

                add(i<<1|1,j<<1);

                add(j<<1|1,i<<1);

                //printf("%d %d\n%d %d\n",i<<1,j<<1|1,j<<1,i<<1|1);

            }

        }

    }

    for(i=0;i<2*m;i++)

    {

        if(!dfn[i])

            tarjan(i);

    }

    int flag=0;

    for(i=0;i<m;i++)

    {

        if(belong[i<<1]==belong[i<<1|1])

        {

            flag=1;

            //printf("%d\n",i);

            break;

        }

    }

    if(flag) puts("the evil panda is lying again");

    else

        puts("panda is telling the truth...");

    return 0;

}

版权声明：本文博主原创文章，博客，未经同意，不得转载。