《算法设计与分析》第04章 new.ppt

* 性质4-3 给定无向连通图G=(V,E),S=(V,T)是图G的一棵深度优先树，图中结点a是一个关节点，当且仅当 （1）a是根，且a至少有两个孩子。 （2）或者a不是根，且a的某棵子树上没有指向a的祖先的反向边。 * 深度优先数：在深度优先搜索中可对每个结点u加盖两个时间戳。其中，d[u]记录结点u被访问的时间，也称为结点的深度优先数； 下面讨论利用深度优先数求图G的关节点的算法。为了实现这一算法，需要对图中每个结点定义一个与优先数有关的量Low。 最低深度优先数：Low[u]表示从结点u出发，经过某条路径可以达到深度优先数其他结点的最低深度优先树； * 从结点u出发，有两种途径可以达到树中其他结点： 一、自结点u经过一条反向边到达某个结点x； 二、自结点u出发，经过u的某个孩子w，以及一条由w出发的由树边组成的一条路径和反向边到达某个结点y； Low[u]的值或者是自己的优先数，或者是在上述两种情况下所能到达的最高结点v的深度优先数d[v]。 * 定义 4-1：Low[u]定义如下： Low[u]=min{ d[u], min{Low[w] | w是u的孩子}， min{d[x] | (u,x)是一条反向边} } 显然，Low[u]是结点