HDU3062 Party

HDU3062 Party

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 1267    Accepted Submission(s): 393

Problem Description

有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？

 

 

Input

n： 表示有n对夫妻被邀请 (n<= 1000)
m： 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))

在接下来的m行中，每行会有4个数字，分别是 A1,A2,C1,C2 
A1,A2分别表示是夫妻的编号 
C1,C2 表示是妻子还是丈夫 ，0表示妻子 ，1是丈夫
夫妻编号从 0 到 n -1 

 

 

Output

如果存在一种情况 则输出YES 
否则输出 NO 

 

 

Sample Input

2 1 0 1 1 1

 

 

Sample Output

YES

 

 

Source

2009 Multi-University Training Contest 16 - Host by NIT

 ****************************************************************

题目大意：不解释；

解题思路：2-sat入门题，只要求是不是有解，所以用tarjan求强连通之后就不用topsort就可以做完了。

#include <stdio.h>

#include <string.h>

#include <vector>

#include <stack>

#define N 2005

using namespace std;



vector<int>gra[N];

int n,m;

int dfn[N],low[N],id,ins[N],gid[N],now;

stack<int>sta;



void dfs(int s)

{

    dfn[s]=low[s]=++now;

    sta.push(s);

    ins[s]=1;

    for(int i=0;i<gra[s].size();i++)

    {

        int t=gra[s][i];

        if(!dfn[t])

        {

            dfs(t);

            low[s]=min(low[s],low[t]);

        }

        else if(ins[t])

            low[s]=min(low[s],dfn[t]);

    }

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

    {

        ++id;

        while(!sta.empty())

        {

            int t=sta.top();

            sta.pop();

            gid[t]=id;

            ins[t]=0;

            if(t==s)break;

        }

    }

}



void re(void)

{

    memset(gra,0,sizeof(gra));

    for(int i=0;i<2*n;i++)

        gra[i].clear();

    for(int i=1;i<=m;i++)

    {

        int a,b,c,d;

        scanf("%d%d%d%d",&a,&b,&c,&d);

        int k=a*2+c,u=b*2+d;

        gra[k].push_back(u^1);

        gra[u].push_back(k^1);

    }

}



void run(void)

{

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

    memset(low,0,sizeof(low));

    memset(ins,0,sizeof(ins));

    while(!sta.empty()) sta.pop();

    id=now=0;

    for(int i=0;i<2*n;i++)

        if(!dfn[i])

            dfs(i);

    int flag=0;

    for(int i=0;i<2*n;i+=2)

        if(gid[i]==gid[i^1])

        {

            flag=1;

            break;

        }

    if(flag)

        puts("NO");

    else

        puts("YES");

}



int main()

{

    while(scanf("%d%d",&n,&m)==2)

    {

        re();

        run();

    }

    return 0;

}