题目背景

原《工资》重题请做2397

题目描述

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

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

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

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

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

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

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

输入输出格式

输入格式：

第一行为一个正整数\(n\)，表示夫妻的对数；

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

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

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

输出格式：

输出文件共包含\(n\)行，第i行为“\(Safe\)”（如果婚姻\(i\)是安全的）或“\(Unsafe\)”（如果婚姻\(i\)是不安全的）。

输入输出样例

输入样例#1：

2
Melanie Ashley
Scarlett Charles
1
Scarlett Ashley

输出样例#1：

Safe
Safe

输入样例#2：

2
Melanie Ashley
Scarlett Charles
2
Scarlett Ashley
Melanie Charles

输出样例#2：

Unsafe
Unsafe

说明

对于\(20\%\)的数据，\(n≤20\)；

对于\(40\%\)的数据，\(n≤100，m≤400\)；

对于\(100\%\)的数据，所有姓名字符串中只包含英文大小写字母，大小写敏感，长度不大于\(8\)，保证每对关系只在输入文件中出现一次，输入文件的最后\(m\)行不会出现未在之前出现过的姓名，这\(2n\)个人的姓名各不相同，\(1≤n≤4000，0≤m≤20000\)。

思路：tarjan，如果一对夫妻在同一个强连通分量里面，那么这个婚姻就是不安全的，因此，只需要记录一个bel数组即可，表示一个点属于第几个强连通联通分量，最后考虑如何存储，因为输入的都是字符串，我们可以把字符串映射成int类型，然后就做完了。

代码：

#include<cstdio>
#include<algorithm>
#include<map>
#include<stack>
#include<iostream>
#define maxn 8001
using namespace std;
string s1,s2;
bool vis[maxn];
int n,m,num,head[maxn],dfn[maxn],low[maxn],size[maxn],js,cnt,bel[maxn];
map<string,int>mp;
struct node {
  int v,nxt;
}e[208001];
inline void ct(int u, int v) {
  e[++num].v=v;
  e[num].nxt=head[u];
  head[u]=num;
}
stack<int>q;
void tarjan(int u) {
  dfn[u]=low[u]=++cnt;
  q.push(u),vis[u]=1;
  for(int i=head[u];i;i=e[i].nxt) {
    int v=e[i].v;
    if(!dfn[v]) tarjan(v),low[u]=min(low[u],low[v]);
    else if(vis[v]) low[u]=min(low[u],dfn[v]);
  }
  if(dfn[u]==low[u]) {
    int x;js++;
    while(x!=u) {
      x=q.top(),q.pop();
      bel[x]=js,size[js]++;
      vis[x]=0;
    }
  }
}
int main() {
  scanf("%d",&n);
  for(int i=1;i<=n;++i) {
    cin>>s1>>s2;
    mp[s1]=i,mp[s2]=i+n;
    ct(i,i+n);
  }
  scanf("%d",&m);
  for(int i=1;i<=m;++i) {
    cin>>s1>>s2;
    ct(mp[s2],mp[s1]);
  }
  for(int i=1;i<=2*n;++i) if(!dfn[i]) tarjan(i);
  for(int i=1;i<=n;++i) {
    if(bel[i]==bel[i+n]) printf("Unsafe\n");
    else printf("Safe\n");
  }
  return 0;
}