(图论)图的基本--第一章要点.ppt

有向图的可达矩阵 定义1.27 设D＝V,E为有向图。V＝{v1,v2,…,vn}，令 pij＝ 1 vi 可达 vj 0 否则 称(pij)n×n为D的可达矩阵，记作P(D)，简记为P。 1.5 图的运算 定义1.28 设G1＝V1,E1，G2＝V2,E2为两个图。 若V1∩V2＝?，则称G1与G2是不交的。 若E1∩E2＝?，则称G1与G2是边不交的或边不重的。 说明：不交的图，必然是边不交的，但反之不真。 图的运算 定义1.29 设G1＝V1,E1，G2＝V2,E2为不含孤立点的两个图（它们同为无向图或同为有向图）。 (1)称以E1∪E2为边集，以E1∪E2中边关联的顶点组成的集合为顶点集的图为G1与G2的并图，记作G1∪G2。 (2)称以E1-E2为边集，以E1-E2中边关联的顶点组成的集合为顶点集的图为G1与G2的差图，记作G1-G2。 (3)称以E1∩E2为边集，以E1∩E2中边关联的顶点组成的集合为顶点集的图为G1与G2的交图，记作G1∩G2。 (4)称以E1⊕E2为边集（为集合之间的对称差运算），以E1⊕E2中边关联的顶点组成的集合为顶点集的图为G1与G2的环和，记作G1⊕G2。 定义1.29的说明 (1)若G1＝G2，则 G1∪G2＝G1∩G2＝G1(G2) G1-G2＝G2-G1＝G1⊕G2＝? 这就是在图的定义中给出空图概念的