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

题目描述

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

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

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

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

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

我们已知n对夫妻的婚姻状况，称第i对夫妻的男方为Bi，女方为Gi。若某男Bi与某女Gj曾经交往过（无论是大学，高中，亦或是幼儿园阶段，i≠j），则当某方与其配偶（即Bi与Gi或Bj与Gj）感情出现问题时，他们有私奔的可能性。不妨设Bi和其配偶Gi感情不和，于是Bi和Gj旧情复燃，进而Bj因被戴绿帽而感到不爽，联系上了他的初恋情人Gk……一串串的离婚事件像多米诺骨牌一般接踵而至。若在Bi和Gi离婚的前提下，这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。

Solution：

　　本题缩点板子。

　　首先每个姓名是个字符串，直接map一下。

　　其次，对于原本给定的关系，建有向图$a ightarrow b$，对于后面给的关系，建有向图$b ightarrow a$，这样建图能够保证有环时，断开原有关系依然保持连通。

　　那么tarjan缩点之后，对于每组关系，判断一下$a,b$是否在同一连通分量中就好了。

代码：

/*Code by 520 -- 8.22*/
#include<bits/stdc++.h>
#include<ext/pb_ds/assoc_container.hpp>
#include<ext/pb_ds/hash_policy.hpp>
#define il inline
#define ll long long
#define RE register
#define For(i,a,b) for(RE int (i)=(a);(i)<=(b);(i)++)
#define Bor(i,a,b) for(RE int (i)=(b);(i)>=(a);(i)--)
using namespace std;
using namespace __gnu_pbds;
const int N=50005;
int ppx,n,m,dfn[N],low[N],tot;
int to[N],net[N],h[N],cnt;
int scc,bl[N],stk[N],top;
int X[N],Y[N];
bool ins[N];
gp_hash_table<string,int> mp;
string a,b;

il void add(int u,int v){to[++cnt]=v,net[cnt]=h[u],h[u]=cnt;}

void tarjan(int u){
    dfn[u]=low[u]=++tot,stk[++top]=u,ins[u]=1;
    for(RE int i=h[u];i;i=net[i])
        if(!dfn[to[i]]) tarjan(to[i]),low[u]=min(low[u],low[to[i]]);
        else if(ins[to[i]]) low[u]=min(low[u],dfn[to[i]]);
    if(low[u]==dfn[u]){
        scc++;
        while(stk[top+1]!=u)
            bl[stk[top]]=scc,ins[stk[top--]]=0;
    }
}

il void init(){
    cin>>n;
    For(i,1,n) cin>>a>>b,X[i]=mp[a]=++ppx,Y[i]=mp[b]=++ppx,add(ppx-1,ppx);
    cin>>m;
    For(i,1,m) cin>>a>>b,add(mp[b],mp[a]);
    For(i,1,ppx) if(!dfn[i]) tarjan(i);
    For(i,1,n) puts(bl[X[i]]==bl[Y[i]]?"Unsafe":"Safe");
}

int main(){
    ios::sync_with_stdio(0);
    init();
    return 0;
}