【BZOJ】2140 稳定婚姻

【解析】Hash，离散化。Tarjan

[分析]

对于每一个名字。首先离散化成编号。

用hash或者其它，反正不要最主要的即可了。否则O(N^2L)会爆掉。

然后请參考：http://www.cnblogs.com/Randolph87/p/3757817.html

[吐槽]

难得吐槽一下，做这道题居然做了一个上午，開始暴力求标号，然后一直TLE。

中间map的数据范围少开了N，也试过几次WA。

这不是水题吗。为什么会是一个艰难的Accept...

[小结]

求二分图完备匹配的必要边，①存不存在增广环?

O(N^2) ②直接试着删去依照hungery找完备匹配 O(N^3)。

[代码]

#include <cstdio>
#include <cstring>
#include <cstdlib>
using namespace std;

typedef unsigned long long ULL;
const int N=8002;
const int M=20001;
const int L=12;
const int T=37;
const int LMT=100009;

int n,m;
struct G
{
int v,nxt;
}map[M+N];
int tt,hd
;
int dfn
,pre
,ct;
int edge
[2];
int v
,color
,stk
,cc;
char t[L];
struct T
{
char s[L];
int nxt;
}hash
;
int num,hh[LMT];

inline void ins(int u,int v)
{
map[++tt].v=v;
map[tt].nxt=hd[u];
hd[u]=tt;
}

void tarjan(int now)
{
dfn[now]=pre[now]=++ct;
stk[++stk[0]]=now,v[now]=1;
for (int k=hd[now];k;k=map[k].nxt)
{
if (v[map[k].v]==2) continue;
if (v[map[k].v]==1)
{
if (pre[map[k].v]<dfn[now]) dfn[now]=pre[map[k].v];
continue;
}
tarjan(map[k].v);
if (dfn[map[k].v]<dfn[now]) dfn[now]=dfn[map[k].v];
}
if (pre[now]==dfn[now])
{
cc++;
for (;stk[stk[0]]!=now;stk[0]--)
color[stk[stk[0]]]=cc,v[stk[stk[0]]]=2;
color[stk[stk[0]]]=cc; v[stk[stk[0]--]]=2;
}
}

inline ULL h(void)
{
ULL sum=0; int lt=strlen(t);
for (int i=0;i<lt;i++) sum=sum*T+t[i]-'0';
return sum;
}

int pos(void)
{
int key=h()%LMT;
for (int k=hh[key];k;k=hash[k].nxt)
if (!strcmp(hash[k].s,t)) return k;
memmove(hash[++num].s,t,sizeof t);
hash[num].nxt=hh[key];
return hh[key]=num;
}

int main(void)
{
int t1,t2;
scanf("%d",&n);
for (int i=1;i<=n;i++)
{
scanf("%s",t); t1=pos();
scanf("%s",t); t2=pos();
edge[i][0]=t1,edge[i][1]=t2;
ins(t1,t2);
}
scanf("%d",&m);
for (int i=1;i<=m;i++)
{
scanf("%s",t); t1=pos();
scanf("%s",t); t2=pos();
ins(t2,t1);
}

for (int i=1;i<=n;i++)
if (!v[edge[i][0]]) tarjan(edge[i][0]);

for (int i=1;i<=n;i++)
printf("%s\n",color[edge[i][0]]==color[edge[i][1]]?"Unsafe":"Safe");

return 0;
}