强连通图_割点_割边(桥)_双向连通分量关系
2017-04-23 21:19
246 查看
双连通分量:分为点双连通和边双连通。它的标准定义为:点连通度大于1的图称为点双连通图,边连通度大于1的图称为边双连通图。通俗地讲,满足任意两点之间,能通过两条或两条以上没有任何重复边的路到达的图称为双连通图。无向图G的极大双连通子图称为双连通分量。
Tarjan算法的应用论述:
1.求强连通分量、割点、桥、缩点:
对于Tarjan算法中,我们得到了dfn和low两个数组,
low:=min(low[u],dfn[v])——(u,v)为后向边,v为u的子树;
low[u]:=min(low[u],low[v])——(u,v)为树枝边,v不是u的子树;
下边对其进行讨论:
若low[v]>=dfn[u],则u为割点,u和它的子孙形成一个块。因为这说明u的子孙不能够通过其他边到达u的祖先,这样去掉u之后,图必然分裂为两个子图。
若low[v]>dfn[u],则(u,v)为割边。理由类似于上一种情况。
求强连通分量
[b][u]当DFN(u)=Low(u)时,以u为根的搜索子树上所有节点是一个强连通分量。[/b]
Tarjan算法的应用论述:
1.求强连通分量、割点、桥、缩点:
对于Tarjan算法中,我们得到了dfn和low两个数组,
low:=min(low[u],dfn[v])——(u,v)为后向边,v为u的子树;
low[u]:=min(low[u],low[v])——(u,v)为树枝边,v不是u的子树;
下边对其进行讨论:
若low[v]>=dfn[u],则u为割点,u和它的子孙形成一个块。因为这说明u的子孙不能够通过其他边到达u的祖先,这样去掉u之后,图必然分裂为两个子图。
若low[v]>dfn[u],则(u,v)为割边。理由类似于上一种情况。
求强连通分量
[b][u]当DFN(u)=Low(u)时,以u为根的搜索子树上所有节点是一个强连通分量。[/b]
相关文章推荐
- Entity Framework 实践系列 —— 搞好关系 - 两情相悦(双向一对一,one-to-one)- 续
- 强连通分量模板
- 连通分量
- 图论算法 求强连通分量
- poj 2186 强连通分量个数
- 注解方式实现 Hibernate 的双向一对多关系的映射
- Hibernate中,One2Many和Many2One的双向映射关系的基于注解Annotation实现方式
- 强连通分量的三种算法
- poj 3352Road Construction(无向强连通分量 tarjan)
- 二值图像--形态学处理4 击中,边界提取,孔洞填充,连通分量提取,凸壳,细化,骨架,形态学重建
- 连通图关节点求解详解--tarjan算法,重连通分量的求解--栈
- 有向图强连通分量Tarjan
- SSH框架双向多对多关系中如何向中间表插入数据
- 强连通分量与双连通分量
- 并查集找连通分量的个数
- 强连通分量(Korasaju、Tarjan)
- 极大强连通分量的Tarjan算法
- poj 1904 King's Quest 强连通分量
- 数据结构实验:连通分量个数
- 重连通分量的求解