前置知识:tarjan求强连通分量

先看题，大意是2n个人中当一对夫妻离婚后，剩下可不可以再次组成n对情人

我们先将所有的丈夫和妻子用连接起来，表示他们之间存在着联系(即无向图)，如果这时如果也把曾经的情人按照这种方法连起来，那么他们之间也存在着这种联系，但这两种情况可以认为是相同的（无向图中边没有差异），可以发现出现了一些环，而处在环中的几对夫妻都可以在离婚后组成情人，也就是题目中所说的婚姻不安全。那么我们找出这些环，判断哪些夫妻处在环中即可。

对于找环，我们想到了Tarjan求强连通分量，但是这个算法是在有向图上进行的，于是我们尝试给我们连接出的无向图定向，但如果只是按照女→男的方法我们可以发现是不对的，因为这些边也是相同的

所以我们可以这样建图：

夫妻之间：girl→boy而情人之间：boy→girl

这样只要不安全就可以形成一个环,可以用tarjan求强连通分量解

最后判断对于一对夫妻，如果两人在同一个强连通分量里，那么这对婚姻就是不安全的，反之安全

至于字符串处理，因为题目给出每对夫妻不会重复所以只需要将第i对夫妻的男女当成编号为i*2-1和i*2，再用map进行储存编号就可以了

#include <bits/stdc++.h> 
using namespace std;
//强连通分量思维题+字符处理map 
const int N = 8e3+10,M = 2e4+10;//N的范围开大一倍 
int n,m;
struct made{
    int ver,nx;
}e[M<<1];//M也要开大 
int hd[N],tot,cnt,num,top;
int low[N],dfn[N],st[N],color[N];
bool v[N];
string c1[N],c2[N];
map<string,int>mp;
void add(int x,int y){
    tot++;
    e[tot].ver = y,e[tot].nx = hd[x],hd[x] = tot;
}
void tarjan(int x){
    low[x] = dfn[x] = ++cnt;
    st[++top] = x,v[x] = 1;
    for(int i = hd[x];i;i = e[i].nx){
        int y = e[i].ver;
        if(!dfn[y])tarjan(y),low[x] = min(low[x],low[y]);
        else if(v[y])low[x] = min(low[x],dfn[y]);
    }
    if(low[x] == dfn[x]){
        num++;int y = 0;
        do{
            y = st[top--];
            v[y] = 0,color[y] = num;
        }while(x != y);
    }
}
int main(){
    freopen("marriage.in","r",stdin);
    freopen("marriage.out","w",stdout);
    scanf("%d",&n);
    for(int i = 1;i <= n;i++){
        string x,y;cin>>c1[i]>>c2[i];
        add(i*2-1,i*2);//夫妻由女方指向男方 
        mp[c1[i]] = i*2-1;
        mp[c2[i]] = i*2;
    }
    scanf("%d",&m);
    for(int i = 1;i <= m;i++){
        string x,y;cin>>x>>y;
        add(mp[y],mp[x]);//情人由男方指向女方,这样只要不安全就可以形成一个环,可以用强连通分量解 
    }
    for(int i = 1;i <= 2*n;i++)
        if(!color[i])tarjan(i);
    for(int i = 1;i <= n;i++){
        if(color[i*2-1] == color[i*2])printf("Unsafe\n");//
        else printf("Safe\n");
    }
    
    return 0;
    
}