P1407 [国家集训队]稳定婚姻

  最喜欢这样的题了(最近越来越发现自己对图论的热爱)~

  也可能是因为这种题好写。。。

  但是对自己没有一次AC表示不舒服。

  原因是数组开小了(emmm……)……

  言归正传:

  首先是图的存法,由于要够成环,所以夫妻之间的边和情侣之间的边方向一定是相反的(因为对于无向图的写法我没太大把握),至于具体方向无所谓,只要相反,就行。

  然后我们的可爱的Tarjan一遍遍地跑呀跑……

  看一遍,如果情侣在一个强连通分量里,自然就是不安全的,反之安全。

  有一个小技巧:

  一开始我是枚举边并且判断是否为情侣,还要开数组记下来谁是谁的情侣,判断很麻烦。

  切掉之后我看了一眼题解,发现意外收获:就是我们可以规定一对情侣之间的序号相差n(这样肯定没有重叠嘛),这样判断的时候,判断 i 和 i + n 即可。

  好了直接上代码:

#include<cstdio>
#include<iostream>
#include<map>
using namespace std;
#define maxn 500005
int low[50000],dfn[50000],head[50000],co[50000],to[maxn],nxt[maxn],st[maxn];
int cnt,n,m,col,num,top;
map<string,int> q;
void add(int a,int b)
{
    to[++cnt]=b;
    nxt[cnt]=head[a];
    head[a]=cnt;
}
void Tarjan(int u)
{
    dfn[u]=low[u]=++num;
    st[++top]=u;
    for(int i=head[u];i;i=nxt[i])
    {
        int v=to[i];
        if(!dfn[v])
        {
            Tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(!co[v])
        low[u]=min(dfn[v],low[u]);
    }
    if(low[u]==dfn[u])
    {
        co[u]=++col;
        while(st[top]!=u)
        {
            co[st[top]]=col;
            top--;
        }
        top--;
    }
}
int main()
{
    scanf("%d",&n);
    string gir,boy;
    for(int i=1;i<=n;i++)
    {
        cin>>gir>>boy;
        q[gir]=i;
        q[boy]=i+n;
        add(i,i+n);
    }
    scanf("%d",&m); 
    for(int i=1;i<=m;i++)
    {
        cin>>gir>>boy;
        add(q[boy],q[gir]);
    }
    for(int i=1;i<=2*n;i++)
    if(!dfn[i]) Tarjan(i);
    for(int i=1;i<=n;i++)
    if(co[i]==co[i+n]) printf("Unsafe\n");
    else printf("Safe\n");
    return 0;
}

 

posted @ 2018-12-20 00:41  paopo  阅读(180)  评论(0编辑  收藏  举报