图的探索 强连通分量的相关概念

割点（也作“关节点”） ：如果在图G中去掉一个顶点(自然同时去掉与该顶点相关联的所有边)后图的连通分支数增加，则称该顶点为G的割点。

割边（也作“桥”、"关节边"）：假设有连通图G，e是其中一条边，如果G去掉（删去）e后是不连通的，则边e是图G的一条割边。

强连通图：有向图 G=(V,E) 中，若对于V中任意两个不同的顶点 x 和 y ，都存在从x 到 y 以及从 y 到 x 的路径。

双连通图：在无向连通图中，删除该图的任何一个结点都不能改变该图的连通性（即没有割点）。

简单路径(亦作“初级通路”)：每个点只能经过一次（通路中所有的顶点互不相同），且指定的任意两点连通。

深度优先搜索树，下面简称搜索树或树。

树枝：深度优先森林G中的边，若点v是在探寻（u，v）时第一次发现，那么（u，v）就是树枝。

反向边：连接结点u到它祖先v的边。

正向边：连接结点u到它后裔v的非树枝的边。

交叉边：其他所有类型的边。可以连接同一棵深度优先树中的两个结点，只要它们不是祖孙关系。也可以连接两课深度优先树中的结点。