HDOJ 3062 Party

最新推荐文章于 2019-11-26 22:23:51 发布

码代码的猿猿的AC之路

最新推荐文章于 2019-11-26 22:23:51 发布

阅读量1.2k

点赞数 1

CC 4.0 BY-SA版权

分类专栏：图论

本文链接：https://blog.youkuaiyun.com/ck_boss/article/details/24806583

图论专栏收录该内容

133 篇文章

订阅专栏

本文介绍了一个基于Tarjan算法解决的夫妻聚会问题。该问题要求从n对夫妻中选出n个人参加聚会，但某些人之间存在矛盾，不能同时出席。通过构建图并运用Tarjan算法寻找强连通分量来判断是否能找到合适的参会人选。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

2set的tarjan写法.....

Party

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

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

Sample Output

YES

Source

2009 Multi-University Training Contest 16 - Host by NIT

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

const int maxn=5000;

struct Edge
{
    int to,next;
}edge[100000];

int Adj[maxn],Size;

void init()
{
    Size=0; memset(Adj,-1,sizeof(Adj));
}

void Add_Edge(int u,int v)
{
    edge[Size].to=v;
    edge[Size].next=Adj[u];
    Adj[u]=Size++;
}

int DFN[maxn],Low[maxn],Instack[maxn],Belong[maxn];
int top,Stack[maxn],Index,scc;

void Tarjan(int u)
{
    int v;
    DFN[u]=Low[u]=++Index;
    Stack[top++]=u;
    Instack[u]=1;

    for(int i=Adj[u];~i;i=edge[i].next)
    {
        v=edge[i].to;
        if(!DFN[v])
        {
            Tarjan(v);
            Low[u]=min(Low[u],Low[v]);
        }
        else if(Instack[v])
        {
            Low[u]=min(Low[u],DFN[v]);
        }
    }

    if(Low[u]==DFN[u])
    {
        scc++;
        do
        {
            v=Stack[--top];
            Instack[v]=false;
            Belong[v]=scc;
        }while(u!=v);
    }
}

bool solve_scc(int n)
{
    memset(DFN,0,sizeof(DFN));
    memset(Instack,0,sizeof(Instack));
    memset(Belong,0,sizeof(Belong));
    top=Index=scc=0;

    for(int i=0;i<2*n;i++)
    {
        if(!DFN[i]) Tarjan(i);
    }

    for(int i=0;i<n;i++)
    {
        if(Belong[i<<1]==Belong[i<<1|1]) return false;
    }
    return true;
}

int main()
{
    int n,m,a1,a2,c1,c2;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        init();
        while(m--)
        {
            scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
            Add_Edge((a1<<1)+c1,(a2<<1|1)-c2);
            Add_Edge((a2<<1)+c2,(a1<<1|1)-c1);
        }
        if(solve_scc(n)) puts("YES");
        else puts("NO");
    }
    return 0;
}