第8章 图论
定义 8.1―3赋权图G是一个三重
组 〈V,E,g〉或四重组〈V,E,f,g〉,其中V是 结点集合, E是边的集合,f是定义在V上的 函数,g是定义在E上的函数。 图8.1―4给出一个赋权图。 V={v1,v2,v3} E={e1,e2}={(v1,v2),(v2,v3)} f(v1)=5,f(v2)=8,f(v3)=11 g(e1)=4.6,g(e2)=7.5
第8章 图论
除以上4种运算外,还有以下两种
操作:
(1) 删去图G的一条边e; (2)删去图G的一个结点v。它的实 际意义是删去结点v和与v关联的所有边。 为了帮助理解,在图8.1―9中给出以上4种 运算和两种操作的图示。
第8章 图论
图 8.1―9
第8章 图论
8.1.5 子图与补图 定义8.1―8设G=〈V,E〉和G′= 〈V′,E′〉是两个图。 (1) 如果V′ V和E′ E,则称G′是G 的子图。如果V′ V和E′ E,则称G′ G的 真子图。(注意:“G′是图”已隐含着“E′ 中的边仅关联V′中的结点”的意义。) (2) 如果V′=V和E′ E,则称G′为G 的生成子图。 (3) 若子图G′中没有孤立结点,G′ 由E′唯一确定,则称G′为由边集E′导出的 子图。
第8章 图论
图 8.1―8
第8章 图论
8.1.4 图的运算 图的常见运算有并、交、差、环和等, 现分别定义于下: 定义8.1―7设图G1=〈V1,E1〉和图 G2=〈V2,E2〉。 (1)G1与G2的并,定义为图G3= 〈V3,E3〉, 其中V3=V1∪V2,E3=E1∪E2,记为 G3=G1∪G2。 (2)G1与G2的交,定义为图G3= 〈V3,E3〉, 其中V3=V1∩V2,E3=E1∩E2,记为