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

题目链接：

https://www.luogu.org/problem/P1407

参考博客：

https://www.luogu.org/blog/F-C-S/solution-p1407

建议如果不理解可以查看这个博客，思路很清晰

思路：

1：c++中map的使用方式这道题目有用到

2：输入合法夫妻的时候,用左边的女性指向右边的男性，输入情人时，即第二次输入，对于m对情人，应该反着连才能形成环，右边的男性指向左边的女性

3：跑tarjan，最后判断如果合法夫妻在同一个强连通分量中，那么就是Unsafe，不在则Safe

注意：

1：n对不是n个，因此相当于节点个数为2n个

#include <bits/stdc++.h>

using namespace std;
const int maxn=8e3+1;
vector<int>e[maxn];
int dfn[maxn],low[maxn],ins[maxn],color[maxn],timing,cnt,n,m,tot;
string x,y;
stack<int>s;
map<string,int>ma;

void tarjan(int x)
{
    low[x]=dfn[x]=++timing;
    s.push(x);
    ins[x]=1;
    for(int i=0;i<e[x].size();i++)
    {
        int v=e[x][i];
        if(!dfn[v])
        {
            tarjan(v);
            low[x]=min(low[x],low[v]);
        }
        else if(ins[v])
        {
            low[x]=min(low[x],dfn[v]);
        }
    }
    if(dfn[x]==low[x])
    {
        cnt++;
        while(s.top()!=x)
        {
            color[s.top()]=cnt;
            ins[s.top()]=0;
            s.pop();
        }
        color[s.top()]=cnt;
        ins[s.top()]=0;
        s.pop();
    }
}

int main()
{
    ios::sync_with_stdio(0);
    cin>>n;
    for(int i=1;i<=n;i++)
    {
        cin>>x>>y;
        ma[x]=++tot;
        ma[y]=++tot;
        e[ma[x]].push_back(ma[y]);
    }
    cin>>m;
    for(int i=1;i<=m;i++)
    {
        cin>>x>>y;
        e[ma[y]].push_back(ma[x]);
    }
    for(int i=1;i<=2*n;i++)
    {
        if(!dfn[i])
            tarjan(i);
    }
    cnt=0;
    for(int i=1;i<=n;i++)
    {
        if(color[++cnt]==color[++cnt])
            cout<<"Unsafe"<<endl;
        else
            cout<<"Safe"<<endl;
    }
    return 0;
}