题意:
给出一个二分图完备匹配,找另一个完备匹配。
竟然是SCC,和稳定婚姻并没有什么卵关系。
对于原始的匹配点u, v,连接(v, u)
对于可行的匹配点u, v,连接(u, v)
跑一次tarjan。
对于一组夫妻,如果两个人在同一个SCC里,那么是Unsafe,否则Safe。
好久没敲tarjan了。
#include <cstdio>
#include <cstring>
#include <iostream>
#include <map>
#include <stack>
#include <algorithm>
using namespace std;
const int maxn = 8005, maxm = 25005;
int n, m, head[maxn], cnt, low[maxn], dfn[maxn], belong[maxn], tot, clo;
map<string, int> id;
stack<int> s;
struct _edge {
int v, next;
} g[maxm << 1];
inline void add(int u, int v) {
g[cnt] = (_edge) {v, head[u]};
head[u] = cnt++;
}
void tarjan(int x, int f) {
low[x] = dfn[x] = ++clo;
s.push(x);
for(int i = head[x]; ~i; i = g[i].next) {
int v = g[i].v;
if(v == f) continue;
if(!dfn[v])
tarjan(v, x), low[x] = min(low[x], low[v]);
else if(!belong[v])
low[x] = min(low[x], dfn[v]);
}
if(dfn[x] == low[x]) {
tot++;
while(1) {
int u = s.top(); s.pop();
belong[u] = tot;
if(u == x) break;
}
}
}
int main() {
ios::sync_with_stdio(false);
cin >> n;
for(int i = n << 1; i >= 1; i--) low[i] = dfn[i] = belong[i] = 0, head[i] = -1; cnt = 0;
for(int i = 1; i <= n; i++) {
string s1, s2;
cin >> s1 >> s2;
id[s1] = i; id[s2] = i + n;
add(i + n, i);
}
cin >> m;
while(m--) {
string s1, s2;
cin >> s1 >> s2;
add(id[s1], id[s2]);
}
tot = clo = 0;
for(int i = 1; i <= n; i++) if(!dfn[i]) tarjan(i, 0);
for(int i = 1; i <= n; i++)
if(belong[i] == belong[i + n]) printf("Unsafe\n");
else printf("Safe\n");
return 0;
}