【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=;
 struct edge{
     int next,to;
 }e[N*];
 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]=;
     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()]=;
             S.pop();
         }
         pos[S.top()]=cq;
         ins[S.top()]=;
         S.pop();
     }
 }

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