【BZOJ2140】稳定婚姻【SCC】【二分图完备匹配】

题意：

给出一个二分图完备匹配，找另一个完备匹配。

竟然是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;
}