图论—通路离散数学.pptVIP

图论—通路 离散数学 通路 是图中顶点与边的交替序列，v1e1v2e2···vn， 以顶点开始，以顶点结束， 其中每条边关联于直接在它前面与直接在它后面的这两个顶点 始点为v1，终点为vn的通路常称为v1 - vn通路，也可用顶点序列v1v2···vn表示 通路中边的条数称为该通路的长度 回路 始点与终点相同的通路，称为回路 简单通(回)路 如果通(回)路中的各边都不相同 则称这样的通(回)路为简单通(回)路 基本通(回)路 如果通(回)路中的各个顶点都不相同 称这样的通(回)路为基本通(回)路 简单通路与基本通路示例 v1v2v6v5v2v3是一条简单通路，但不是基本通路 v1v2v3是一条基本通路 定理5.2.1 在n阶简单图中 如果存在一条从v1到v2的通路 则从v1到v2必有一条长度不大于n-1的基本通路 定理5.2.1证明 设从v1到v2 存在一条通路v1 ··· v2， 若其中有相同顶点vk，v1···vk···vk···v2，则删去vk到vk这些边， 它仍是v1到v2的通路； 如此反复进行，直到没有重复顶点， 此时所得的通路就是v1到v2的基本通路。 由于一条基本通路的长度比通路中顶点数少1，而图中仅有n个顶点，故此基本通路长度不大于n－1。 定理5.2.2 在n阶简单图中， 如果存在一条通过v1的回路， 则必有一条长度不大于n的通过v1的基本回路。 连通图 在图G中，如果v1到v2存在一条通路，则称从v1到v2是可达的。 在无向图中，如果任意两个顶点是可达的，则称此无向图是连通的；否则称为不连通。 连通分支 如果图是不连通的，图能分解为n个不相交的连通子图，称每个连通子图为图G的一个连通分支。 强连通 在有向图中， 如果任意两点是互为可达的， 则称此有向图为强连通的。 单向连通图 在有向图中， 如果任意两点vi和vj存在着vi到vj的通路或存在着vj到vi的通路， 则称此有向图为单向连通图。 弱连通 在有向图中， 如果其底图是连通的， 则称此有向图为弱连通的。 连通图示例 (a)是强连通的 (b)是单向连通的 (c)是弱连通的 强分支(单向分支、弱分支) 设G是有向图，G‘是其子图， 若G‘是强连通的(单向连通的，弱连通的)， 且没有包含G‘的更大的子图是强连通的(单向连通的，弱连通的)， 则称G‘是G的极大强连通子图(极大单向连通子图，极大弱连通子图)，也称为强分支(单向分支、弱分支) 示例 是弱连通图 由点集｛v1,v2,v3,v6｝和边集｛e1,e2,e5,e7,e6｝构成的图是强分支 由点v4、v5分别构成的图也是强分支 示例 由点集{v1,v2,v3,v4,v6}和边集{e1,e2,e3,e5,e6,e7} 构成的图是单向分支 由点集{v4,v5}和边集{e4}构成的图是单向分支 * 北京工业大学软件学院 张丽 离散数学 * v6 v5 v4 v1 v2 v3 不含平行边和自回路的图 称为简单图 v1 v2 v3 v4 v5 v6 v7 (a) (b) (c) v1 v2 v3 v4 v5 v6 e1 e2 e6 e7 e3 e5 e4 v1 v2 v3 v4 v5 v6 e1 e2 e6 e7 e3 e5 e4