bzoj 2140 稳定婚姻

Posted on | Views:

$tarjan$ 求 $scc$ .

考前复习板子.

用大写字母代表女性,小写字母代表男性.

当 $A-a$ 的感情不和时,若能找到一条路径 $A\to a\to B\to b\to \dots\to K\to k\to A$ ,则这对婚姻不安全.

可以发现,女性向男性连的边都是夫妻关系,男性向女性连的边都是情人关系.

于是只把这两种有向边建出来,用 $tarjan$ 求出强连通分量,判断每对夫妻是否在同一个强连通分量中.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
//%std
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
inline int read()
{
	int out=0,fh=1;
	char jp=getchar();
	while ((jp>'9'||jp<'0')&&jp!='-')
		jp=getchar();
	if (jp=='-')
		fh=-1,jp=getchar();
	while (jp>='0'&&jp<='9')
		out=out*10+jp-'0',jp=getchar();
	return out*fh;
}
const int MAXN=2.5e4+10;
map<string,int> mp;
int n,m,tot=0;
int id(string s)
{
	if(mp.find(s)!=mp.end())
		return mp[s];
	return mp[s]=++tot;
}
string female,male;
int a[MAXN],b[MAXN],ecnt=0,head[MAXN],to[MAXN],nx[MAXN];
void addedge(int u,int v)
{
	++ecnt;
	to[ecnt]=v;
	nx[ecnt]=head[u];
	head[u]=ecnt;
}
int dfn[MAXN],low[MAXN],idx=0,in[MAXN],stk[MAXN],tp=0,scc[MAXN],t=0;
void dfs(int u)
{
	dfn[u]=low[u]=++idx;
	stk[++tp]=u;
	in[u]=1;
	for(int i=head[u];i;i=nx[i])
	{
		int v=to[i];
		if(!dfn[v])
		{
			dfs(v);
			low[u]=min(low[u],low[v]);
		}
		else if(in[v])
			low[u]=min(low[u],dfn[v]);
	}
	if(dfn[u]==low[u])
	{
		int v=-1;
		++t;
		while(u!=v)
		{
			v=stk[tp--];
			scc[v]=t;
			in[v]=0;
		}
	}
}
int main()
{
	n=read();
	for(int i=1;i<=n;++i)
	{
		cin>>female>>male;
		a[i]=id(female);
		b[i]=id(male);
		addedge(a[i],b[i]);
	}
	m=read();
	for(int i=1;i<=m;++i)
	{
		cin>>female>>male;
		addedge(id(male),id(female));
	}
	for(int i=1;i<=tot;++i)
		if(!dfn[i])
			dfs(i);
	for(int i=1;i<=n;++i)
	{
		if(scc[a[i]]==scc[b[i]])
			puts("Unsafe");
		else
			puts("Safe");
	}
	return 0;
}