图论建模及其基本算法.ppt

关键点 对于一个连通的无向图G=(V,E)，如果删除某个顶点v后图就变得不连通了，那么v就称之为图G的关键点。 从某个点开始深度优先遍历(DFS)，得到一棵DFS树（虚线代表逆向边） 求割点与桥（R.Tarjan算法） DFS(u)：u在搜索树（以下简称为树）中被遍历到的次序号。 Low(u)：u或u的子树中能通过非父子边追溯到的最早的节点，即DFS序号最小的节点。 显然有， Low(u)=Min{ DFS(u)， DFS(v) (u,v)为后向边(返祖边 Low(v) (u,v)为树枝边(父子边)} 割点和桥的判定 一个顶点u是割点，当且仅当满足(1)或(2)(1) u为树根，且u有多于一个子树。(2) u不为树根，且满足存在(u,v)为树枝边 (或称父子边，即u为v在搜索树中的父亲)，使得DFS(u)=Low(v)。 一条无向边(u,v)是桥，当且仅当(u,v)为树枝边，且满足DFS(u)Low(v)。 极大强连通分量 有向图G=(V,E)中，如果两个点A和B，从A出发有路径可以到B、并且从B出发有路径可以到A，那么就称A和B属于同一个连通分量。 对于V的一个子集V’，如果V’中任意两个点都属于同一个连通分量，则V’称之为一个强连通分量。 对于一个强连通分量V’，如果加入任意一个点v，V’∪{v}都不再是一个强连通分量，则V’就称之为一个最大强连