tarjan题目

我国的离婚率连续7年上升，今年的头两季，平均每天有近5000对夫妇离婚，大城市的离婚率上升最快，有研究婚姻问题的专家认为，是与简化离婚手续有关。

25岁的姗姗和男友谈恋爱半年就结婚，结婚不到两个月就离婚，是典型的“闪婚闪离”例子，而离婚的导火线是两个人争玩电脑游戏，丈夫一气之下，把电脑炸烂。

有社会工作者就表示，80后求助个案越来越多，有些是与父母过多干预有关。而根据民政部的统计，中国离婚五大城市首位是北京，其次是上海、深圳，广州和厦门，那么到底是什么原因导致我国成为离婚大国呢?有专家分析说，中国经济急速发展，加上女性越来越来越独立，另外，近年来简化离婚手续是其中一大原因。

——以上内容摘自第一视频门户

现代生活给人们施加的压力越来越大，离婚率的不断升高已成为现代社会的一大问题。而其中有许许多多的个案是由婚姻中的“不安定因素”引起的。妻子与丈夫吵架后，心如绞痛，于是寻求前男友的安慰，进而夫妻矛盾激化，最终以离婚收场，类似上述的案例数不胜数。

题目描述

我们已知 nn 对夫妻的婚姻状况，称第 ii 对夫妻的男方为 B_iBi​，女方为 G_iGi​。若某男 B_iBi​ 与某女 G_jGj​ 曾经交往过（无论是大学，高中，亦或是幼儿园阶段，i \le ji≤j），则当某方与其配偶（即 B_iBi​ 与 G_iGi​ 或 B_jBj​ 与 G_jGj​）感情出现问题时，他们有私奔的可能性。不妨设 B_iBi​ 和其配偶 G_iGi​ 感情不和，于是 B_iBi​ 和 G_jGj​ 旧情复燃，进而 B_jBj​ 因被戴绿帽而感到不爽，联系上了他的初恋情人 GkGk ……一串串的离婚事件像多米诺骨牌一般接踵而至。若在 B_iBi​ 和 G_iGi​ 离婚的前提下，这 2n2n 个人最终依然能够结合成 nn 对情侣，那么我们称婚姻 ii 为不安全的，否则婚姻 ii 就是安全的。

给定所需信息，你的任务是判断每对婚姻是否安全。

输入格式

第一行为一个正整数 nn，表示夫妻的对数；

以下 nn 行，每行包含两个字符串，表示这 nn 对夫妻的姓名（先女后男），由一个空格隔开；

第 n+2n+2 行包含一个正整数 mm，表示曾经相互喜欢过的情侣对数；

以下 mm 行，每行包含两个字符串，表示这 mm 对相互喜欢过的情侣姓名（先女后男），由一个空格隔开。

输出格式

输出文件共包含 nn 行，第 ii 行为 Safe（如果婚姻 ii 是安全的）或 Unsafe（如果婚姻 ii 是不安全的）。

#include<iostream>
#include<cstring>
#include<algorithm>
#include<string>
#include<map>
using namespace std;
map<string,int> mm,mf;
const int N=8005,M=3e4+5;
int h[N],e[M],ne[M],idx;
struct node{
    string m,f;
}pre[N];
void add(int a,int b)
{
    e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}
int dfn[N],low[N],instack[N],st[N],belong[N],scc_cnt,id,top;
void tarjan(int root)
{
    low[root]=dfn[root]=++id;
    st[++top]=root;
    instack[root]=1;
    for(int i=h[root];~i;i=ne[i])
    {
        int to=e[i];
        if(!dfn[to])
        {
            tarjan(to);
            low[root]=min(low[root],low[to]);
        }
        else if(instack[to]) low[root]=min(low[root],dfn[to]);
    }
    if(dfn[root]==low[root])
    {
        scc_cnt++;
        int y;
        do{
            y=st[top--];
            belong[y]=scc_cnt;
            instack[y]=0;
        }while(y!=root);
    }
}
int main() {
    int n;
    cin >> n;
    memset(h, -1, sizeof h);
    for (int i = 1; i <= n; i++) {
        string a, b;
        cin >> a >> b;
        mf[a] = i;
        mm[b] = i;
        pre[i] = {b, a};
        add(i, i + n);
    }
    int m;
    cin >> m;
    for (int i = 1; i <= m; i++) {
        string a, b;
        cin >> a >> b;
        add(mf[a] + n, mm[b]);
    }
    for (int i = 1; i <= 2 * n; i++) {
        if(!dfn[i])
        tarjan(i);
}
    for(int i=1;i<=n;i++)
    {
        string a,b;
        a=pre[i].f;
        b=pre[i].m;
        //cout<<belong[mf[a]+n]<<" "<<belong[mm[b]]<<endl;
        if(belong[mf[a]+n]==belong[mm[b]]) cout<<"Unsafe"<<endl;
        else cout<<"Safe"<<endl;
    }
}