BZOJ 2140 稳定婚姻 Tarjan 强连通分量

最新推荐文章于 2020-01-12 17:12:58 发布

Lazer2001

最新推荐文章于 2020-01-12 17:12:58 发布

阅读量360

点赞数

分类专栏： ---------图论--------- Tarjan 强连通分量

本文链接：https://blog.csdn.net/simpsonk/article/details/74936861

版权

---------图论--------- 同时被 3 个专栏收录

10 篇文章 0 订阅

订阅专栏

Tarjan

1 篇文章 0 订阅

订阅专栏

强连通分量

1 篇文章 0 订阅

订阅专栏

大家都很强，可与之共勉。

2140: 稳定婚姻

Time Limit: 2 Sec Memory Limit: 259 MB
Description

我国的离婚率连续7年上升，今年的头两季，平均每天有近5000对夫妇离婚，大城市的离婚率上升最快，有研究婚姻问题的专家认为，是与简化离婚手续有关。 25岁的姗姗和男友谈恋爱半年就结婚，结婚不到两个月就离婚，是典型的“闪婚闪离”例子，而离婚的导火线是两个人争玩电脑游戏，丈夫一气之下，把电脑炸烂。有社会工作者就表示，80后求助个案越来越多，有些是与父母过多干预有关。而根据民政部的统计，中国离婚五大城市首位是北京，其次是上海、深圳，广州和厦门，那么到底是什么原因导致我国成为离婚大国呢?有专家分析说，中国经济急速发展，加上女性越来越来越独立，另外，近年来简化离婚手续是其中一大原因。 ——以上内容摘自第一视频门户现代生活给人们施加的压力越来越大，离婚率的不断升高已成为现代社会的一大问题。而其中有许许多多的个案是由婚姻中的“不安定因素”引起的。妻子与丈夫吵架后，心如绞痛，于是寻求前男友的安慰，进而夫妻矛盾激化，最终以离婚收场，类似上述的案例数不胜数。我们已知n对夫妻的婚姻状况，称第i对夫妻的男方为Bi，女方为Gi。若某男Bi与某女Gj曾经交往过（无论是大学，高中，亦或是幼儿园阶段，i≠j），则当某方与其配偶（即Bi与Gi或Bj与Gj）感情出现问题时，他们有私奔的可能性。不妨设Bi和其配偶Gi感情不和，于是Bi和Gj旧情复燃，进而Bj因被戴绿帽而感到不爽，联系上了他的初恋情人Gk……一串串的离婚事件像多米诺骨牌一般接踵而至。若在Bi和Gi离婚的前提下，这2n个人最终依然能够结合成n对情侣，那么我们称婚姻i为不安全的，否则婚姻i就是安全的。给定所需信息，你的任务是判断每对婚姻是否安全。

Input

第一行为一个正整数n，表示夫妻的对数；以下n行，每行包含两个字符串，表示这n对夫妻的姓名（先女后男），由一个空格隔开；第n+2行包含一个正整数m，表示曾经相互喜欢过的情侣对数；以下m行，每行包含两个字符串，表示这m对相互喜欢过的情侣姓名（先女后男），由一个空格隔开。

Output

输出文件共包含n行，第i行为“Safe”（如果婚姻i是安全的）或“Unsafe”（如果婚姻i是不安全的）。

Sample Input

【样例输入1】

Melanie Ashley

Scarlett Charles

Scarlett Ashley

【样例输入2】

Melanie Ashley

Scarlett Charles

Scarlett Ashley

Melanie Charles

Sample Output

【样例输出1】

Safe

【样例输出2】

Unsafe

【数据规模和约定】

对于100%的数据，所有姓名字符串中只包含英文大小写字母，大小写敏感，长度不大于8，保证每对关系只在输入文件中出现一次，输入文件的最后m行不会出现未在之前出现过的姓名，这2n个人的姓名各不相同，1≤n≤4000，0≤m≤20000。
HINT

Source

一堆垃圾题面
本来可以Hash字符串的，可惜了忘了怎么写。

题解

初始每一对cp由女向男连边，潜在每一对cp由男向女连边

如果夫妻两人在同一个强连通分量里则还可以找到另一条增广路，即可以跑出另一种匹配方式 Unsafe

否则是安全的

/**************************************************************
    Problem: 2140
    User: Lazer2001
    Language: C++
    Result: Accepted
    Time:756 ms
    Memory:5208 kb
****************************************************************/

# include <bits/stdc++.h>

using namespace std ;

const int N = 100005 ;

struct edge  {
    int to, nxt ;
    edge ( )  {     }
    edge ( int to, int nxt ) : to ( to ), nxt ( nxt ) {  }
} g [N << 1] ;

int n, m ;
int ecnt, head [N] ;

inline void Add_edge ( int u, int v )  {
    g [++ ecnt] = edge ( v, head [u] ) ; head [u] = ecnt ;
}

string s1, s2 ;
map < string, int > id ;

int scnt, place [N] ;
int dfn [N], low [N], st [N], top, idx ;

inline void Dfs ( int u )  {
    dfn [u] = low [u] = ++ idx ;
    st [++ top] = u ;
    for ( int i = head [u] ; i ; i = g [i].nxt )  {
        int v = g [i].to ;
        if ( ! dfn [v] )  {
            Dfs ( v ) ;
            if ( low [u] > low [v] )
                low [u] = low [v] ;
        }  else  if ( ! place [v] && low [u] > dfn [v]) {  // learned sth ;
            low [u] = dfn [v] ;
        }
    }
    if ( low [u] == dfn [u] )  {
        ++ scnt ;
        int v ;
        do  {
            v = st [top --] ;
            place [v] = scnt ;
        } while ( u ^ v ) ;
    }
}

int main ( )  {
    scanf ( "%d", & n ) ;

    for (  int i = 1 ; i <= n ; ++ i )  {
        cin >> s1 >> s2 ;
        id [s1] = i << 1 ;
        id [s2] = i << 1 | 1 ;
        Add_edge ( i << 1, i << 1 | 1 ) ;
    }

    scanf ( "%d", & m ) ;

    for ( int i = 1 ; i <= m ; ++ i )  {
        cin >> s1 >> s2 ;
        Add_edge ( id [s2], id [s1] ) ;  // !!!
    }

    for ( int i = 2 ; i <= ( n << 1 | 1 ) ; ++ i )
        if ( ! dfn [i] )  Dfs ( i ) ;

    for ( int i = 1 ; i <= n ; ++ i )
        puts ( ( place [i << 1] ^ place [i << 1 | 1] ) ? "Safe" : "Unsafe" ) ;
}