参考数据结构(C语言版)第七章,算法7.10和7.11
求解思路
1.深度优先生成树的根是关节点的充要条件是它至少有两个子女
2.任何其它顶点u是关节点的充要条件是u至少有一个子女w,使得经过只由w,w的后代以及一条回边构成的路径不可能到达u的祖先,因为删除顶点u及其关联的边将使w及其后代与u的祖先断开联系。
假设顶点w的祖先包括w本身,为了表示一个顶点经过其后代以及一条回边所能到达的最高祖先,对于图的每个顶点w,定义low(w)为从w经过其后代以及一条回边所能到达的最高祖先的dfn(表示某顶点在深度优先遍历中被访问的顺序)。
显然,low(w)是从w经过其后代以及一条回边所能到达的顶点的dfn中最低的,并可由下公式计算:
求解思路
1.深度优先生成树的根是关节点的充要条件是它至少有两个子女
2.任何其它顶点u是关节点的充要条件是u至少有一个子女w,使得经过只由w,w的后代以及一条回边构成的路径不可能到达u的祖先,因为删除顶点u及其关联的边将使w及其后代与u的祖先断开联系。
假设顶点w的祖先包括w本身,为了表示一个顶点经过其后代以及一条回边所能到达的最高祖先,对于图的每个顶点w,定义low(w)为从w经过其后代以及一条回边所能到达的最高祖先的dfn(表示某顶点在深度优先遍历中被访问的顺序)。
显然,low(w)是从w经过其后代以及一条回边所能到达的顶点的dfn中最低的,并可由下公式计算:
low(w) = min {dfn(w), min {low(x)| x是w的一个子女}, min {dfn(x)| (w, x) 是一条回边}}
实现代码如下:(由于测试代码较少,程序很可能出错,希望发现错误的朋友及时指正)
#include <cstdio>
#include <cstdlib>
#define VERTEX_NUM 7
#define NOT_VISITED 0
int dfn;//表示某顶点在深度优先遍历中被访问的顺序
void find_articulation(int adj[][VERTEX_NUM], int visit[], int low[]);//寻找图的关节点,并输出
void DFS_articulation(int adj[][VERTEX_NUM], int vertex, int visit[], i