图的连通性相关(无向图)

Hardy_Lee

已于 2022-10-18 09:58:41 修改

阅读量148

点赞数

分类专栏：图论文章标签： c++

于 2022-04-26 15:32:25 首次发布

本文链接：https://blog.csdn.net/Hardy_Lee/article/details/124426891

版权

9 篇文章 0 订阅

订阅专栏

本文深入探讨图论中的关键概念，包括时间戳、搜索树、追溯值在判断割点和割边中的应用。介绍了桥与割点的判定法则，以及点双连通图和边双连通图的特性。同时阐述了边双联通分量(e-DCC)的定义和缩点构造，以及点双联通分量(v-DCC)的识别方法和缩点过程，为理解图的结构提供了重要理论基础。

摘要由CSDN通过智能技术生成

时间戳、搜索树、追溯值
割边判定法则：(x,y)是桥⇔搜索树上ョy∈son[x], 满足dfn[x] < low[y], (‘<’是因为需考虑重边)(桥一定是搜索树上的边)
割点判定法则：x不是搜索树根节点时，x是割点⇔搜索树上ョy∈son[x], 满足dfn[x] <= low[y]，x是搜索树根节点时，x是割点⇔搜索树上ョ2个y∈son[x], 满足dfn[x] <= low[y]，
点双连通图(不存在割点)⇔“图的顶点数不超过2”或“图中任意两点包含在一个简单环中”，其中简单环指不自交的环；
边双连通图(不存在割边)⇔任意一条边都包含在一个简单环中
边双联通分量(e-DCC, 无向图的极大边双连通子图)⇔把桥都删除后分成的若干个连通块
e-DCC的缩点： e-DCC看成点，割边看成边，构成一棵新的树或森林
点双联通分量(v-DCC, 无向图的极大点双连通子图)：代码链接
①当第一个节点第一次被访问时，把该节点入栈.
②当dfn[x] <= low[y]成立时(1)从栈顶不断弹出节点，直至节点y被弹出(2)刚才弹出的所有节点与节点x一起构成一个v-DCC.
v-DCC的缩点：割点 + v-DCC为点，在每个割点与包含它的所有v-DCC之间连边