BZOJ 2140 稳定婚姻 - Tarjan_SCC

和稳定婚姻、匹配没有任何关系啊有木有。。。

大概就是把婚外情的家庭编号用单向边连接（男方编号指向女方编号），如果这些编号存在自环，则其家庭之间已经出现满足出轨条件的状况了。

#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<string>
#include<algorithm>
#include<map>
 
using namespace std;
 
const int maxn=4005;
const int maxm=20005;
 
map<string,int>num;
 
struct edge
{
    int next,to;
}e[maxm];
 
int n,m,cnt,scccnt,dfs_clock,top;
int head[maxn],dfn[maxn],low[maxn];
int belong[maxn],sccnum[maxn],stack[maxn];
bool vst[maxn];
 
void insert(int a,int b)
{
    e[++cnt].to=b;e[cnt].next=head[a];head[a]=cnt;
}
void tarjan(int x)
{
    dfn[x]=low[x]=++dfs_clock;
    stack[++top]=x;
    vst[x]=true;
    for(int i=head[x];i;i=e[i].next)
    {
        int y=e[i].to;
        if(!dfn[y])
            tarjan(y),low[x]=min(low[x],low[y]);
        else if(vst[y])
            low[x]=min(low[x],dfn[y]);
    }
    if(dfn[x]==low[x])
    {
        int now=-1;
        ++scccnt;
        while(now!=x)
        {
            now=stack[top--];
            belong[now]=scccnt;
            vst[now]=false;
            sccnum[scccnt]++;
        }
    }
}
int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        string st;
        cin>>st;
        num[st]=i;
        cin>>st;
        num[st]=n+i;
    }
    scanf("%d",&m);
    for(int i=1;i<=m;i++)
    {
        string st1,st2;
        cin>>st1;
        cin>>st2;
        insert(num[st1],num[st2]-n);
    }
    for(int i=1;i<=n;i++)
        if(!dfn[i])tarjan(i);
    for(int i=1;i<=n;i++)
        printf(sccnum[belong[i]]>1?"Unsafe\n":"Safe\n");
    return 0;
}