poj1144Network 无向图求割点Tarjan
2016-05-06 12:50
316 查看
n个点,组成一个无向图,求这个图中割点的数量。模板题。
只是这道题在输入数据的时候有点麻烦,如样例中,第一组数据有五个点,5 1 2 3 4 表示5这个点与1 2 3 4 点相连。其中这个图的割点只是5这个点。第二组数据6个点,2 与1 3 5相连,5与2 4 6相连,其中2点与5点都是割点。
有两类节点可以成为割点:
对根节点u,若其有两棵或两棵以上的子树,则该根结点u为割点;
对非叶子节点u(非根节点),若其子树的节点均没有指向u的祖先节点的回边,说明删除u之后,根结点与u的子树的节点不再连通;则节点u为割点。
对于根结点,显然很好处理;但是对于非叶子节点,怎么去判断有没有回边是一个值得深思的问题。
我们用dfn[u]记录节点u在DFS过程中被遍历到的次序号(即时间戳),low[u]记录节点u或u的子树通过非父子边追溯到最早的祖先节点(即DFS次序号最小),那么low[u]的计算过程如下:
当(u,v)为树边时low[u]={min{low[u], low[v]},这块就是一个递归后回溯的过程
当(u , v )为回边且v不为u的父亲节点low[u]=min{low[u], dfn[v]},这里是说找到了不通过父亲节点还能回去的路的那个点,那么用这个点的时间戳和现在的能到达的最小时间戳作比较就可以了
详见http://www.cnblogs.com/en-heng/p/4002658.html
只是这道题在输入数据的时候有点麻烦,如样例中,第一组数据有五个点,5 1 2 3 4 表示5这个点与1 2 3 4 点相连。其中这个图的割点只是5这个点。第二组数据6个点,2 与1 3 5相连,5与2 4 6相连,其中2点与5点都是割点。
有两类节点可以成为割点:
对根节点u,若其有两棵或两棵以上的子树,则该根结点u为割点;
对非叶子节点u(非根节点),若其子树的节点均没有指向u的祖先节点的回边,说明删除u之后,根结点与u的子树的节点不再连通;则节点u为割点。
对于根结点,显然很好处理;但是对于非叶子节点,怎么去判断有没有回边是一个值得深思的问题。
我们用dfn[u]记录节点u在DFS过程中被遍历到的次序号(即时间戳),low[u]记录节点u或u的子树通过非父子边追溯到最早的祖先节点(即DFS次序号最小),那么low[u]的计算过程如下:
当(u,v)为树边时low[u]={min{low[u], low[v]},这块就是一个递归后回溯的过程
当(u , v )为回边且v不为u的父亲节点low[u]=min{low[u], dfn[v]},这里是说找到了不通过父亲节点还能回去的路的那个点,那么用这个点的时间戳和现在的能到达的最小时间戳作比较就可以了
详见http://www.cnblogs.com/en-heng/p/4002658.html
#include <iostream> #include <string.h> #include <stdio.h> using namespace std; const int MAXN=105; const int MAXM=10010; struct edge { int to,next; bool cut; } edge[MAXM]; int head[MAXM],tot; int low[MAXN],dfn[MAXN],Stack[MAXN]; int index,top; bool instack[MAXN]; bool cut[MAXN]; int add_block[MAXN];//切记这个数组表示的是增加了几个连通块,而不是当前有几个连通块。 int bridge; void addedge(int u,int v) { edge[tot].to=v; edge[tot].next=head[u]; edge[tot].cut=false; head[u]=tot++; } void tarjan(int u,int pre) { int v; low[u]=dfn[u]=++index; Stack[top++]=u; instack[u]=true;//这个地方用了栈,刚开始并没理解这块的意思,因为刚开始看的是啊哈算法,其实就是说每个点不重复遍历的意思 int son=0; for(int i=head[u]; i!=-1; i=edge[i].next) { v=edge[i].to; if(v==pre) continue; if(!dfn[v]) { son++; tarjan(v,u); if(low[u]>low[v]) low[u]=low[v]; if(u!=pre&&low[v]>=dfn[u]) { cut[u]=true; add_block[u]++; } } else if(low[u]>dfn[v]) low[u]=dfn[v]; } if(u==pre&&son>1) cut[u]=true; if(u==pre) add_block[u]=son-1; instack[u]=false; top--; } void init() { tot=0; memset(head,-1,sizeof(head));//这里一定不要忘了加 memset(low,0,sizeof(low)); memset(dfn,0,sizeof(dfn)); memset(instack,0,sizeof(instack)); memset(add_block,0,sizeof(add_block)); memset(cut,0,sizeof(cut)); } int a,b,n; int main() { while(cin>>n) { int sum=0; init(); if(n==0) break; while(scanf("%d",&a)!=-1) { if(a==0) break; while(getchar()!='\n') { cin>>b; addedge(a,b); addedge(b,a); } } tarjan(1,1); for(int i=1; i<=n; i++) if(cut[i]) sum++; cout<<sum<<endl; } return 0; }
相关文章推荐
- 初学图论-Kahn拓扑排序算法(Kahn's Topological Sort Algorithm)
- 初学图论-Bellman-Ford单源最短路径算法
- 初学图论-DAG单源最短路径算法
- 初学图论-Dijkstra单源最短路径算法
- 初学图论-Dijkstra单源最短路径算法基于优先级队列(Priority Queue)的实现
- 初学ACM - 组合数学基础题目PKU 1833
- POJ ACM 1001
- POJ ACM 1002
- 1611:The Suspects
- POJ1089 区间合并
- 封装好的Folyd建图,C++源码
- POJ 2635 The Embarrassed Cryptographe
- POJ 3292 Semi-prime H-numbers
- POJ 2773 HAPPY 2006
- POJ 3090 Visible Lattice Points
- LCA模板
- POJ-2409-Let it Bead&&NYOJ-280-LK的项链
- POJ-1695-Magazine Delivery-dp
- POJ1523 SPF dfs
- POJ-1001 求高精度幂-大数乘法系列