P1407 [国家集训队]稳定婚姻 （tarjan）

咕咕咕了好久的博客
由于最近题目比较多，所以博客的字数都会比较少。

首先这道题求的是二分图完备匹配中的匹配边是不是关键边。
其中关键边表示是不是满足任意的完备匹配都存在这个边

那么这里存在一个性质
若我们将边进行定向，匹配边为左部到右部，非匹配边为右部到左部

若一条匹配边不是关键边，那么他一定存在于一个交替环中
形如

其实通过观察也比较容易发现，对于这些处于交替环中的边，一定可以被另一些边进行等效替代，所以不是关键边

那么我们只需要定向之后，进行缩点，对于每一条边查询他的两个端点是不是在同一个强连通分量里面即可。
因为定向后只存在交替环

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<vector>
#include<queue>
#include<cmath>
#include<map>
#include<set>
#define pb push_back
#define mk make_pair
#define ll long long
#define lson ch[x][0]
#define rson ch[x][1]

using namespace std;

inline int read()
{
  int x=0,f=1;char ch=getchar();
  while (!isdigit(ch)) {if (ch=='-') f=-1;ch=getchar();}
  while (isdigit(ch)) {x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
  return x*f;
}

const int maxn = 2e5+1e2;
const int maxm = 4e5+1e2;

int point[maxn],nxt[maxm],to[maxm];
int cnt,n,m;
map<string,int> mp;
int tot;
int dfn[maxn],low[maxn],bel[maxn];
int vis[maxn],s[maxn];
int top;
int x[maxm],y[maxm];

void addedge(int x,int y)
{
    nxt[++cnt]=point[x];
    to[cnt]=y;
    point[x]=cnt;
}

int getnum(string s)
{
    if (mp[s]) return mp[s];
    mp[s]=++tot;
    return mp[s];
}

int get()
{
    char s[14];
  	scanf("%s",s+1);
  	string ss;
  	ss.clear();
  	int len = strlen(s+1);
  	for (int j=1;j<=len;j++) ss=ss+s[j];
  	return getnum(ss);
}

int tmp;
int scc;

void tarjan(int x)
{
    dfn[x]=low[x]=++tmp;
    vis[x]=1;
    s[++top]=x;
    for (int i=point[x];i;i=nxt[i])
    {
        int p = to[i];
        if (!dfn[p])
        {
           tarjan(p);
           low[x]=min(low[x],low[p]);
        }
        else
          if (vis[p])
        	low[x]=min(low[x],dfn[p]);
    }
    if (low[x]==dfn[x])
    {
        scc++;
        while (s[top+1]!=x)
        {
            bel[s[top]]=scc;
            vis[s[top]]=0;
            top--;
        }
    }
}

int main()
{
  n=read();
  for (int i=1;i<=n;i++)
  {
  	 x[i]=get();
  	 y[i]=get();
  	 addedge(x[i],y[i]);
  }
  m=read();
  for (int i=1;i<=m;i++)
  {
  	int s = get();
  	int t = get();
  	addedge(t,s);
  }
  for (int i=1;i<=2*n;i++) if (!dfn[i]) tarjan(i);
  for (int i=1;i<=n;i++) 
  {
  	if (bel[x[i]]==bel[y[i]])
  	  cout<<"Unsafe\n";
  	else
  	  cout<<"Safe\n";
  }
  return 0;
}