【bzoj2140】: 稳定婚姻 图论-tarjan

【bzoj2140】: 稳定婚姻

哎。。都是模板题。。

一眼看过去 哇 二分图哎

然后发现好像并不能匈牙利算法

自己xjb画两张图，发现二分图左向右连配偶的边，然后右向左连交往过的边

然后如果Bi Gi在同一个强连通分量里面就一定可以在Bi Gi离婚以后再增广一次

最开始用map维护一下名字就好了

/* http://www.cnblogs.com/karl07/ */
#include <cstdlib>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <stack>
#include <map>
#include <string>
using namespace std;

const int N=100005; 
struct edge{
    int next,to;
}e[N*4];
int n,m,ade,cnt,cq;
int first[N],low[N],dfn[N],vis[N],ins[N],pos[N];
stack <int> S;
map <string,int> mp;

void addedge(int x,int y){
    e[++ade].to=y;
    e[ade].next=first[x];
    first[x]=ade;
}

#define s e[x].to
void dfs(int p){
    dfn[p]=low[p]=++cnt;
    ins[p]=vis[p]=1;
    S.push(p);
    for (int x=first[p];x;x=e[x].next){
        if (!vis[s]){
            dfs(s);
            if (ins[s]) low[p]=min(low[p],low[s]);
        }else{
            if (ins[s]) low[p]=min(low[p],dfn[s]);
        }
    }
    if (low[p]==dfn[p]){
        cq++;
        while (S.top()!=p){
            pos[S.top()]=cq;
            ins[S.top()]=0;
            S.pop();
        }
        pos[S.top()]=cq;
        ins[S.top()]=0;
        S.pop();        
    }
}

int main(){
    scanf("%d",&n);
    for (int i=1;i<=n;i++){
        char a[20],b[20];
        scanf("%s%s",a,b);
        mp[a]=i,mp[b]=i+n;
        addedge(i,i+n);
    }
    scanf("%d",&m);
    for (int i=1;i<=m;i++){
        char a[20],b[20];
        scanf("%s%s",a,b);
        addedge(mp[b],mp[a]);
    }
    for (int i=1;i<=n*2;i++) if (!vis[i]) dfs(i);
    for (int i=1;i<=n;i++){
        if (pos[i]==pos[i+n]) puts("Unsafe"); else puts("Safe");
    }
    return 0;
}