G4有向图 离散数学.pptVIP

有向图与无向图的互转 设D是有向图,若忽略边的方向,则得到一个无向图,称之为D的基础图. D的基础图是唯一的. 设G是无向图,若为各边任意指定一个方向,则得到一个有向图,称之为G的定向图. 无环无向图G的定向图有2|E|个. 无向完全图的定向图称为竞赛图. 是循环赛的模型. 其他概念 对有向图,类似无向图可定义以下概念: 子图,真子图,生成子图,导出子图 交,并,对称差 同构 连通性判别 显然:强连通?单向连通?弱连通 定理:D强连通?D中存在经过每个顶点至少一次的有向闭通道. 证明:?显然任意两顶点强连通. ?将v1,v2,…,vn,v1任意相邻两顶点间的有向通道首尾相连. 定理: D单向连通?D中存在经过每个顶点至少一次的有向通道. 连通支 D的基础图的连通支称为D的弱连通支. 按顶点间强连通关系对D作划分,所得分支称为强连通支. 极大强连通子图 显然: 任意一条边必在某个弱连通支中; 但有些边可能不在任何强连通支中. 邻接矩阵应用:两点间通道数 定理:设D的邻接矩阵为A,则从vi到vj的长度为k (正整数)的不同有向通道的数目等于Ak的(i,j)元素. (i,i)元素即vi到自身的长度为k的闭通道数. 易得:长度为k的有向(闭)通道总数. 易得:长度不超过k的有向(闭)通道总数. 证明思想:对k归纳. Lu Chaojun, SJTU Lu Chaoju