HDU 2767:Proving Equivalences(强连通)

http://acm.hdu.edu.cn/showproblem.php?pid=2767

题意:给出n个点m条边,问在m条边的基础上,最小再添加多少条边可以让图变成强连通。思路:强连通分量缩点后找入度为0和出度为0的点,因为在强连通图里面没有一个点的入度和出度都为0,所以取出度为0的点和入度为0的点中的最大值就是答案。(要特判强连通分量数为1的情况)

  1 #include <cstdio>
  2 #include <algorithm>
  3 #include <iostream>
  4 #include <cstring>
  5 #include <string>
  6 #include <cmath>
  7 #include <queue>
  8 #include <vector>
  9 #include <stack>
 10 using namespace std;
 11 #define N 20010
 12 #define M 50010
 13 struct node
 14 {
 15     int v, next, u;
 16 }edge[M];
 17 int n, tot, cnt, num, head[N], dfn[N], low[N], belong[N], in[N], out[N];
 18 bool vis[N];
 19 stack<int> sta;
 20
 21 void init()
 22 {
 23     tot = 0;
 24     num = 0;
 25     cnt = 0;
 26     while(!sta.empty()) sta.pop();
 27     memset(head, -1, sizeof(head));
 28     memset(vis, false, sizeof(vis));
 29     memset(low, 0, sizeof(low));
 30     memset(dfn, 0, sizeof(dfn));
 31     memset(belong, 0, sizeof(belong));
 32     memset(in, 0, sizeof(in));
 33     memset(out, 0, sizeof(out));
 34 }
 35
 36 void add(int u, int v)
 37 {
 38     edge[tot].next = head[u]; edge[tot].v = v; edge[tot].u = u; head[u] = tot++;
 39 }
 40
 41 void tarjan(int u)
 42 {
 43     dfn[u] = low[u] = ++cnt;
 44     sta.push(u);
 45     vis[u] = true;
 46     for(int i = head[u]; ~i; i = edge[i].next) {
 47         int v = edge[i].v;
 48         if(!dfn[v]) {
 49             tarjan(v);
 50             if(low[v] < low[u]) low[u] = low[v];
 51         } else {
 52             if(vis[v] && low[u] > dfn[v]) low[u] = dfn[v];
 53         }
 54     }
 55     if(dfn[u] == low[u]) {
 56         num++;
 57         int top = 0;
 58         while(top != u) {
 59             top = sta.top();
 60             belong[top] = num;
 61             vis[top] = 0;
 62             sta.pop();
 63         }
 64     }
 65 }
 66
 67 int main()
 68 {
 69     int t;
 70     scanf("%d", &t);
 71     while(t--) {
 72         init();
 73         int m;
 74         scanf("%d%d", &n, &m);
 75         for(int i = 0; i < m; i++) {
 76             int u, v;
 77             scanf("%d%d", &u, &v);
 78             add(u, v);
 79         }
 80         for(int i = 1; i <= n; i++) {
 81             if(!dfn[i]) {
 82                 tarjan(i);
 83             }
 84         }
 85         for(int u = 1; u <= n; u++) {
 86             for(int i = head[u]; ~i; i = edge[i].next) {
 87                 int v = edge[i].v;
 88                 if(belong[u] != belong[v]) {
 89                     in[belong[u]]++;
 90                     out[belong[v]]++;
 91                 }
 92             }
 93         }
 94         int inn = 0, outt = 0;
 95         for(int i = 1; i <= num; i++) {
 96             if(in[i] == 0) inn++;
 97             if(out[i] == 0) outt++;
 98         }
 99         int ans = max(inn, outt);
100         if(num == 1) ans = 0;
101         printf("%d\n", ans);
102     }
103     return 0;
104 }
时间: 2024-08-08 05:41:31

HDU 2767:Proving Equivalences(强连通)的相关文章

hdu 2767 Proving Equivalences 强连通缩点

