P1407 [国家集训队]稳定婚姻
最喜欢这样的题了(最近越来越发现自己对图论的热爱)~
也可能是因为这种题好写。。。
但是对自己没有一次AC表示不舒服。
原因是数组开小了(emmm……)……
言归正传:
首先是图的存法,由于要够成环,所以夫妻之间的边和情侣之间的边方向一定是相反的(因为对于无向图的写法我没太大把握),至于具体方向无所谓,只要相反,就行。
然后我们的可爱的Tarjan一遍遍地跑呀跑……
看一遍,如果情侣在一个强连通分量里,自然就是不安全的,反之安全。
有一个小技巧:
一开始我是枚举边并且判断是否为情侣,还要开数组记下来谁是谁的情侣,判断很麻烦。
切掉之后我看了一眼题解,发现意外收获:就是我们可以规定一对情侣之间的序号相差n(这样肯定没有重叠嘛),这样判断的时候,判断 i 和 i + n 即可。
好了直接上代码:
#include<cstdio> #include<iostream> #include<map> using namespace std; #define maxn 500005 int low[50000],dfn[50000],head[50000],co[50000],to[maxn],nxt[maxn],st[maxn]; int cnt,n,m,col,num,top; map<string,int> q; void add(int a,int b) { to[++cnt]=b; nxt[cnt]=head[a]; head[a]=cnt; } void Tarjan(int u) { dfn[u]=low[u]=++num; st[++top]=u; for(int i=head[u];i;i=nxt[i]) { int v=to[i]; if(!dfn[v]) { Tarjan(v); low[u]=min(low[u],low[v]); } else if(!co[v]) low[u]=min(dfn[v],low[u]); } if(low[u]==dfn[u]) { co[u]=++col; while(st[top]!=u) { co[st[top]]=col; top--; } top--; } } int main() { scanf("%d",&n); string gir,boy; for(int i=1;i<=n;i++) { cin>>gir>>boy; q[gir]=i; q[boy]=i+n; add(i,i+n); } scanf("%d",&m); for(int i=1;i<=m;i++) { cin>>gir>>boy; add(q[boy],q[gir]); } for(int i=1;i<=2*n;i++) if(!dfn[i]) Tarjan(i); for(int i=1;i<=n;i++) if(co[i]==co[i+n]) printf("Unsafe\n"); else printf("Safe\n"); return 0; }