BZOJ1718: [Usaco2006 Jan] Redundant Paths 分离的路径

n<=5000个点m<=10000条边的无向图，求最少加几条边使它变成边双联通图，就是任意两点间都有至少2条边不相交的路径。

tarjan缩点，答案是叶子节点数/2向上取整。

不过要注意这里的“叶子节点数”是指度数为1的点，并不是最后那棵树以某个点为根的叶子节点树。如果找叶子点数一定要以某个点为根，就会像我一样WA两次然后发现缩点后只有一个点时答案为0。

 1 #include<stdio.h>
 2 #include<string.h>
 3 #include<algorithm>
 4 #include<cstdlib>
 5 #include<math.h>
 6 //#include<iostream>
 7 using namespace std;
 8
 9 int n,m;
10 #define maxn 5011
11 #define maxm 20011
12 struct Edge{int to,next;};
13 struct Graph
14 {
15     Edge edge[maxm];
16     int first[maxn],le;int n;
17     Graph() {memset(first,0,sizeof(first));le=2;}
18     void in(int x,int y)
19     {
20         Edge &e=edge[le];
21         e.to=y;e.next=first[x];first[x]=le++;
22     }
23     void insert(int x,int y)
24     {
25         in(x,y);
26         in(y,x);
27     }
28     int low[maxn],dfn[maxn],Time,sta[maxn],top,bel[maxn],tot;bool insta[maxn];
29     void tarjan(int x,int fa)
30     {
31         low[x]=dfn[x]=++Time;
32         sta[++top]=x;insta[x]=1;
33         for (int i=first[x];i;i=edge[i].next)
34         {
35             Edge &e=edge[i];
36             if (!dfn[e.to]) tarjan(e.to,i),low[x]=min(low[x],low[e.to]);
37             else if ((i^1)!=fa && insta[e.to]) low[x]=min(low[x],dfn[e.to]);
38         }
39         if (low[x]==dfn[x])
40         {
41             tot++;
42             while (sta[top]!=x) bel[sta[top]]=tot,insta[sta[top--]]=0;
43             bel[x]=tot,insta[sta[top--]]=0;
44         }
45     }
46     void tarjan()
47     {
48         Time=tot=top=0;
49         memset(dfn,0,sizeof(dfn));
50         memset(insta,0,sizeof(insta));
51         for (int i=1;i<=n;i++) if (!dfn[i]) tarjan(i,0);
52     }
53     int dfs(int x,int fa)
54     {
55         int ans=0;
56         bool flag=1;
57         for (int i=first[x];i;i=edge[i].next)
58         {
59             Edge &e=edge[i];
60             if (e.to!=fa) ans+=dfs(e.to,x),flag=0;
61         }
62         ans+=flag;
63         return ans;
64     }
65     int ye()
66     {
67         int root=1;
68         for (int i=1;i<=n;i++) if (edge[first[i]].next) {root=i;break;}
69         return dfs(root,0);
70     }
71 }g,tg;
72 void build()
73 {
74     tg.n=g.tot;
75     for (int i=1;i<=g.n;i++)
76         for (int j=g.first[i];j;j=g.edge[j].next)
77         {
78             Edge &e=g.edge[j];
79             if (g.bel[i]!=g.bel[e.to]) tg.in(g.bel[i],g.bel[e.to]);
80         }
81 }
82 int x,y;
83 int main()
84 {
85     scanf("%d%d",&n,&m);g.n=n;
86     for (int i=1;i<=m;i++) scanf("%d%d",&x,&y),g.insert(x,y);
87     g.tarjan();
88     build();
89     printf("%d\n",tg.n==1?0:(tg.ye()+1)/2);
90     return 0;
91 }