[bzoj-2140]稳定婚姻 题解

题目传送门
题意解析:题目告诉了我们n对夫妻，和m对情人（？？？题目就是污），然后假设第i对夫妻有矛盾，那么他们就会离婚去找情人（？？？），所以最后就可能产生两种情况，一种是，最后一一重新配对，反之有剩余，问对于每对夫妻闹矛盾后的情况是哪一种。

---

My opinion：看到这题目的大小，n<=4000。有深意，而且对于一一对应的匹配，很容易就想到了二分图匹配，但是事实上，点有2n个，所以这样二分图匹配会超时。但是我们可以发现，如果两个人处在同一个环里是不安全的，而如果不在就是安全的。
总结：
1、输入。
2、跑强联通分量。
3、输出判断。

---

代码：

#include
#include
#include
#include
#include
#include
#define rep(i,a,n) for (int i=a;i<=n;i++)
#define per(i,a,n) for (int i=a;i>=n;i--)
#define Clear(a,x) memset(a,x,sizeof(a))
#define ll long long
#define INF 2000000000
#define eps 1e-8
using namespace std;
int read(){
    int x=0,f=1; 
    char ch=getchar();
    while (ch<'0'||ch>'9') f=ch=='-'?-1:f,ch=getchar();
    while (ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
const int maxn=4005,maxm=200005;
mapint> Name;
int vet[maxm<<1],Next[maxm<<1],head[maxn<<1];
int flag[maxn<<1];
int low[maxn<<1],dfn[maxn<<1],q[maxn<<1],c[maxn<<1];
int n,m,num,top,len,Time;
void add(int u,int v){
    vet[++len]=v;
    Next[len]=head[u];
    head[u]=len;
}
void tarjan(int u){
    dfn[u]=low[u]=++Time;
    q[++top]=u;
    flag[u]=1;
    for (int e=head[u];e;e=Next[e]){
        int v=vet[e];
        if (!flag[v]){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }else if (flag[v]==1) low[u]=min(low[u],dfn[v]);
    }
    if (low[u]==dfn[u]){
        num++;
        while (top>0&&q[top]!=u){
            c[q[top]]=num,flag[q[top]]=2;
            top--;
        }
        c[u]=num,flag[u]=2;
        top--;
    }
}
void solve(){
    num=top=Time=0;
    rep(i,1,2*n) 
        if (!flag[i]) tarjan(i);
    rep(i,1,n)
        if (c[i]==c[i+n]) puts("Unsafe");
            else puts("Safe");
}
int main(){
    n=read();
    rep(i,1,n){
        char girl[10],boy[10];
        scanf("%s%s",girl,boy);
        Name[girl]=i;
        Name[boy]=i+n;
        add(i,i+n);
    }   
    m=read();
    rep(i,1,m){
        char girl[10],boy[10];
        scanf("%s%s",girl,boy);
        int G=Name[girl],B=Name[boy];
        add(B,G);
    }
    solve();
    return 0;
}