给出n个命题,m个推导,问最少增加多少条推导,可以使所有命题都能等价(两两都能互推) 既给出有向图,最少加多少边,使得原图变成强连通. 首先强连通缩点,对于新图,每个点都至少要有一条出去的边和一条进来的边(这样才能保证它能到任意点和任意点都能到它) 所以求出新图中入度为0的个数,和出度为0的个数,添加的边就是从出度为0的指向入度为0的.这样还会有一点剩余,剩余的就乱连就行了. 所以只要求出2者的最大值就OK. #include <iostream> #include<cstring>

hdu 2767 Proving Equivalences(强连通入门题)

1 /************************************************* 2 Proving Equivalences(hdu 2767) 3 强连通入门题 4 给个有向图,求至少加多少条边使得图是所有点都是强连通的 5 由a->b->c->a易知n个点至少要n条边,每个出度和入度都要大 6 于1.先求所有所有强连通分量,把每个强连通分量看成一个点 7 在找每个点的出度和入度,最后还差的出度和入度的最大值就是 8 答案. 9 10 ************

HDU 2767 Proving Equivalences(强连通 Tarjan+缩点)

HDU 2767 Proving Equivalences(强连通 Tarjan+缩点) ACM 题目地址:HDU 2767 题意: 给定一张有向图,问最少添加几条边使得有向图成为一个强连通图. 分析: Tarjan入门经典题,用tarjan缩点,然后就变成一个有向无环图(DAG)了. 我们要考虑的问题是让它变成强连通,让DAG变成强连通就是把尾和头连起来,也就是入度和出度为0的点. 统计DAG入度和出度,然后计算头尾,最大的那个就是所求. 代码: /* * Author: illuz <iil

HDU 2767 Proving Equivalences (强联通)

http://acm.hdu.edu.cn/showproblem.php?pid=2767 Proving Equivalences Time Limit: 4000/2000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 2926    Accepted Submission(s): 1100 Problem Description Consider the followi

HDU 2767 Proving Equivalences

 Proving Equivalences Time Limit: 4000/2000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 3676    Accepted Submission(s): 1352 Problem Description Consider the following exercise, found in a generic linear algeb

HDU 2767 Proving Equivalences(强联通缩点)

Proving Equivalences Problem Description Consider the following exercise, found in a generic linear algebra textbook. Let A be an n × n matrix. Prove that the following statements are equivalent: 1. A is invertible.2. Ax = b has exactly one solution

hdu - 2667 Proving Equivalences(强连通)

http://acm.hdu.edu.cn/showproblem.php?pid=2767 求至少添加多少条边才能变成强连通分量.统计入度为0的点和出度为0的点,取最大值即可. 1 #include <iostream> 2 #include <cstdio> 3 #include <cmath> 4 #include <vector> 5 #include <cstring> 6 #include <algorithm> 7 #i

HDU 2767 Proving Equivalences 图论scc缩点

问一个图,最少需要加多少条边,使得这个图强联通. Tarjan缩点,重建图,令a=入度为0的scc个数,b=出度为0的scc个数,ans=max(a,b): 若图scc=1,本身强联通,ans=0: 1 #include<bits/stdc++.h> 2 using namespace std; 3 const int MAXN = 20010;//点数 4 const int MAXM = 200100;//边数 5 struct Edge { 6 int to,next; 7 }edge[

HDU 2767 Proving Equivalences (Tarjan縮點)

Time limit :2000 ms Memory limit :32768 kB Consider the following exercise, found in a generic linear algebra textbook. Let A be an n × n matrix. Prove that the following statements are equivalent: 1. A is invertible. 2. Ax = b has exactly one soluti

hdu2767 Proving Equivalences --- 强连通

给一个图,问至少加入?多少条有向边能够使图变成强连通的. 原图是有环的,缩点建图,在该DAG图上我们能够发现,要使该图变成强连通图必须连成环 而加入?最少的边连成环,就是把图上入度为0和出度为0的点连上,那么其它的点就都能够互相到达了 所以答案就是max(入度为0的点,出度为0的点) #include <iostream> #include <cstring> #include <string> #include <cstdio> #include <