BZOJ 2140: 稳定婚姻【Tarjan】

2140: 稳定婚姻

Time Limit: 2 Sec Memory Limit: 259 MB

Description

我国的离婚率连续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就是安全的。给定所需信息，你的任务是判断每对婚姻是否安全。

Input

第一行为一个正整数n，表示夫妻的对数；
以下n行，每行包含两个字符串，表示这n对夫妻的姓名（先女后男），由一个空格隔开；
第n+2行包含一个正整数m，表示曾经相互喜欢过的情侣对数；
以下m行，每行包含两个字符串，表示这m对相互喜欢过的情侣姓名（先女后男），由一个空格隔开。
所有姓名字符串中只包含英文大小写字母，大小写敏感，长度不大于8，保证每对关系只在输入文件中出现一次，输入文件的最后m行不会出现未在之前出现过的姓名，这2n个人的姓名各不相同，1≤n≤4000，0≤m≤20000。

Output

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

Sample Input

【样例输入1】

2
Melanie Ashley
Scarlett Charles
1
Scarlett Ashley

【样例输入2】

2
Melanie Ashley
Scarlett Charles
2
Scarlett Ashley
Melanie Charles

Sample Output

【样例输出1】

Safe
Safe

【样例输出2】

Unsafe
Unsafe

题解

我们可以根据题目描述，Bi向Gj建边，然后Gi向Bi建边，如果有环出现那么这个环上的夫妻都不是稳定婚姻。那么一趟Tarjan解决战斗，可以当板子题来写。

题解

#include<map>
#include<cstdio>
#include<iostream>
#include<algorithm>
#define MAXN 4005
#define MAXE 20005
using namespace std;
struct xcw{int x,y;}a[MAXE];
bool IStk[MAXE];
int Dfn[MAXE],Tim,Low[MAXE],Stk[MAXE],fa[MAXE],Top,n,m,Now;
int lnk[MAXE],nxt[2*MAXE],son[2*MAXE],tot;
map<string,int> mp;
void Add(int x,int y){son[++tot]=y;nxt[tot]=lnk[x];lnk[x]=tot;}
void Tarjan(int x){
    Dfn[x]=Low[x]=++Tim;
    IStk[x]=1,Stk[++Top]=x;
    for(int j=lnk[x];j;j=nxt[j])
    if(!Dfn[son[j]]) Tarjan(son[j]),Low[x]=min(Low[x],Low[son[j]]);
    else if(IStk[son[j]]) Low[x]=min(Low[x],Dfn[son[j]]);
    if(Dfn[x]==Low[x]) do{IStk[Stk[Top]]=0,fa[Stk[Top]]=x;}while(Stk[Top--]^x);
}
int main(){
//  freopen("prob.in","r",stdin);
//  freopen("prob.out","w",stdout);
    cin>>n;getchar();mp.clear();
    for(int i=1;i<=n;i++){
        string s1,s2;int x,y;
        cin>>s1>>s2;
        if(!mp[s1]) x=mp[s1]=++Now;else x=mp[s1];
        if(!mp[s2]) y=mp[s2]=++Now;else y=mp[s2];
        Add(y,x);
        a[i]=(xcw){x,y};
    }
    cin>>m;getchar();
    for(int i=1;i<=m;i++){
        string s1,s2;int x,y;
        cin>>s1>>s2;
        if(!mp[s1]) x=mp[s1]=++Now;else x=mp[s1];
        if(!mp[s2]) y=mp[s2]=++Now;else y=mp[s2];
        Add(x,y);
    }
    for(int i=1;i<=Now;i++) if(!Dfn[i]) Tarjan(i);
    for(int i=1;i<=n;i++)
    if(fa[a[i].x]==fa[a[i].y]) printf("Unsafe\n");
    else printf("Safe\n");
    return 0;
}