BZOJ2140 稳定婚姻

最新推荐文章于 2021-09-11 22:00:14 发布

neither_nor

最新推荐文章于 2021-09-11 22:00:14 发布

阅读量867

点赞数

分类专栏： BZOJ tarjan

本文链接：https://blog.csdn.net/neither_nor/article/details/52471307

版权

BZOJ 同时被 2 个专栏收录

382 篇文章 1 订阅

订阅专栏

tarjan

2 篇文章 0 订阅

订阅专栏

暴力点的我们可以每次拆一对然后跑匈牙利看看能不能跑出来，可以过……

然后我们发现匈牙利能跑出来的条件是有一个环，所以tarjan就可以了

#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<ctime>
#include<algorithm>
#include<iomanip>
#include<cmath>
#include<vector>
#include<set>
#include<bitset>
#include<queue>
#include<stack>
#include<map>
using namespace std;
#define MAXN 4010
#define MAXM 40010
#define eps 1e-8
#define ll long long
#define INF 1000000000
#define MOD 1000000007
struct vec{
	int to;
	int fro;
};
vec mp[MAXM];
int tai[MAXN],cnt=1;
int n,m;
map<string,int>h;
int st[MAXN],tp;
bool ist[MAXN];
int siz[MAXN],bel[MAXN];
int tot;
int dfn[MAXN],low[MAXN],tim;
inline void be(int x,int y){
	mp[++cnt].to=y;
	mp[cnt].fro=tai[x];
	tai[x]=cnt;
}
inline void bde(int x,int y){
	be(x,y);
	be(y,x);
}
void dfs(int x,int f){
	int i,y;
	dfn[x]=low[x]=++tim;
	ist[st[++tp]=x]=1;
	for(i=tai[x];i;i=mp[i].fro){
		y=mp[i].to;
		if(!dfn[y]){
			dfs(y,i);
			low[x]=min(low[x],low[y]);
		}else if(ist[y]){
			low[x]=min(low[x],dfn[y]);
		}
	}
	if(low[x]==dfn[x]){
		int t=0;
		tot++;
		while(t!=x){
			ist[t=st[tp--]]=0;
			siz[bel[t]=tot]++;
		}
	}
}
int main(){
	int i;
	string x,y;
	scanf("%d",&n);
	for(i=1;i<=n;i++){
		cin>>x>>y;
		h[x]=h[y]=i;
	}
	scanf("%d",&m);
	for(i=1;i<=m;i++){
		cin>>x>>y;
		be(h[x],h[y]);
	}
	for(i=1;i<=n;i++){
		if(!dfn[i]){
			dfs(i,0);
		}
	}
	for(i=1;i<=n;i++){
		if(siz[bel[i]]>1){
			printf("Unsafe\n");
		}else{
			printf("Safe\n");
		}
	}
	return 0;
}

/*

*/