zoukankan      html  css  js  c++  java
  • [测试题]等效集合

    Description

    要使两个集合 A,B 是等效的,我们可以先让 A 成为 B 的子集,然后再让 B 成为 A 的子集,这样就完成了。
    使用上面的方法,我们要让 N 个集合都等效:每一步,你可以让集合 X 成为 Y 的子集。注意,有一些集合是已经是其他集合的子集了。求操作最少需要经过多少步?

    Input

    输入包含多组测试数据,每组数据的第一行是两个整数 N,M,接下来 M 行,每行两个数 X,Y,表示集合 X 已经是 Y 集合的子集。

    Output

    对于每组测试数据,输出一行,一个数,表示最少要经过的步数

    Sample Input

    4 0
    3 2
    1 2
    1 3

    Sample Output

    4
    2

    Hint

    对于 50%的数据, N <= 2000 and M <= 5000
    对于 100%的数据,N <= 20000 and M <= 50000

    题解

    把非强连通图变为强连通图至少需要加多少条边。

    $DAG$性质:对于一个有向无环图,若想让它成为强连通图,至少需要添加$max(a,b)$,$a$为入度为$0$的边点的数量,$b$为出度为$0$的点的数量。

    注意当图本身就是强连通图的时候,就不用添边了。

     1 //It is made by Awson on 2017.10.12
     2 #include <map>
     3 #include <set>
     4 #include <cmath>
     5 #include <ctime>
     6 #include <queue>
     7 #include <stack>
     8 #include <cstdio>
     9 #include <string>
    10 #include <vector>
    11 #include <cstring>
    12 #include <cstdlib>
    13 #include <iostream>
    14 #include <algorithm>
    15 #define LL long long
    16 #define Min(a, b) ((a) < (b) ? (a) : (b))
    17 #define Max(a, b) ((a) > (b) ? (a) : (b))
    18 #define Abs(x) ((x) < 0 ? (-(x)) : (x))
    19 using namespace std;
    20 const int N = 20000;
    21 const int M = 50000;
    22 
    23 int n, m, u, v;
    24 int in[N+5], out[N+5];
    25 struct tt {
    26   int to, next;
    27 }edge[M+5];
    28 int path[N+5], top;
    29 int dfn[N+5], low[N+5], tim;
    30 int sccnum, sccno[N+5];
    31 int S[N+5], T;
    32 bool vis[N+5];
    33 
    34 void tarjan(int u) {
    35   dfn[u] = low[u] = ++tim;
    36   S[++T] = u; vis[u] = 1;
    37   for (int i = path[u]; i; i = edge[i].next) {
    38     if (vis[edge[i].to]) low[u] = Min(low[u], dfn[edge[i].to]);
    39     else if (!dfn[edge[i].to]) {
    40       tarjan(edge[i].to);
    41       low[u] = Min(low[u], low[edge[i].to]);
    42     }
    43   }
    44   if (dfn[u] == low[u]) {
    45     sccnum++;
    46     do {
    47       vis[S[T]] = 0;
    48       sccno[S[T]] = sccnum;
    49       if (S[T--] == u) break;
    50     }while(T);
    51   }
    52 }
    53 void add(int u, int v) {
    54   edge[++top].to = v;
    55   edge[top].next = path[u];
    56   path[u] = top;
    57 } 
    58 void work() {
    59   memset(in, 0, sizeof(in));
    60   memset(out, 0, sizeof(out));
    61   memset(path, 0, sizeof(path)); top = 0;
    62   memset(dfn, 0, sizeof(dfn));
    63   sccnum = 0;
    64   for (int i = 1; i <= m; i++) {
    65     scanf("%d%d", &u, &v);
    66     add(u, v);
    67   }
    68   for (int i = 1; i <= n; i++)
    69     if (!dfn[i]) tarjan(i);
    70   int cntin = 0, cntout = 0;
    71   for (int i = 1; i <= n; i++)
    72     for (int j = path[i]; j; j = edge[j].next)
    73       if (sccno[i] != sccno[edge[j].to])
    74     out[sccno[i]]++, in[sccno[edge[j].to]]++;
    75   for (int i = 1; i <= sccnum; i++)
    76     cntin += !in[i], cntout += !out[i];
    77   printf("%d
    ", Max(cntin, cntout));
    78 }
    79 int main() {
    80   while (~scanf("%d%d", &n, &m)) work();
    81   return 0;
    82 }
  • 相关阅读:
    inMap 经纬度 全国 全球
    SpringCloud Stream 使用
    beta阶段贡献分配实施
    20181113-3 Beta阶段贡献分配规则
    作业 20181120-3 Beta发布
    β发布:文案+美工展示博客
    Scrum立会报告+燃尽图(十一月二十七日总第三十五次):β阶段最后完善
    Beta发布——视频博客
    Scrum立会报告+燃尽图(十一月二十六日总第三十四次):上传β阶段展示视频
    Scrum立会报告+燃尽图(十一月二十五日总第三十三次):展示博客
  • 原文地址:https://www.cnblogs.com/NaVi-Awson/p/7656110.html
Copyright © 2011-2022 走看看