标签:双连通 path 如何 问题 algo size 转换 style 传送门
传送门:http://poj.org/problem?id=3177
解题思路:
这是一道边双连通图问题。下面是我自己的理解。
双连通图针对的是无向连通图。
双连通图有两类,就是边双连通图,和点双连通图,。其中没有割边的强连通图就是边双连通图 ,没有割点的强连通图就是点双连通图。
双连通图比强连图还要特殊。
而如何把一个非边双连通图,转换成边双连通图呢。先用Tarjan方法,把一个个边双连通分量缩成一个点,然后计算生成的树的叶子节点的个数。
其结果就是(leaf+1)/2;
实现代码:
#include <iostream> #include <cstdio> #include <cstring> #include <algorithm> #include <cstdlib> using namespace std; const int MAXN=5010; const int MAXM=20010; struct Edge{ int to,next; bool cut; }edge[MAXM]; int head[MAXM],tot; void init(){ memset(head,-1,sizeof(head)); tot=0; } void addEdge(int u,int v){ edge[tot].to=v; edge[tot].next=head[u]; edge[tot].cut=false; head[u]=tot++; } int DFN[MAXN],LOW[MAXN],Belong[MAXN],Stack[MAXN]; bool Instack[MAXN]; int Index,top,brige,block; int Tarjan(int u,int pre){ LOW[u]=DFN[u]=++Index; Stack[top++]=u; Instack[u]=true; int v; for(int i=head[u];i!=-1;i=edge[i].next){ v=edge[i].to; if(v==pre) continue; if(!DFN[v]){ Tarjan(v,u); if(LOW[u]>LOW[v]) LOW[u]=LOW[v]; if(LOW[v]>DFN[u]){ brige++; edge[i].cut=true; edge[i^1].cut=true; } }else if(Instack[v]&&LOW[u]>DFN[v]){ LOW[u]=DFN[v]; } } if(LOW[u]==DFN[u]){ block++; do{ v=Stack[--top]; Instack[v]=false; Belong[v]=block; }while(v!=u); } } int deg[MAXN]; void solve(int n){ memset(DFN,0,sizeof(DFN)); memset(Instack,0,sizeof(Instack)); Index=top=brige=block=0; Tarjan(1,0); memset(deg,0,sizeof(deg)); for(int u=1;u<=n;u++) for(int i=head[u];i!=-1;i=edge[i].next){ if(edge[i].cut){ deg[Belong[u]]++; } } int ans=0; for(int i=1;i<=block;i++) if(deg[i]==1) ans++; printf("%d\n",(ans+1)/2); } int main(){ int F,R; scanf("%d%d",&F,&R); init(); while(R--){ int u,v; scanf("%d%d",&u,&v); addEdge(u,v); addEdge(v,u); } solve(F); return 0; }
标签:双连通 path 如何 问题 algo size 转换 style 传送门
原文地址:http://www.cnblogs.com/IKnowYou0/p/6534970.html