bzoj2140稳定婚姻

我比较蒟蒻，不会啊。

http://www.lydsy.com/JudgeOnline/problem.php?id=2140

~~

题意好像是，如果删除这条边，仍能找到一个匹配，使得匹配数和原来的匹配数相等，就是unsafe，否则就是safe.

n^2吧，好像要T

那就换方法吧。

试想，如果几对婚姻可以构成一个环，那么这个环转一下，还是能保证匹配数不变，这样这个环中的婚姻都是不稳定的。

于是问题就转化成求环了.

先所有的右边向左边连一条边，有暧昧关系左边连向右边。

假设有两对婚姻交叉，他们就可以构成一个环。这两对婚姻都不稳定。

然后顺便复习了一下tarjan.

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<cmath>
#include<stack>
#include<map>
using namespace std;
const int maxn=10005;
int dfn[maxn],low[maxn],ins[maxn];
stack<int >s;
map<string,int >id;
int belong[maxn];
struct edge
{
	int v,next;
}e[50000];
int head[maxn];
int k,n,m;
void add(int u,int v)
{
	e[k].v=v;
	e[k].next=head[u];
	head[u]=k++;
}
int idx;
void tarjan(int u)
{
	dfn[u]=low[u]=++idx;
	ins[u]=1;
	s.push(u);
	int v;
	for(int i=head[u];~i;i=e[i].next)
	{
		v=e[i].v;
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(ins[v])
		{
			low[u]=min(low[u],dfn[v]);
		}
	}
	if(low[u]==dfn[u])
	{
		while(1)
		{
			v=s.top();
			s.pop();
			ins[v]=0;
			belong[v]=u;
			if(u==v)break;
		}
	}
}
void work()
{
	idx=0;
	for(int i=1;i<=n*2;i++)if(!dfn[i])tarjan(i);
	for(int i=1;i<=n;i++)
	{
		if(belong[i]==belong[i+n])printf("Unsafe\n");
		else printf("Safe\n");
	}	
}
int main()
{
	k=1;
	memset(head,-1,sizeof(head));
	memset(dfn,0,sizeof(dfn));
	scanf("%d",&n);
	string s1,s2;
	for(int i=1;i<=n;i++)
	{
		cin>>s1>>s2;
		id[s1]=i;
		id[s2]=i+n;
		add(i+n,i);
	}
	scanf("%d",&m);
	for(int i=1;i<=m;i++)
	{
		cin>>s1>>s2;
		add(id[s1],id[s2]);
	}
	work();
	return 0;
}