[国家集训队2011]稳定婚姻(无向图定向)

题目描述

我国的离婚率连续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

输出

Safe
Safe

#2

输入

2
Melanie Ashley
Scarlett Charles
2
Scarlett Ashley
Melanie Charles

输出

Unsafe
Unsafe

题解

这题第一眼看是个二分图匹配（当然不可能是）

然后发现二分图会出锅之后，仍然想图论做法，这题第一眼就知道是图论。

然后我们观察这个劈腿的过程，每次都是男方先劈腿（出题人心理，题面写的什么鬼），然后男方的前女友被动和老公分手，所以不妨对于所有情人关系：
$boy-->gril$
对于所有婚姻关系：
$gril-->boy$
然后这时候的不稳定婚姻肯定在一个环中，所以跑一遍tarjan判两个点是否在同一环内即可。

#include<bits/stdc++.h>
using namespace std;
template<typename tn> void read(tn &a){
	tn x=0,f=1;char c=' ';
	for(;!isdigit(c);c=getchar()) if(c=='-') f=-1;
	for(;isdigit(c);c=getchar()) x=x*10+c-'0';
	a=x*f;
}
const int N=8e3+5;
const int M=7e4+5;
struct Edge{
	int nex,to;
}e[M*2];
int head[N],cnt,dfn[N],low[N];
void add(int x,int y){
	e[++cnt].nex=head[x];
	e[cnt].to=y;
	head[x]=cnt;
}
bool ins[N];
int stk[N],top,c[N];
map<string,int> mp;
int n,m,xyc,qyn;
void tarjan(int x){
	dfn[x]=low[x]=++xyc;
	stk[++top]=x;
	ins[x]=1;
	for(int i=head[x];i;i=e[i].nex){
		int y=e[i].to;
		if(!dfn[y]){
			tarjan(y);
			low[x]=min(low[x],low[y]);
		}
		else if(ins[y]) low[x]=min(low[x],dfn[y]);
	}
	if(dfn[x]==low[x]){
		qyn++;
		int lav;
		do{
			lav=stk[top--],ins[lav]=0;
			c[lav]=qyn;
		}while(x!=lav);
	}
}
int main(){
	read(n);
	for(int i=1;i<=n;i++){
		string a,b;
		cin>>a>>b;
		mp[a]=i;
		mp[b]=i+n;
		add(i,i+n);
	} 
	read(m);
	for(int i=1;i<=m;i++){
		string a,b;
		cin>>a>>b;
		add(mp[b],mp[a]);
	}
	for(int i=1;i<=n;i++)
		if(!dfn[i]) tarjan(i);
	for(int i=1;i<=n;i++)
		puts((c[i]==c[i+n])?"Unsafe":"Safe");
	return 0;
}
/*
2
Melanie Ashley
Scarlett Charles
2
Scarlett Ashley
Melanie Charles
*/

总结

这篇题解主要用来记录无向图定向这一思想。（貌似和pkl七诫中的“操作连边”是一样的，但是这里连的是无向边）

为什么一定要跑有向图呢？因为这道题如果要连无向边就做不了了，因为对于前男女友和现男女友在计算时是不一样的（你能绿你的老婆，但你不能绿你的前女友，你能跟你的前女友劈腿，但你不能和你的老婆劈腿），但是我们可以连这道题的反边，结果是一样的。