POJ3177 Redundant Paths —— 边双联通分量 + 缩点

题目链接：http://poj.org/problem?id=3177

Redundant Paths

Time Limit: 1000MS		Memory Limit: 65536K
Total Submissions: 15852		Accepted: 6649

Description

In order to get from one of the F (1 <= F <= 5,000) grazing fields (which are numbered 1..F) to another field, Bessie and the rest of the herd are forced to cross near the Tree of Rotten Apples. The cows are now tired of often being forced to take a particular
path and want to build some new paths so that they will always have a choice of at least two separate routes between any pair of fields. They currently have at least one route between each pair of fields and want to have at least two. Of course, they can only
travel on Official Paths when they move from one field to another.

Given a description of the current set of R (F-1 <= R <= 10,000) paths that each connect exactly two different fields, determine the minimum number of new paths (each of which connects exactly two fields) that must be built so that there are at least two separate
routes between any pair of fields. Routes are considered separate if they use none of the same paths, even if they visit the same intermediate field along the way.

There might already be more than one paths between the same pair of fields, and you may also build a new path that connects the same fields as some other path.

Input

Line 1: Two space-separated integers: F and R

Lines 2..R+1: Each line contains two space-separated integers which are the fields at the endpoints of some path.

Output

Line 1: A single integer that is the number of new paths that must be built.

Sample Input

7 7
1 2
2 3
3 4
2 5
4 5
5 6
5 7

Sample Output

2

Hint

Explanation of the sample:

One visualization of the paths is:

   1   2   3
   +---+---+
       |   |
       |   |
 6 +---+---+ 4
      / 5
     /
    /
 7 +

Building new paths from 1 to 6 and from 4 to 7 satisfies the conditions.

   1   2   3
   +---+---+
   :   |   |
   :   |   |
 6 +---+---+ 4
      / 5  :
     /     :
    /      :
 7 + - - - - 

Check some of the routes: 
1 – 2: 1 –> 2 and 1 –> 6 –> 5 –> 2 
1 – 4: 1 –> 2 –> 3 –> 4 and 1 –> 6 –> 5 –> 4 
3 – 7: 3 –> 4 –> 7 and 3 –> 2 –> 5 –> 7 
Every pair of fields is, in fact, connected by two routes.

It's possible that adding some other path will also solve the problem (like one from 6 to 7). Adding two paths, however, is the minimum.

Source

USACO 2006 January Gold

题解：

1. 已知题目给出的图是联通图，那么我们可以用Tarjan算法求出每个边双联通分量。为什么是边双联通分量而不是点双联通分量或者其他？答：因为题目要求每个点之间至少有两条路径（并且路径中不能有重叠的边），位于同一个边双联通分量的点之间都至少有两条路径，但是位于不同边双联通分量的点只有一条路径。所以需要根据边双联通对原图进行划分。

2.对每个边双连通分量进行缩点，得到的是一棵无根树。那么无根树怎样才能变成边双联通图呢？至少需要添加几条边呢？答：只需要把所有叶子结点都“消灭”掉就可以了。那么最少需要添加：（叶子结点数+1）/2 条边。

代码如下：

 #include <iostream>
 #include <cstdio>
 #include <algorithm>
 #include <cstring>
 using namespace std;
 typedef long long LL;
 const int INF = 2e9;
 const LL LNF = 9e18;
 const int MOD = 1e9+;
 const int MAXN = 5e3+;

 struct Edge
 {
     int to, next;
     bool cut;
 }edge[MAXN<<];
 int head[MAXN], tot;

 int index, dfn[MAXN], low[MAXN];
 int block, belong[MAXN];
 int top, Stack[MAXN], instack[MAXN];
 int degree[MAXN];

 void addedge(int u, int v)
 {
     edge[tot].to = v;
     edge[tot].cut = false;
     edge[tot].next = head[u];
     head[u] = tot++;
 }

 void Tarjan(int u, int pre)
 {
     low[u] = dfn[u] = ++index;
     Stack[top++] = u;
     instack[u] = true;
     for(int i = head[u]; i!=-; i = edge[i].next)
     {
         int v = edge[i].to;
         if(v==pre) continue;
         if(!dfn[v])
         {
             Tarjan(v, u);
             low[u] = min(low[u], low[v]);
             if(low[v]>dfn[u])
             {
                 edge[i].cut = true;
                 edge[i^].cut = true;
             }
         }
         else if(instack[v])
             low[u] = min(low[u], dfn[v]);
     }

     if(low[u]==dfn[u])
     {
         block++;
         int v;
         do
         {
             v = Stack[--top];
             instack[v] = false;
             belong[v] = block;
         }while(v!=u);
     }
 }

 void init()
 {
     tot = ;
     memset(head,-,sizeof(head));

     index = ;
     memset(dfn,,sizeof(dfn));
     memset(low,,sizeof(low));

     block = top = ;
     memset(instack,,sizeof(instack));

     memset(degree,,sizeof(degree));
 }

 int main()
 {
     int n, m;
     while(scanf("%d%d",&n,&m)!=EOF)
     {
         init();
         for(int i = ; i<=m; i++)
         {
             int u, v;
             scanf("%d%d",&u,&v);
             addedge(u, v);
             addedge(v,u);
         }

         Tarjan(, );
         for(int u = ; u<=n; u++)
         for(int i = head[u]; i!=-; i = edge[i].next)
             if(edge[i].cut) //不需要两端都加，因为一条割边被标记了两次。一次正好对应一个端点。
                 degree[belong[u]]++;

         int leaf = ;
         for(int i = ; i<=block; i++)
             if(degree[i]==) leaf++;

         printf("%d\n", (leaf+)/);
     }
 }