- 时间戳、搜索树、追溯值
- 割边判定法则:(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之间连边
图的连通性相关(无向图)
于 2022-04-26 15:32:25 首次发布
![](https://img-home.csdnimg.cn/images/20240711042549.png)