【吃炸弹的鸽子UVA10765-双联通模板】

·从前有一个鸽子Lence,它吃了一个炸弹,然后有人出了这道题

·英文题,述大意:

       给出一张连通无向图,求出:对于每个点,删去这个点(以及它相连的边以后)时,当前图中的连通块数量,这个值作为该点的Lence值。输出根据Lence值从大到小(相同时标号从小到大)的前m个点和它的Lence值。

·分析:

      关于连通块问题,可以寻得三种方法:

      ①嘎嘣脆算法(Gabow)②塔尔杨算法(Tarjan)③Kosaraju算法。

       此处大米饼采用Tarjan算法。

·干什么呢?寻找并标记双连通分量。

在无向图中发现一个双连通分量(这里指边点连通分量)的意义:就算你任意吃掉一个点,这其中的点依然可以互相到达,也就是所谓的连通块。如果我们将一个图划分为多个双联通分量,就是这样:

image

·为了方便观赏,使用缩点操作。就是这样:

image

·所以,我们的方法是:根据点的位置进行分类处理。如果这个点不与桥连接,那么整个图还是联通的。如果该点和桥相连,那我们就猜一猜它和几座桥相连(不是猜,认真算!),那么它的毁灭会带来这些桥的毁灭,每一座桥的毁灭会使得一个双联通分量脱离原图,所以:如果这个点连接了num座桥,那么现在这个图就成了风雨飘荡中的(num+1)个部分。

·注意,在实际处理时,我们是用数组记录下每个点连接的桥的个数,所以如果这点不与桥相连,那么就是0,最终答案为0+1=1,因此不需要特殊处理。美妙的模板is drawing closer!

 1 #include<stdio.h>
 2 #include<algorithm>
 3 #include<cstring>
 4 #define go(i,a,b) for(int i=a;i<=b;i++)
 5 #define fo(i,a,x) for(int i=a[x],v=e[i].v;i;i=e[i].next,v=e[i].v)
 6 #define mem(a,b) memset(a,b,sizeof(a))
 7 using namespace std;const int N=10003;
 8 struct E{int v,next;}e[N*100];struct A{int u,val;}ans[N];bool Cut[N];
 9 int n,m,head[N],k,low[N],dfn[N],t,dfs_clock;
10 bool cmp(A a,A b){return a.val==b.val?a.u<b.u:a.val>b.val;}
11 void ADD(int u,int v){e[k]=(E){v,head[u]};head[u]=k++;}
12 void Tarjan(int u,int fa)
13 {
14     low[u]=dfn[u]=++dfs_clock;int num=0,kids=0;
15     fo(i,head,u)if(v!=fa){if(!dfn[v])
16     {
17         kids++;Tarjan(v,u);low[u]=min(low[u],low[v]);
18         if(dfn[u]<=low[v])num++,Cut[u]=1;}//错写成low[u] 
19         else low[u]=min(low[u],dfn[v]);
20     }
21     if(!fa&&kids==1)Cut[u]=0,num=0;ans[++t]=(A){u,num};
22 }
23 int main(){while(scanf("%d%d",&n,&m)&&n)
24 {
25     mem(head,0);mem(low,0);mem(dfn,0);mem(Cut,0);t=dfs_clock=0;k=1;int u,v;
26     while(scanf("%d%d",&u,&v)&&++u&&++v)ADD(u,v),ADD(v,u);    
27     go(i,1,n)if(!dfn[i])Tarjan(i,0);sort(ans+1,ans+t+1,cmp);
28     go(i,1,m)printf("%d %d
",ans[i].u-1,ans[i].val+1);
29 puts("");}return 0;}//Paul_Guderian

让我,感到为难的,是挣扎的自由。————赵雷《成都》

原文地址:https://www.cnblogs.com/Paul-Guderian/p/6980178.html