BZOJ2140 稳定婚姻

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

然后我们发现匈牙利能跑出来的条件是有一个环，所以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;
}

/*

*/