离散数学图论6.2.ppt

6.3.1 无向图的关联矩阵 6.3.2 有向无环图的关联矩阵 6.3.3 有向图的邻接矩阵,无向图的相邻矩阵 图中的通路数与回路数 6.3.4 图的可达矩阵 * 设无向图G=V,E, V={v1, v2, …, vn}, E={e1, e2, …, em}. 令mij为vi与ej的关联次数, 称(mij)n?m为G的关联矩阵, 记为 M(G). mij的可能取值为:0,1,2 * 例如 e1 e2 e3 e4 e5 e6 v5 v1 v2 v3 v4 M(G)= 2 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 * (6) ej是环 ? 第j列的一个元素为2, 其余为0 (5) vi是孤立点 ? 第i行全为0 * 则称(mij)n?m为D的关联矩阵, 记为M(D). 设无环有向图D=V,E, V={v1, v2, …, vn}, E={e1, e2, …, em}. 令 性质: (1) 每列恰好有一个1和一个-1 (2) 1总个数等于-1的总个数, 等于边数. (3) 第i行1的个数等于d+(vi), 第i行-1的个数等于d-(vi) (4) ej与ek是平行边 ? 第j列与第k列相同 * v1 v2 v3 v4 e2 e1 e3 e4 e5 e6 e7 M(D)= -1 1 0 0 0 –1 1 0 -1 1 0 0 0 0 0 0 -1 -1 -1 1 -1 1 0 0 1 1 0 0 * 设有向图D=V,E, V={v1, v2, …, vn}, E={e1, e2, …, em}, 令 为顶点vi邻接到顶点vj边的条数，称( )n?n为D的邻接矩阵, 记作A(D), 简记作A. * A= 1 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 v1 v2 v3 v4 * 定理6.6 设A为n阶有向图D的邻接矩阵, 则Al(l?1)中元素 等于D中vi到vj长度为 l 的通路(含回路)数, 等于vi到自身长 度为l 的回路数, 等于D中长度为 l 的通路(含回路) 总数, 等于D中长度为 l 的回路总数. * 推论 设Bl=A+A2+…+Al(l?1), 则Bl中元素 等于D中vi到 vj长度小于等于 l 的通路(含回路)数, 等于D中vi到vi长度 小于等于 l 的回路数, 等于D中长度小于等于l 的 通路(含回路)数, 为D中长度小于等于l 的回路数. * 说明: 在这里, 通路和回路数是定义意义下的 A= 1 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 A2= 1 1 1 0 1 0 0 0 1 1 0 0 3 1 0 0 A3= 2 1 1 0 1 1 0 0 1 1 0 0 3 3 1 0 A4= 3 2 1 0 1 1 0 0 2 1 1 0 4 3 1 0 v1到v2长为3的通路有1条 v1到v3长为3的通路有1条 v1到自身长为3的回路有2条 D中长为3的通路共有15条,其中回路3条 v1 v2 v3 v4 例 写出无向图的相邻矩阵, 并求v1到v2长度为3的通路数和v1到v1长度为3的回路数. * 设无向简单图G=V,E, V={v1, v2, …, vn}, 令 为顶点vi与vj之间边的条数，称( )n?n为G的相邻矩阵, 记作A(G). v1 v4 v2 v3 v1到v2长度为3的通路有3条:v1v2v1v2, v1v2v3v2, v1v4v1v2. v1到v1长度为3的回路有2条: v1v2v4v1, v1v4v2v1. 性质: (1) P(G)主对角线上的元素全为1. (2) 无向图的可达矩阵是对称的. (3) 无向图G连通当且仅当P(G)的元素全为1. 有向图D强连通当且仅当P(D)的元素全为1. (4)对n阶图, pij=1 ? , i?j * 设图(无向图和有向图)G=V,E, V={v1, v2, …, vn}, 令 称(pij)n?n为G的可达矩阵, 记作P(G), 简记为P. 例1 (1) v1到v4,v4到v1长为3的通路各有多少条? (2) v1到自身长为1,2